… to a propositional formula and finds an instance using an off-the-shelf SAT solver. The …
specification-based testing approach using an illustrative example. We present the example using …

… TestEra takes a similar approach to those based on JML, and employs Alloy for expressing
specifications and its SAT-based model checker for input generation [54]. Unfortunately, Alloy’…

… measurable criteria for generating test cases from specifications. Khurshid and Marinov
report on TestEra [8], a framework for automated specification-based testing of Java programs. …

… First, compared to the traditional specification-based test data generation, our method not
only … TestEra [5] is a framework for automated specificationbased testing of Java programs. …

… Specification-based testing methods generate test data without the knowledge of the structure
of the program… with the conventional specification-based method with respect to test data …

… the Specification-Based programming paradigm. Finally, we … TestEra [21] accepts
representation constraints for such data structures … propositional constraint solver or SAT engine …

… Specification-based testing methods generate test data without the knowledge of the
structure of the program… method, called original specificationbased method, which directly …

… In specification-based test generation, sometimes having a formal … and SAT solving requires
the user to provide two equivalent … Testera: A tool for testing java programs using alloy …

… TestEra [21] uses incremental SAT-solving for exhaustive bounded generation of input data.
… specification-based testing and focuses on maximizing code coverage by iteratively running …

… in the field of formal specification-based testing and to indicate … SAT or SMT solvers should
be utilized to generate test data … TestEra [74] accepts representation constraints for such data …