444 search results - page 2 / 89 » Using Test Oracles Generated from Program Documentation |
ASE
2004
13 years 4 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...
CIDM
2009
IEEE
13 years 11 months ago
2009
IEEE
—Some data mining problems require predictive models to be not only accurate but also comprehensible. Comprehensibility enables human inspection and understanding of the model, m...
CEC
2010
IEEE
13 years 6 months ago
2010
IEEE
Rather than attempting to evolve a complete program from scratch we demonstrate genetic interface programming (GIP) by automatically generating a parallel CUDA kernel with identica...
APSEC
2005
IEEE
13 years 10 months ago
2005
IEEE
We describe the “STSC” prototype tool that supports the statistical testing of software components. The tool supports a wide range of operational profiles and test oracles for...
APSEC
2004
IEEE
13 years 8 months ago
2004
IEEE
Unit testing is a methodology for testing small parts of an application independently of whatever application uses them. It is time consuming and tedious to write unit tests, and ...