27 search results - page 1 / 6 » Aiding Test Case Generation in Temporally Constrained State ... |
130
click to vote
IWANN
2009
Springer
15 years 9 months ago
2009
Springer
Generating test data for formal state based specifications is computationally expensive. This paper improves a framework that addresses this issue by representing the test data ge...
125
click to vote
GECCO
2009
Springer
15 years 7 months ago
2009
Springer
This paper introduces TestFul, a framework for testing stateful systems and focuses on object-oriented software. TestFul employs a hybrid multi-objective evolutionary algorithm, t...
129
click to vote
FATES
2003
Springer
15 years 8 months ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
141
Voted
GECCO
2003
Springer
15 years 8 months ago
2003
Springer
Evolutionary Testing (ET) has been shown to be very successful for testing real world applications [10]. The original ET approach focusesonsearching for a high coverage of the test...
130
click to vote
JSS
2008
15 years 1 months ago
2008
This report presents a model-driven, stress test methodology aimed at increasing chances of discovering faults related to network traffic in Distributed Real-Time Systems (DRTS). T...