1722 search results - page 85 / 345 » Generating Tests from Counterexamples |
116
click to vote
FATES
2004
Springer
15 years 8 months ago
2004
Springer
We present the development of T-UPPAAL — a new tool for online black-box testing of real-time embedded systems from non-deterministic timed automata specifications. It is based ...
118
click to vote
GECCO
2008
Springer
15 years 4 months ago
2008
Springer
There has been little attention to search based test data generation in the presence of pointer inputs and dynamic data structures, an area in which recent concolic methods have e...
154
click to vote
BMCBI
2011
14 years 10 months ago
2011
Background: Gene set enrichment testing has helped bridge the gap from an individual gene to a systems biology interpretation of microarray data. Although gene sets are defined a ...
119
click to vote
ETS
2006
IEEE
15 years 9 months ago
2006
IEEE
— Accurate generation of circuit specifications from test signatures is a difficult problem, since analytical expressions cannot precisely describe the nonlinear relationships ...
140
click to vote
AMOST
2005
ACM
15 years 8 months ago
2005
ACM
The combinatorial approach to software testing uses models to generate a minimal number of test inputs so that selected combinations of input values are covered. The most common c...