388 search results - page 1 / 78 » Guiding random test generation with program analysis |
IFIP
2001
Springer
13 years 9 months ago
2001
Springer
— Semi-formal verification based on symbolic simulation offers a good compromise between formal model checking and numerical simulation. The generation of functional test vector...
TOOLS
2010
IEEE
13 years 9 months ago
2010
IEEE
JSContest is a tool that enhances JavaScript with simple, type-like contracts and provides a framework for monitoring and guided random testing of programs against these contracts ...
OOPSLA
2010
Springer
13 years 3 months ago
2010
Springer
Testing is among the most effective tools available for finding bugs. Still, we know of no automatic technique for generating test cases that expose bugs involving a combination ...
CORR
2011
Springer
12 years 11 months ago
2011
Springer
Software testing is an expensive process, which is vital in the industry. Construction of the test-data in software testing requires the major cost and to decide which method to us...
SQJ
2010
13 years 2 months ago
2010
