5159 search results - page 114 / 1032 » Structural Testing of Executables |
229
click to vote
INFSOF
2000
15 years 6 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...
167
click to vote
ISMVL
2000
IEEE
15 years 10 months ago
2000
IEEE
Multiple-valued decision diagrams (MDDs) give a way of approaching problems by using symbolic variables which are often more naturally associated with the problem statement than t...
156
click to vote
FOSSACS
2009
Springer
16 years 1 months ago
2009
Springer
Although cryptographic protocols are typically analyzed in isolation, they are used in combinations. If a protocol was analyzed alone and shown to meet some security goals, will it...
177
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
Testing of multi-threaded programs poses enormous challenges. To improve the coverage of testing, we present a framework named CONTESSA that augments conventional testing (concrete...
176
click to vote
EMSOFT
2005
Springer
15 years 11 months ago
2005
Springer
UPPAAL-TRON is a new tool for model based online black-box conformance testing of real-time embedded systems specified as timed automata. In this paper we present our experiences...