Conformance Testing of Boolean Programs with Multiple Faults.
Pavithra PrabhakarMahesh ViswanathanPublished in: FMOODS/FORTE (2012)
Keyphrases
- multiple faults
- symbolic execution
- fault diagnosis
- discrete event
- real valued
- test cases
- software testing
- boolean functions
- set of test cases
- test generation
- programming environment
- static analysis
- test data
- high level
- source code
- website
- knowledge base
- automatic programming
- information systems
- information retrieval
- concurrent programs
- databases