282 search results - page 4 / 57 » Using automated search to generate test data for matlab |
KBSE
1998
IEEE
13 years 10 months ago
1998
IEEE
We report on GADGET, a new software test generation system that uses combinatorial optimization to obtain condition/decision coverage of C/C++ programs. The GADGET system is fully...
COMPSAC
2006
IEEE
14 years 10 days ago
2006
IEEE
This paper presents an approach for automated test case generation using a software specification modeled in Statecharts. The steps defined in such approach involve: translation o...
ISSTA
2010
ACM
13 years 8 months ago
2010
ACM
Testing object-oriented (OO) software is critical because OO languages are commonly used in developing modern software systems. In testing OO software, one important and yet chall...
ECOOP
2000
Springer
13 years 10 months ago
2000
Springer
We have recently shown how use cases can be systematically transformed into UML state charts considering all relevant information from a use case specification, including pre- and ...
SEKE
2010
Springer
13 years 4 months ago
2010
Springer
—The behavior of complex production automation systems is hard to predict, therefore simulation is used to study the likely system behavior. However, in a real-world system many ...