Generalized Symbolic Execution for Model Checking and Testing
Authors:
Top Cited Papers
- 28 February 2003
- book chapter
- Published by Springer Nature
- p. 553-568
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- Korat2002
- Model checking Java programs using structural heuristics2002
- Deviation analysis through model checking2002
- Using symbolic execution for verifying safety-critical systems2001
- Automatic predicate abstraction of C programs2001
- A static analyzer for finding dynamic programming errorsSoftware: Practice and Experience, 2000
- NUSMV: a new symbolic model checkerInternational Journal on Software Tools for Technology Transfer, 2000
- Using Model Checking to Generate Tests from Requirements Specifications1999
- The model checker SPINIEEE Transactions on Software Engineering, 1997
- Model checking for programming languages using VeriSoft1997