5159 search results - page 8 / 1032 » Structural Testing of Executables |
144
Voted
FATES
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Writing specifications using Java Modeling Language has been accepted for a long time as a practical approach to increasing the correctness and quality of Java programs. ...
117
Voted
GI
2009
Springer
15 years 11 days ago
2009
Springer
: This contribution addresses systematic test development methods to include an algorithm to retrieve a test suite execution control in order to run test cases with high priority e...
222
Voted
ISSTA
2004
ACM
15 years 8 months ago
2004
ACM
We show how model checking and symbolic execution can be used to generate test inputs to achieve structural coverage of code that manipulates complex data structures. We focus on ...
182
Voted
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
We introduce eCAT, a tool that supports deriving test cases semi-automatically from goal-based analysis diagrams, generates meaningful test inputs based on agent interaction ontol...
ICSE
2001
IEEE-ACM
15 years 7 months ago
2001
IEEE-ACM
