3090 search results - page 59 / 618 » On Testing Answer-Set Programs |
ICSE
1998
IEEE-ACM
14 years 2 months ago
1998
IEEE-ACM
Form-based visual programming languages, which include commercial spreadsheets and various research systems, have had a substantial impact on end-user computing. Research shows, h...
ISSTA
2009
ACM
14 years 4 months ago
2009
ACM
Metamorphic testing has been shown to be a simple yet effective technique in addressing the quality assurance of applications that do not have test oracles, i.e., for which it is ...
ISCAS
2003
IEEE
14 years 3 months ago
2003
IEEE
LPNMR
2001
Springer
14 years 2 months ago
2001
Springer
In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer set programming. As the model of asynchronous syst...
POPL
2007
ACM
14 years 10 months ago
2007
ACM
