3090 search results - page 126 / 618 » On Testing Answer-Set Programs |
115
click to vote
ERLANG
2008
ACM
15 years 4 months ago
2008
ACM
When creating software, data types are the basic bricks. Most of the time a programmer will use data types defined in library modules, therefore being tested by many users over ma...
129
click to vote
TSE
2010
15 years 20 days ago
2010
We present an algorithm Dash to check if a program P satisfies a safety property ϕ. The unique feature of the algorithm is that it uses only test generation operations, and nes ...
113
click to vote
APSEC
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract—As software evolves, engineers use regression testing to evaluate its fitness for release. Such testing typically begins with existing test cases, and many techniques h...
110
click to vote
KBSE
2008
IEEE
15 years 8 months ago
2008
IEEE
— Software programs continue to evolve throughout their lifetime. Maintenance of such evolving programs, including regression testing, is one of the most expensive activities in ...
127
click to vote
ISSTA
1998
ACM
15 years 6 months ago
1998
ACM
Automated analyses for regression test selection (RTS) attempt to determine if a modified program, when run on a test t, will have the same behavior as an old version of the prog...