3090 search results - page 189 / 618 » On Testing Answer-Set Programs |
143
click to vote
IIE
2006
15 years 6 months ago
2006
We examine the precision with which the cumulative score from a suite of test cases ranks participants in the International Olympiad in Informatics (IOI). Our concern is the abilit...
164
click to vote
HCI
2009
15 years 3 months ago
2009
In early 2007, the California State University (CSU) system initiated a program to make all information technology accessible to persons with disabilities; the authors were appoint...
182
Voted
DAC
2011
ACM
14 years 6 months ago
2011
ACM
Memory consistency litmus tests are small parallel programs that are designed to illustrate subtle differences between memory consistency models by exhibiting different outcomes...
156
click to vote
RECOMB
2009
Springer
16 years 6 months ago
2009
Springer
Abstract. Understanding the regulatory mechanisms that are responsible for an organism's response to environmental changes is an important question in molecular biology. A fir...
136
click to vote
GECCO
2007
Springer
16 years 9 days ago
2007
Springer
There has been a considerable body of work on search–based test data generation for branch coverage. However, hitherto, there has been no work on multi–objective branch covera...