28 search results - page 6 / 6 » Testing Concurrent Object-Oriented Systems with Spec Explore... |
AADEBUG
2005
Springer
13 years 7 months ago
2005
Springer
Increased reuse of software components has led to a software mishmash as existing packages are used as building blocks for new systems. Current debuggers cannot cope with the intr...
SIGSOFT
2004
ACM
14 years 5 months ago
2004
ACM
In this paper, we describe PSE (Postmortem Symbolic Evaluation), a static analysis algorithm that can be used by programmers to diagnose software failures. The algorithm requires ...
JSS
2002
13 years 4 months ago
2002
A customer of high assurance software recently sponsored a software engineering experiment in which a small real-time software system was developed concurrently by two popular sof...