3090 search results - page 92 / 618 » On Testing Answer-Set Programs |
120
click to vote
ISSRE
2006
IEEE
15 years 8 months ago
2006
IEEE
Test suite reduction uses test requirement coverage to determine if the reduced test suite maintains the original suite’s requirement coverage. Based on observations from our pr...
149
click to vote
AOSD
2011
ACM
14 years 9 months ago
2011
ACM
A Software Product Line (SPL) is a family of programs where each program is defined by a unique combination of features. Testing or checking properties of an SPL is hard as it ma...
122
click to vote
STEP
2003
IEEE
15 years 7 months ago
2003
IEEE
When testing a program, correctly executed test cases are seldom explored further, even though they may carry useful information. Metamorphic testing proposes to generate follow-u...
124
click to vote
SIGSOFT
1998
ACM
15 years 6 months ago
1998
ACM
This paper reports on an empirical evaluation of the fault-detecting ability of two white-box software testing techniques: decision coverage (branch testing) and the all-uses data...
105
click to vote
PLDI
2005
ACM
15 years 7 months ago
2005
ACM
We present a new tool, named DART, for automatically testing software that combines three main techniques: (1) automated extraction of the interface of a program with its external...