A specification-based coverage metric to evaluate test sets
- 20 January 2003
- conference paper
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableThis publication has 23 references indexed in Scilit:
- Experience applying the CoRE method to the Lockheed C-130J software requirementsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Boundary values and automated component testingSoftware Testing, Verification and Reliability, 1999
- Model checking large software specificationsIEEE Transactions on Software Engineering, 1998
- Automated consistency checking of requirements specificationsACM Transactions on Software Engineering and Methodology, 1996
- Verification tools for finite-state concurrent systemsLecture Notes in Computer Science, 1994
- Constraint-based automatic test data generationIEEE Transactions on Software Engineering, 1991
- Abstract requirements specification: A new approach and its applicationIEEE Transactions on Software Engineering, 1983
- Specifying Software Requirements for Complex Systems: New Techniques and Their ApplicationIEEE Transactions on Software Engineering, 1980
- Testing Software Design Modeled by Finite-State MachinesIEEE Transactions on Software Engineering, 1978
- Hints on Test Data Selection: Help for the Practicing ProgrammerComputer, 1978