Testing with model checkers: a survey
Top Cited Papers
- 11 December 2008
- journal article
- research article
- Published by Wiley in Software Testing, Verification and Reliability
- Vol. 19 (3), 215-261
- https://doi.org/10.1002/stvr.402
Abstract
No abstract availableKeywords
This publication has 78 references indexed in Scilit:
- Property relevant software testing with model-checkersACM SIGSOFT Software Engineering Notes, 2006
- Rewriting-Based Techniques for Runtime VerificationAutomated Software Engineering, 2005
- Sequential abstract-state machines capture sequential algorithmsACM Transactions on Computational Logic, 2000
- The model checker SPINIEEE Transactions on Software Engineering, 1997
- Applicability of modified condition/decision coverage to software testingSoftware Engineering Journal, 1994
- A methodology for controlling the size of a test suiteACM Transactions on Software Engineering and Methodology, 1993
- Program testing by specification mutationComputer Languages, 1985
- Algebraic laws for nondeterminism and concurrencyJournal of the ACM, 1985
- Results on the propositional μ-calculusTheoretical Computer Science, 1983
- On a Theory of Boolean FunctionsJournal of the Society for Industrial and Applied Mathematics, 1959