3090 search results - page 207 / 618 » On Testing Answer-Set Programs |
158
click to vote
RE
2001
Springer
15 years 10 months ago
2001
Springer
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...
168
click to vote
ICSEA
2007
IEEE
16 years 19 days ago
2007
IEEE
Automatic test data generation helps testers to validate software against user requirements more easily. Test data can be generated from many sources; for example, experience of t...
182
click to vote
JSS
2011
14 years 9 months ago
2011
: A web service may evolve autonomously, making peer web services in the same service composition uncertain as to whether the evolved behaviors are compatible with its original col...
167
click to vote
GECCO
2004
Springer
15 years 11 months ago
2004
Springer
Satisfiability testing (SAT) is a very active area of research today, with numerous real-world applications. We describe CLASS2.0, a genetic programming system for semi-automatica...
154
click to vote
CEC
2003
IEEE
15 years 11 months ago
2003
IEEE
Abstract- The Maximum Homologous Crossover attempts to preserve similar structures from parents by aligning them according to their homology. In this paper, it is successfully test...