99 search results - page 1 / 20 » Automated Generation of Test Programs from Closed Specificat... |
ICSE
2004
IEEE-ACM
14 years 6 months ago
2004
IEEE-ACM
Most research on automated specification-based software testing has focused on the automated generation of test cases. Before a software system can be tested, it must be set up ac...
FATES
2003
Springer
13 years 11 months ago
2003
Springer
Abstract. Writing specifications using Java Modeling Language has been accepted for a long time as a practical approach to increasing the correctness and quality of Java programs. ...
ECOOP
2000
Springer
13 years 10 months ago
2000
Springer
We have recently shown how use cases can be systematically transformed into UML state charts considering all relevant information from a use case specification, including pre- and ...
ASE
2004
13 years 6 months ago
2004
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...
PLDI
1996
ACM
13 years 10 months ago
1996
ACM
Building compilers that generate correct code is difficult. In this paper we present a compiler testing technique that closes the gap between actual compiler implementations and c...