3090 search results - page 133 / 618 » On Testing Answer-Set Programs |
122
click to vote
CONSTRAINTS
2006
15 years 2 months ago
2006
Covering arrays can be applied to the testing of software, hardware and advanced materials, and to the effects of hormone interaction on gene expression. In this paper we develop c...
110
Voted
ICSE
1999
IEEE-ACM
15 years 6 months ago
1999
IEEE-ACM
ÐExplicitly stated program invariants can help programmers by identifying program properties that must be preserved when modifying code. In practice, however, these invariants are...
125
click to vote
ACSE
1997
ACM
15 years 6 months ago
1997
ACM
One of the major difficulties with teaching the first programming course is input/output. It is desirable to show students how to input data and output results early in the course...
141
click to vote
ICSM
2005
IEEE
15 years 8 months ago
2005
IEEE
Regression testing is a widely-used method for checking whether modifications to software systems have adversely affected the overall functionality. This is potentially an expens...
122
click to vote
IEEEPACT
2006
IEEE
15 years 8 months ago
2006
IEEE
Code restructuring compilers rely heavily on program analysis techniques to automatically detect data dependences between program statements. Dependences between statement instanc...