3090 search results - page 170 / 618 » On Testing Answer-Set Programs |
241
click to vote
SIGMOD
2006
ACM
16 years 5 months ago
2006
ACM
Testing of database applications is crucial for ensuring high software quality as undetected faults can result in unrecoverable data corruption. The problem of database applicatio...
122
click to vote
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
White-box testing is an important method for the early detection of errors during software development. In this process test case generation plays a crucial role, defining appropr...
155
Voted
OOPSLA
2001
Springer
15 years 9 months ago
2001
Springer
Regression testing is applied to modified software to provide confidence that the changed parts behave as intended and that the unchanged parts have not been adversely affected ...
123
click to vote
FORTE
2007
15 years 6 months ago
2007
Model programs are a useful formalism for software testing and design analysis. They are used in industrial tools, such as SpecExplorer, as a compact, expressive and precise way to...
170
Voted
ICNC
2005
Springer
15 years 10 months ago
2005
Springer
The DARPA/MIT Lincoln Laboratory off-line intrusion detection evaluation data set is the most widely used public benchmark for testing intrusion detection systems. But the presence...