3547 search results - page 182 / 710 » Pseudo-Exhaustive Testing for Software |
180
click to vote
FUIN
2006
15 years 7 months ago
2006
This paper proposes the use of session types to extend with behavioural information the simple descriptions usually provided by software component interfaces. We show how session t...
223
click to vote
COMPSAC
2000
IEEE
15 years 11 months ago
2000
IEEE
Understanding program dependencies in a computer program is essential for many software engineering tasks such as program understanding, testing, debugging, reverse engineering, a...
169
click to vote
OOPSLA
2007
Springer
16 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 ...
182
Voted
FATES
2004
Springer
16 years 15 days ago
2004
Springer
We present an extension of Tretmans’ theory and algorithm for test generation for input-output transition systems to real-time systems. Our treatment is based on an operational i...
187
click to vote
KBSE
2005
IEEE
16 years 21 days ago
2005
IEEE
Test factoring creates fast, focused unit tests from slow system-wide tests; each new unit test exercises only a subset of the functionality exercised by the system test. Augmenti...