S. Gerhart. Test generation method using prolog. Technical Report TR 85-02, Wang Institute of Graduate Studies, 1985. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Automatically Checking an Implementation against Its Formal.. - Antoy, Hamlet (2000) (23 citations) (Correct)
....with run time assertions, which check test instances of proof assertions that could not be established by the theorem prover. The GYPSY system [1] uses this technique. Second, ADT speci cations can be used to formalize the generation of speci cation based tests for an ADT implementation. Gerhart [25] describes a logic programming approach to generate test points according to any scheme the tester imposes. In a slightly di erent approach, an ESPRIT project automatically generates tests based on traces (operation sequences) without direction by the tester [14, 15, 24] Third, the daists system ....
S. Gerhart. Test generation method using prolog. Technical Report TR 85-02, Wang Institute of Graduate Studies, 1985.
Automatically Checking an Implementation against Its Formal.. - Antoy, Hamlet (1999) (23 citations) (Correct)
....with run time assertions, which check test instances of proof assertions that could not be established by the theorem prover. The GYPSY system [1] uses this technique. Second, ADT specifications can be used to formalize the generation of specification based tests for an ADT implementation. Gerhart [25] describes a logic programming approach to generate test points according to any scheme the tester imposes. In a slightly different approach, an ESPRIT project automatically generates tests based on traces (operation sequences) without direction by the tester [14, 15, 24] Third, the daists system ....
S. Gerhart. Test generation method using prolog. Technical Report TR 85-02, Wang Institute of Graduate Studies, 1985.
Automatically Checking an Implementation against Its Formal.. - Antoy, Hamlet (1992) (23 citations) (Correct)
....with run time assertions, which check test instances of proof assertions that could not be established by the theorem prover. The GYPSY system [1] uses this technique. Second, ADT specifications can be used to formalize the generation of specification based tests for an ADT implementation. Gerhart [24] describes a logic programming approach to generate test points according to any scheme the tester imposes. In a slightly different approach, an ESPRIT project automatically generates tests based on traces (operation sequences) without direction by the tester [23, 13, 14] Third, the daists system ....
S. Gerhart. Test generation method using prolog. Technical Report TR 85-02, Wang Institute of Graduate Studies, 1985.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC