A formal analysis of MCDC and RCDC test criteria.

Kalpesh Kapoor Jonathan P. Bowen

Published in: Softw. Test. Verification Reliab. (2005)

Keyphrases

formal analysis
formal methods
multi criteria
database systems
test cases
evaluation criteria
case study
statistical tests
agent model