43 search results - page 6 / 9 » Basset: a tool for systematic testing of actor programs |
ICLP
2010
Springer
14 years 15 days ago
2010
Springer
Answer-set programming (ASP) is a well-known formalism for declarative problem solving, enjoying a continuously increasing number of diverse applications. However, arguably one of ...
SIGMOD
2010
ACM
14 years 14 days ago
2010
ACM
A database application differs form regular applications in that some of its inputs may be database queries. The program will execute the queries on a database and may use any re...
OSDI
2008
ACM
14 years 9 months ago
2008
ACM
Concurrency is pervasive in large systems. Unexpected interference among threads often results in "Heisenbugs" that are extremely difficult to reproduce and eliminate. W...
SIGSOFT
2007
ACM
14 years 9 months ago
2007
ACM
Concurrency bugs are becoming increasingly important due to the prevalence of concurrent programs. A fundamental problem of concurrent program bug detection and testing is that th...
EDCC
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We present the PathCrawler prototype tool for the automatic generation of test-cases satisfying the rigorous all-paths criterion, with a user-defined limit on the number...