3090 search results - page 136 / 618 » On Testing Answer-Set Programs |
100
Voted
CEC
2009
IEEE
15 years 9 months ago
2009
IEEE
— In this paper, a revised form of Implicit Context Representation Cartesian Genetic Programming is used in the development of a diagnostic tool for the assessment of patients wi...
136
click to vote
PPOPP
2010
ACM
15 years 11 months ago
2010
ACM
As concurrent programming becomes prevalent, software providers are investing in concurrency libraries to improve programmer productivity. Concurrency libraries improve productivi...
127
click to vote
CAV
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. Many automatic testing, analysis, and verification techniques for programs can effectively be reduced to a constraint-generation phase followed by a constraint-solving ...
117
click to vote
KBSE
2009
IEEE
15 years 9 months ago
2009
IEEE
—Developers often change software in ways that cause tests to fail. When this occurs, developers must determine whether failures are caused by errors in the code under test or in...
140
Voted
GECCO
2010
Springer
15 years 7 months ago
2010
Springer
The increase in the complexity of modern software has led to the commensurate growth in the size and execution time of the test suites for these programs. In order to address this...