5855 search results - page 96 / 1171 » Test generation and minimization with |
128
click to vote
EDCC
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We present the PathCrawler prototype tool for the automatic generation of test-cases satisfying the rigorous all-paths criterion, with a user-defined limit on the number...
OSDI
2008
ACM
16 years 1 months ago
2008
ACM
We present a new symbolic execution tool, KLEE, capable of automatically generating tests that achieve high coverage on a diverse set of complex and environmentally-intensive prog...
DAC
1999
ACM
16 years 2 months ago
1999
ACM
CHI
2005
ACM
16 years 1 months ago
2005
ACM
Software systems are often complex in the number of features that are available through the user interface and consequently, the number of interactions that can occur. Such system...
112
click to vote
ICSEA
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract—Nondeterminism is used as a means of underspecification or implementation choice in specifications, and it is often necessary if part of a system or the environment is...