Fault-based testing in the absence of an oracle

Proceedings - IEEE Computer Society's International Computer Software and Applications Conference

Volumn , Issue , 2001, Pages 172-178

  Chen, T Y ^a   Tse, T H ^a   Zhou, Z ^a  

^a UNIVERSITY OF HONG KONG   (Hong Kong)

Author keywords

Fault based testing; Metamorphic testing; Oracle problem; Symbolic execution

Indexed keywords

DATABASE SYSTEMS; FUNCTIONS; SET THEORY;

FAULT-BASED TESTING;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 0035181370     PISSN: 07303157     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (28)

1. Efficient checkers for number-theoretic computations
2. Self-testing / correcting with applications to numerical problems
3. Designing programs that check their work
4. Mutation analysis: Ideas, examples, problems and prospects
5. Two notions of correctness and their relation to testing
6. Application of metamorphic testing in numerical analysis
7. Symbolic evaluation methods: Implementations and applications
8. Program analysis by symbolic execution and generalization
9. Hints on test data selection: Help for the practicing programmer
10. Constraint-based automatic test data generation
11. Testing can be formal, too
12. A theoretical study of fault coupling
13. Reliability of the path analysis testing strategy
14. Symbolic testing and the DISSECT symbolic evaluation system
15. Algebraic program testing
16. A theory of fault-based testing
17. Using symbolic execution to aid automatic test data generation
18. Investigations of the software testing coupling effect
19. An empirical evaluation of weak mutation
20. An experimental determination of sufficient mutant operators
21. On testing non-testable programs
22. Specification analysis and test data generation by solving Boolean combinations of numeric constraints