3090 search results - page 97 / 618 » On Testing Answer-Set Programs |
137
click to vote
TPLP
2002
15 years 1 months ago
2002
In this paper, we consider an approach to update nonmonotonic knowledge bases represented as extended logic programs under the answer set semantics. In this approach, new informat...
107
click to vote
HYBRID
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. A methodology for safety verification using barrier certificates has been proposed recently. Conditions that must be satisfied by a barrier certificate can be formula...
127
click to vote
ATS
2005
IEEE
15 years 7 months ago
2005
IEEE
11 Due to the increasing test data volume needed to test corebased System-on-Chip, several test scheduling techniques minimizing the test application time have been proposed. In co...
125
click to vote
ASPDAC
2007
ACM
15 years 6 months ago
2007
ACM
1 The low throughput at IC (Integrated Circuit) testing is mainly due to the increasing test data volume, which leads to high ATE (Automatic Test Equipment) memory requirements and...
135
Voted
ICSM
2007
IEEE
15 years 8 months ago
2007
IEEE
Regression testing is an expensive part of the software maintenance process. Effective regression testing techniques select and order (or prioritize) test cases between successive...