280 search results - page 7 / 56 » Dynamic Query-Based Debugging |
SIGSOFT
2010
ACM
13 years 5 months ago
2010
ACM
The presence of a functionally correct golden implementation has a significant advantage in the software development life cycle. Such a golden implementation is exploited for soft...
ECAI
2004
Springer
14 years 1 months ago
2004
Springer
Model-based diagnosis applied to computer programs has been studied for several years. Although there are still weaknesses in the used models, especially on dealing with dynamic da...
IPPS
1997
IEEE
14 years 4 days ago
1997
IEEE
We describe how we have parallelized Python, an interpreted object oriented scripting language, and used it to build an extensible message-passing molecular dynamics application f...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
We propose a framework that provides a programming interface to perform complex dynamic system-level analyses of deployed production systems. By leveraging hardware support for vi...
ENTCS
2002
13 years 7 months ago
2002
Approaches to runtime checking have to track the execution of a software system and therefore have to deal with generating and processing execution events. Often these techniques ...