759 search results - page 70 / 152 » Test case generator for GUITAR |
138
Voted
SEKE
2005
Springer
15 years 6 months ago
2005
Springer
This paper presents a state-based approach to testing aspect-oriented programs. Aspectual state models, as an extension to the testable FREE state model of classes, are exploited ...
98
Voted
GECCO
2004
Springer
15 years 6 months ago
2004
Springer
The method of evolutionary functional testing allows for the automation of testing by transforming test case design into an optimization problem. To this end it is necessary to def...
102
click to vote
SPIN
2004
Springer
15 years 6 months ago
2004
Springer
We propose a new framework for black-box conformance testing of real-time systems, where specifications are modeled as nondeterministic and partially-observable timed automata. We...
111
click to vote
ERLANG
2004
ACM
15 years 6 months ago
2004
ACM
Testing of software components during development is a heavily used approach to detect programming errors and to evaluate the quality of software. Systematic approaches to softwar...
95
Voted
GECCO
2008
Springer
15 years 1 months ago
2008
Springer
There has been little attention to search based test data generation in the presence of pointer inputs and dynamic data structures, an area in which recent concolic methods have e...