… 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. …

… 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 …

… In this situation, we would obtain neither sat nor unsat as the solver answer, but unknown.
If the SMT answered sat for all the UUT feasible paths, then we would obtain a test suit …

… 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 …

… We focus on comparing Gen+SAT+CP+PI and NoGen+SAT+CP+PI configurations as these
two configurations provide the best view of the improvement over the state-of-the-art. In each …

… 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 …

… While incremental solving using SAT is commonplace, its use requires translating …
Khurshid, “TestEra: A novel framework for automated testing of Java programs,” in International …

… Thus, we apply specification-based testing to generate test inputs based on the user…
Generation After unfolding, Γ contains a set of formulae, each of which satisfies the precondition. In …

… In this paper, an automated specification-based testing framework (ASTF) using object
constraint language (OCL) formal specification has been proposed. ASTF is built upon OCL with …