3090 search results - page 153 / 618 » On Testing Answer-Set Programs |
147
click to vote
ICST
2009
IEEE
15 years 11 months ago
2009
IEEE
Constraint solving lies at the heart of several specification-based approaches to automated testing. Korat is a previously developed algorithm for solving constraints in Java pro...
141
click to vote
SIGCSE
2005
ACM
15 years 10 months ago
2005
ACM
An introductory CS1 course presents problems for educators and students due to students’ diverse background in programming knowledge and exposure. Students who enroll in CS1 als...
170
click to vote
EC
2008
15 years 5 months ago
2008
The development of successful metaheuristic algorithms such as local search for a difficult problems such as satisfiability testing (SAT) is a challenging task. We investigate an ...
159
click to vote
JMLR
2012
13 years 7 months ago
2012
This document contains supplementary material to the article ‘Statistical test for consistent estimation of causal effects in linear non-Gaussian models’, AISTATS 2012. A tabl...
167
click to vote
APSEC
2004
IEEE
15 years 8 months ago
2004
IEEE
Unit testing is a methodology for testing small parts of an application independently of whatever application uses them. It is time consuming and tedious to write unit tests, and ...