53 search results - page 5 / 11 » Testing and Debugging Techniques for Answer Set Solver Devel... |
IFIP12
2004
13 years 9 months ago
2004
Recent years have seen considerable developments in modeling techniques for automatic fault location in programs. However, much of this research considered the models from a standa...
JASIS
2006
13 years 8 months ago
2006
In contrast to traditional information retrieval systems, which return ranked lists of documents that users must manually browse through, a question answering system attempts to d...
GECCO
2007
Springer
14 years 2 months ago
2007
Springer
Evolutionary structural testing is an approach to automatically generating test cases that achieve high structural code coverage. It typically uses genetic algorithms (GAs) to sea...
PASTE
2010
ACM
14 years 1 months ago
2010
ACM
We present a novel technique that identifies the source compiler of program binaries, an important element of program provenance. Program provenance answers fundamental questions...
ERLANG
2008
ACM
13 years 10 months ago
2008
ACM
Current and future trends for software include increasingly complex requirements on interaction between systems. As a result, the difficulty of system testing increases. Model-bas...