3090 search results - page 172 / 618 » On Testing Answer-Set Programs |
172
Voted
KBSE
2005
IEEE
15 years 10 months ago
2005
IEEE
Software for resource constrained embedded devices is often implemented in the Java programming language because the Java compiler and virtual machine provide enhanced safety, por...
143
click to vote
SAC
2003
ACM
15 years 10 months ago
2003
ACM
Test Driven Development (TDD) is a software development practice in which unit test cases are incrementally written prior to code implementation. In our research, we ran a set of ...
137
click to vote
KBSE
2007
IEEE
15 years 11 months ago
2007
IEEE
We present CESE, a tool that combines exhaustive enumeration of test inputs from a structured domain with symbolic execution driven test generation. We target programs whose valid...
149
click to vote
ISSTA
2004
ACM
15 years 10 months ago
2004
ACM
Evolutionary testing is an effective technique for automatically generating good quality test data. However, for structural testing, the technique degenerates to random testing i...
136
click to vote
SIGSOFT
2010
ACM
15 years 2 months ago
2010
ACM
During maintenance, software is modified and evolved to enhance its functionality, eliminate faults, and adapt it to changed or new platforms. In this demo, we present BERT, a too...