A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
An Evaluation of Model Checkers for Specification Based Test Case Generation
2009
2009 International Conference on Software Testing Verification and Validation
Under certain constraints the test case generation problem can be represented as a model checking problem, thus enabling the use of powerful model checking tools to perform the test case generation automatically. There are, however, several different model checking techniques, and to date there is little evidence and comparison on which of these techniques is best suited for test case generation. This paper presents the results of an evaluation of several different model checkers on a set of
doi:10.1109/icst.2009.33
dblp:conf/icst/FraserG09
fatcat:wuxfx55wuvgm7eos3djxskc4gm