516 search results - page 57 / 104 » Execution replay and debugging |
KBSE
2009
IEEE
14 years 2 months ago
2009
IEEE
Advances in recent years have made it possible in some cases to locate a bug (the source of a failure) automatically. But debugging is also about correcting bugs. Can tools do thi...
SEKE
2009
Springer
14 years 2 months ago
2009
Springer
Abstract—Runtime monitoring, where some part of a program’s behavior and/or data is observed during execution, is a very useful technique that software developers to use for un...
SEMWEB
2009
Springer
14 years 2 months ago
2009
Springer
This paper presents the alignment results of Lily for the ontology alignment contest OAEI 2009. Lily is an ontology mapping system, and it has four functions: generic ontology matc...
SPIN
2009
Springer
14 years 2 months ago
2009
Springer
This paper describes a set of software tools developed for teaching concurrency and model checking. jSpin is an elementary development environment for Spin that formats and filter...
IPPS
2008
IEEE
14 years 2 months ago
2008
IEEE
We are designing scalable dynamic information flow tracking techniques and employing them to carry out tasks related to debugging (bug location and fault avoidance), security (so...