2026 search results - page 117 / 406 » Tools for Test Case Generation |
100
click to vote
KBSE
2008
IEEE
15 years 10 months ago
2008
IEEE
—Operations languages are used to write spacecraft operations procedures. The APPAREIL tool automates the process of generating program translators between operations languages, ...
115
click to vote
KBSE
2005
IEEE
15 years 9 months ago
2005
IEEE
Combinatorial approaches to testing are used in several fields, and have recently gained momentum in the field of software testing through software interaction testing. One-test...
109
click to vote
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
A system built in terms of autonomous agents may require even greater correctness assurance than one which is merely reacting to the immediate control of its users. Agents make su...
149
Voted
SP
2010
IEEE
15 years 7 months ago
2010
IEEE
—Fuzz testing has proven successful in finding security vulnerabilities in large programs. However, traditional fuzz testing tools have a well-known common drawback: they are in...
146
click to vote
ISSTA
2004
ACM
15 years 9 months ago
2004
ACM
Object oriented programming promotes reuse of classes in multiple contexts. Thus, a class is designed and implemented with several usage scenarios in mind, some of which possibly ...