612 search results - page 2 / 123 » Using Static Analysis to Improve Automatic Test Generation |
KBSE
2008
IEEE
13 years 11 months ago
2008
IEEE
Many approaches to software verification are currently semi-automatic: a human must provide key logical insights — e.g., loop invariants, class invariants, and frame axioms tha...
TAP
2010
Springer
13 years 2 months ago
2010
Springer
We present QuickSpec, a tool that automatically generates algebraic specifications for sets of pure functions. The tool is based on testing, rather than static analysis or theorem ...
GI
2007
Springer
13 years 10 months ago
2007
Springer
: In this article we advocate an integrated approach for the automation of module or software integration testing and static analysis. It is illustrated how funmethods of static an...
ICSE
2005
IEEE-ACM
14 years 4 months ago
2005
IEEE-ACM
We present an automatic error-detection approach that combines static checking and concrete test-case generation. Our approach consists of taking the abstract error conditions inf...
DATE
2010
IEEE
13 years 9 months ago
2010
IEEE