3090 search results - page 143 / 618 » On Testing Answer-Set Programs |
143
click to vote
MTV
2006
IEEE
15 years 8 months ago
2006
IEEE
Simulation-based validation of the current industrial processors typically use huge number of test programs generated at instruction set architecture (ISA) level. However, archite...
105
click to vote
GPCE
2003
Springer
15 years 7 months ago
2003
Springer
A primary goal of generative programming and model-driven ent is to raise the level of abstraction at which designers and developers interact with the software systems they are bui...
116
Voted
XPU
2007
Springer
15 years 8 months ago
2007
Springer
Testing is an essential part of an agile process as test is automated and tends to take the role of specifications in place of documents. However, whenever test cases are faulty, d...
115
Voted
ISSTA
2006
ACM
15 years 8 months ago
2006
ACM
In black-box testing, one is interested in creating a suite of tests from requirements that adequately exercise the behavior of a software system without regard to the internal st...
109
click to vote
SIGSOFT
2004
ACM
15 years 7 months ago
2004
ACM
Many software applications have a component based on database management systems in which information is generally handled through SQL queries embedded in the application code. Wh...