Sciweavers

2638 search results - page 71 / 528
» A Framework for Automatic Debugging
Sort
View
ANSS
2005
IEEE
15 years 7 months ago
Autonomic Web-Based Simulation
Many scientific simulations are large programs which despite careful debugging and testing will probably contain errors when deployed to the Web for use. Based on the assumption ...
Yingping Huang, Gregory R. Madey
CC
2004
Springer
114views System Software» more  CC 2004»
15 years 5 months ago
Integrating the Soot Compiler Infrastructure into an IDE
This paper presents the integration of Soot, a byte-code analysis and transformation framework, with an integrated development environment (IDE), Eclipse. Such an integrated toolki...
Jennifer Lhoták, Ondrej Lhoták, Laur...
ISTA
2003
15 years 2 months ago
Formal Modeling of Communication Traces
: Development of distributed systems is complicated by the absence of reliable global timing, concurrency, and nondeterminism. To deal with these obstacles log files are produced b...
Sergiy Boroday, Hesham Hallal, Alexandre Petrenko,...
PVLDB
2010
97views more  PVLDB 2010»
14 years 12 months ago
Explaining Missing Answers to SPJUA Queries
This paper addresses the problem of explaining missing answers in queries that include selection, projection, join, union, aggregation and grouping (SPJUA). Explaining missing ans...
Melanie Herschel, Mauricio A. Hernández
ISSTA
2009
ACM
15 years 8 months ago
AVA: automated interpretation of dynamically detected anomalies
Dynamic analysis techniques have been extensively adopted to discover causes of observed failures. In particular, anomaly detection techniques can infer behavioral models from obs...
Anton Babenko, Leonardo Mariani, Fabrizio Pastore