3090 search results - page 145 / 618 » On Testing Answer-Set Programs |
ERLANG
2006
ACM
15 years 8 months ago
2006
ACM
We present a case study in which a novel testing tool, Quviq QuickCheck, is used to test an industrial implementation of the Megaco protocol. We considered positive and negative t...
111
click to vote
GECCO
2003
Springer
15 years 7 months ago
2003
Springer
Evolutionary Testing (ET) has been shown to be very successful in testing real world applications [16]. However, it has been pointed out [11], that further research is necessary if...
113
click to vote
TAP
2010
Springer
15 years 7 months ago
2010
Springer
Unit tests of object-oriented code exercise particular sequences of method calls. A key problem when automatically generating unit tests that achieve high structural code coverage ...
117
Voted
ISSRE
2003
IEEE
15 years 7 months ago
2003
IEEE
Software testing and software fault tolerance are two major techniques for developing reliable software systems, yet limited empirical data are available in the literature to eval...
126
click to vote
ETS
2009
IEEE
15 years 6 days ago
2009
IEEE
We optimize the full-response diagnostic fault dictionary from a given test set. The smallest set of vectors is selected without loss of diagnostic resolution of the given test se...