5855 search results - page 75 / 1171 » Test generation and minimization with |
128
click to vote
SAC
2008
ACM
15 years 26 days ago
2008
ACM
In this paper we investigate and propose a fully automated technique to perform conformance checking of Java implementations against UML class diagrams. In our approach, we reused...
151
click to vote
ICST
2010
IEEE
14 years 12 months ago
2010
IEEE
Abstract—Software Product Lines (SPL) are difficult to validate due to combinatorics induced by variability across their features. This leads to combinatorial explosion of the n...
106
click to vote
TAP
2007
Springer
15 years 7 months ago
2007
Springer
We present a new automatic test generation method for JAVA CARD based on attempts at formal verification of the implementation under test (IUT). Self-contained unit tests in JUnit...
105
click to vote
KBSE
2002
IEEE
15 years 6 months ago
2002
IEEE
Generating test inputs for a path in a function with integer and real parameters is an important but difficult problem. The problem becomes more difficult when pointers are pass...
119
click to vote
DAC
1999
ACM
15 years 5 months ago
1999
ACM
As the sizes of general and special purpose processors increase rapidly, generating high quality manufacturing tests which can be run at native speeds is becoming a serious proble...