Sciweavers

Share
SIGSOFT
2010
ACM
9 years 6 months ago
Analyzing hierarchical complex real-time systems
Specification and verification of real-time systems are important research topics which have practical implications. In this work, we present a self-contained toolkit to analyze r...
Yang Liu 0003, Jun Sun 0001, Jin Song Dong
SIGSOFT
2010
ACM
9 years 6 months ago
Guided recovery for web service applications
Web service applications are dynamic, highly distributed, and loosely coupled orchestrations of services which are notoriously difficult to debug. In this paper, we describe a use...
Jocelyn Simmonds, Shoham Ben-David, Marsha Chechik
SIGSOFT
2010
ACM
9 years 6 months ago
RT-simex: retro-analysis of execution traces
This presentation demonstrates the early results from the French ANR project RT-Simex. RT-Simex proposes a set of tools to analyze timing of parallel embedded code and trace the s...
Julien DeAntoni, Frédéric Mallet, Fr...
SIGSOFT
2010
ACM
9 years 6 months ago
Evolution of a bluetooth test application product line: a case study
In this paper, we study the decision making process involved in the five year lifecycle of a Bluetooth software product produced by a large, multi-national test and measurement fi...
Narayan Ramasubbu, Rajesh Krishna Balan
SIGSOFT
2010
ACM
9 years 6 months ago
Thoughts on automated software design and synthesis
I summarize some personal observations on the topic of automated software design and synthesis that I accumulated over twenty years. They are intended to alert researchers to pitf...
Don S. Batory
SIGSOFT
2010
ACM
9 years 6 months ago
The case for software evolution
Claire Le Goues, Stephanie Forrest, Westley Weimer
SIGSOFT
2010
ACM
9 years 6 months ago
Language-based verification will change the world
We argue that lightweight, language-based verification is poised to enter mainstream industrial use, where it will have a major impact on software quality and reliability. We expl...
Tim Sheard, Aaron Stump, Stephanie Weirich
SIGSOFT
2010
ACM
9 years 6 months ago
Path-based fault correlations
Although a number of automatic tools have been developed to detect faults, much of the diagnosis is still being done manually. To help with the diagnostic tasks, we formally intro...
Wei Le, Mary Lou Soffa
SIGSOFT
2010
ACM
9 years 9 months ago
HI-C: diagnosing object churn in framework-based applications
In prior work we have developed an escape analysis to help developers identify sources of object churn (i.e., excessive use of temporaries) in large framework-based applications. ...
Marc Fisher II, Luke Marrs, Barbara G. Ryder
books