2026 search results - page 130 / 406 » Tools for Test Case Generation |
144
click to vote
SPLST
2003
15 years 5 months ago
2003
To date, there are surprisingly few collaborative applications that exploit the accessibility of the Internet. The main reason behind this is that it is rather difficult and time c...
102
click to vote
HPCC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. FAST-EVP is a simulation tool for internal combustion engines running on cluster platforms; it has evolved from the KIVA-3V code base, but has been extensively rewritten ...
173
click to vote
INFSOF
2000
15 years 3 months ago
2000
The fundamental statistical strategy of improving sampling efficiency through partitioning the population is applied to software testing. Usage models make it possible to apply th...
118
click to vote
TAICPART
2010
IEEE
15 years 2 months ago
2010
IEEE
We introduce a new Syntax-based Security Testing (SST) framework that uses a protocol specification to perform security testing on text-based communication protocols. A protocol sp...
164
click to vote
CARDIS
2000
Springer
15 years 8 months ago
2000
Springer
This article describes a Java Card programming environment which to a large extent is generated from formal specifications of the syntax and semantics of Java Card, the JCRE (Jav...