458 search results - page 7 / 92 » Automatic system testing of programs without test oracles |
KBSE
2003
IEEE
15 years 4 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...
ITC
1991
IEEE
15 years 3 months ago
1991
IEEE
In diagnosing a failed system, a smart technician would choose tests to be performed based on the context of the situation. Currently, test program sets do not fault-. isolate wit...
110
Voted
ENTCS
2008
14 years 11 months ago
2008
HOL-TestGen is a specification and test case generation environment extending the interactive theorem prover Isabelle/HOL. The HOL-TestGen method is two-staged: first, the origina...
100
click to vote
GECCO
2005
Springer
15 years 5 months ago
2005
Springer
We present a molecular computing algorithm for evolving DNA-encoded genetic programs in a test tube. The use of synthetic DNA molecules combined with biochemical techniques for va...
111
Voted
IUI
2012
ACM
13 years 7 months ago
2012
ACM
As applications are developed, functional tests ensure they continue to function as expected. Nowadays, functional testing is mostly done manually, with human testers verifying a ...