2026 search results - page 43 / 406 » Tools for Test Case Generation |
98
Voted
JSS
2007
15 years 11 days ago
2007
This paper describes an approach for generating customized benchmark suites from a software architecture description following a Model Driven Architecture (MDA) approach. The benc...
107
Voted
GI
2007
Springer
15 years 6 months ago
2007
Springer
: A strategy for automatic test case selection based on the use of a similarity function is presented. Test case selection is a crucial activity to model-based testing since the nu...
SPIN
2004
Springer
15 years 5 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...
93
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...
107
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...