On the Relationships of Faults for Boolean Specification Based Testing.

Man Fai Lau Yuen-Tak Yu

Published in: Australian Software Engineering Conference (2001)

Keyphrases

test cases
test case generation
fault model
formal verification
fault diagnosis
software testing
mutation testing
fault detection
boolean functions
test generation
conceptual schema
reverse engineering
test sequences
model based diagnosis
multi valued
user defined
information systems
real time