2026 search results - page 96 / 406 » Tools for Test Case Generation |
110
Voted
ICSE
2009
IEEE-ACM
15 years 10 months ago
2009
IEEE-ACM
Regression test suites tend to grow over time as new test cases are added to exercise new functionality or to target newly-discovered faults. When test suites become too large, th...
113
click to vote
TACAS
2009
Springer
15 years 10 months ago
2009
Springer
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...
120
Voted
ISSTA
2009
ACM
15 years 10 months ago
2009
ACM
The aim of requirements-based testing is to generate test cases from a set of requirements for a given system or piece of software. In this paper we propose a formal semantics for...
114
Voted
TAP
2008
Springer
15 years 3 months ago
2008
Springer
This article presents the generation and test case execution under the framework Focal. In the programming language Focal, all properties of the program are written within the sour...
144
Voted
IIE
2007
15 years 3 months ago
2007
Automatic assessment of programming exercises is typically based on testing approach. Most automatic assessment frameworks execute tests and evaluate test results automatically, bu...