2638 search results - page 11 / 528 » A Framework for Automatic Debugging |
ATAL
2008
Springer
13 years 9 months ago
2008
Springer
This paper investigates software agents testing, and in particular how to automate test generation. We propose a novel approach, which takes advantage of agent interaction ontolog...
ISSTA
2009
ACM
14 years 1 months ago
2009
ACM
This paper explores an approach to improving the practical usability of static verification tools for debugging synchronization idioms. Synchronization idioms such as mutual excl...
TSE
2011
13 years 2 months ago
2011
— We present an integrated method for program proving, testing, and debugging. Using the concept of metamorphic relations, we select necessary properties for target programs. For...
CC
2008
Springer
13 years 9 months ago
2008
Springer
Application debugging is a tedious but inevitable chore in any software development project. An effective debugger can make programmers more productive by allowing them to pause ex...
ICCS
2001
Springer
13 years 11 months ago
2001
Springer
This paper presents a tool that enables programmers to use cyclic debugging techniques for debugging non-deterministic parallel programs. The solution consists of a combination of ...