Sciweavers

2 search results - page 1 / 1
» CHOC'LATE: a framework for specification-based testing
Sort
View
ASE
2004
148views more  ASE 2004»
13 years 10 months ago
TestEra: Specification-Based Testing of Java Programs Using SAT
TestEra is a framework for automated specification-based testing of Java programs. TestEra requires as input a Java method (in sourcecode or bytecode), a formal specification of th...
Sarfraz Khurshid, Darko Marinov
CALCO
2007
Springer
135views Mathematics» more  CALCO 2007»
14 years 2 months ago
Specification-Based Testing for CoCasl's Modal Specifications
Specification-based testing is a particular case of black-box testing, which consists in deriving test cases from an analysis of a formal specification. We present in this paper an...
Delphine Longuet, Marc Aiguier