134 search results - page 7 / 27 » Architecting Specifications for Test Case Generation |
CORR
2004
Springer
13 years 7 months ago
2004
Springer
This paper presents Jartege, a tool which allows random generation of unit tests for Java classes specified in JML. JML (Java Modeling Language) is a specification language for Ja...
SIGSOFT
2007
ACM
14 years 8 months ago
2007
ACM
The testing of the performance of opportunistic communication protocols and applications is usually done through simulation as i) deployments are expensive and should be left to t...
SIGSOFT
2003
ACM
14 years 26 days ago
2003
ACM
This paper presents PLUTO, a simple and intuitive methodology to manage the testing process of product lines, described as Product Lines Use Cases (PLUCs). PLUCs are an extension ...
PTS
2000
13 years 9 months ago
2000
We discuss a case study of automatic test generation and test execution based on formal methods. The case is the Conference Protocol, a simple, chatbox-like protocol, for which (fo...
ECOOP
2006
Springer
13 years 11 months ago
2006
Springer
A test case consists of two parts: a test input to exercise the program under test and a test oracle to check the correctness of the test execution. A test oracle is often in the f...