13 search results - page 1 / 3 » STG: a tool for generating symbolic test programs and oracle... |
SIGSOFT
2001
ACM
14 years 6 months ago
2001
ACM
ECOOP
2006
Springer
13 years 9 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...
PTS
2010
13 years 3 months ago
2010
We present a novel algorithm for test data generation that is based on techniques used in formal software verification. Prominent examples of such formal techniques are symbolic ex...
ASE
2004
13 years 5 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...
KBSE
2003
IEEE
13 years 10 months ago
2003
IEEE
Unit testing, a common step in software development, presents a challenge. When produced manually, unit test suites are often insufficient to identify defects. The main alternativ...