8398 search results - page 304 / 1680 » Optimal Software Testing |
175
click to vote
ICSE
2010
IEEE-ACM
15 years 11 months ago
2010
IEEE-ACM
We present an approach for describing tests using nondeterministic test generation programs. To write such programs, we introduce UDITA, a Java-based language with non-determinist...
199
click to vote
ICST
2010
IEEE
15 years 5 months ago
2010
IEEE
—When a program is modified during software evolution, developers typically run the new version of the program against its existing test suite to validate that the changes made ...
163
click to vote
KBSE
2007
IEEE
16 years 29 days ago
2007
IEEE
Automating the generation of object-oriented unit tests is a challenging task. This is mainly due to the complexity and peculiarities that the principles of object-orientation imp...
205
click to vote
EMSOFT
2008
Springer
15 years 8 months ago
2008
Springer
The Simulink/Stateflow (SL/SF) environment from Mathworks is becoming the de facto standard in industry for model based development of embedded control systems. Many commercial to...
193
Voted
ISSRE
2002
IEEE
15 years 11 months ago
2002
IEEE
A number of strategies have been proposed for state-based class testing. An important proposal was made by Chow [5] and adapted by Binder [3]: It consists in deriving test sequenc...