158 search results - page 29 / 32 » A Framework for Assertion-Based Debugging in Constraint Logi... |
119
click to vote
COMPSAC
2003
IEEE
15 years 8 months ago
2003
IEEE
Usual techniques for automatic test data generation are based on the assumption that a complete oracle will be available during the testing process. However, there are programs fo...
118
click to vote
LPNMR
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. In answer-set programming (ASP), the main focus usually is on computing answer sets which correspond to solutions to the problem represented by a logic program. Simple re...
151
click to vote
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...
128
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Testing is a vital part of the software development process. Test Case Generation (TCG) is the process of automatically generating a collection of test-cases which are applied to ...
123
click to vote
NMR
2004
Springer
15 years 8 months ago
2004
Springer
This paper presents a computational model for reasoning with causal explanations of observations within the framework of Abductive Event Calculus (AEC). The model is based on abdu...