168 search results - page 6 / 34 » Random testing of interrupt-driven software |
ISSTA
2012
ACM
11 years 9 months ago
2012
ACM
Swarm testing is a novel and inexpensive way to improve the diversity of test cases generated during random testing. Increased diversity leads to improved coverage and fault detec...
IJBRA
2010
13 years 4 months ago
2010
The TreeSAAP software has been successfully used in a variety of protein studies for identifying and characterizing adaptation in terms of shifts in the physicochemical properties ...
ITC
1996
IEEE
13 years 11 months ago
1996
IEEE
Abstract. In complex systems, embedded processors may be used to run software routines for test pattern generation and response evaluation. For system components which are not comp...
ISSRE
2002
IEEE
14 years 8 days ago
2002
IEEE
Formal analysis of software is a powerful analysis tool, but can be too costly. Random search of formal models can reduce that cost, but is theoretically incomplete. However, rand...
OOPSLA
2007
Springer
14 years 1 months ago
2007
Springer
RANDOOP FOR JAVA generates unit tests for Java code using feedback-directed random test generation. Below we describe RANDOOP’s input, output, and test generation algorithm. We ...