3090 search results - page 343 / 618 » On Testing Answer-Set Programs |
166
click to vote
DFT
2005
IEEE
16 years 7 days ago
2005
IEEE
This paper presents a new test methodology which utilizes the Programming Language Interface (PLI) for performing fault simulation of combinational or full scan Intellectual Prope...
161
click to vote
QSIC
2005
IEEE
16 years 6 days ago
2005
IEEE
Many programs need to access data in a relational database. This is usually done by means of queries written in SQL. Although the language SQL is declarative, certain runtime erro...
200
click to vote
AADEBUG
2005
Springer
16 years 5 days ago
2005
Springer
AMPLE locates likely failure-causing classes by comparing method call sequences of passing and failing runs. A difference in method call sequences, such as multiple deallocation ...
142
click to vote
IFM
2005
Springer
16 years 4 days ago
2005
Springer
We provide an automatic method for calculating the path condition for programs with real time constraints. This method can be used for the semiautomatic verification of a unit of ...
156
click to vote
ISMIR
2005
Springer
16 years 4 days ago
2005
Springer
In this paper we propose a text represention for musical chord symbols that is simple and intuitive for musically trained individuals to write and understand, yet highly structure...