FSE 2009
53 papers
- Api hyperlinking via structural overlap
- Asserting and checking determinism for multithreaded programs
- Automated security testing of web widget interactions
- Automatic steering of behavioral model inference
- Automatic synthesis of behavior protocols for composable web-services
- Backward-compatible constant-time exception-protected memory
- Behavioral automata composition for automatic topology independent verification of parameterized systems
- Capturing propagation of infected program states
- ConcernMorph: metrics-based detection of crosscutting patterns
- Cross-project defect prediction: a large scale experiment on data vs. domain vs. process
- Darwin: an approach for debugging evolving programs
- Data flow testing of service choreography
- DebugAdvisor: a recommender system for debugging
- Debugging debugging: acm sigsoft impact paper award keynote
- Engineering search computing applications: vision and challenges
- Ensuring interoperable service-oriented systems through engineered self-healing
- Evaluating recovery aware components for grid reliability
- Facilitating software refactoring with appropriate resolution order of bad smells
- Fair and balanced?: bias in bug-fix datasets
- Fitting the pieces together: a machine-checked model of safe composition
- Graph-based mining of multiple object usage patterns
- IQ routes and HD traffic: technology insights about tomtom's time-dynamic navigation concept
- Improving bug triage with bug tossing graphs
- Improving slice accuracy by compression of data and control flow paths
- Insights from expert software design practice
- Javalanche: efficient mutation testing for Java
- Learning from examples to improve code completion systems
- MSeqGen: object-oriented unit-test generation via mining source code
- Monitoring probabilistic properties
- On the relationship between process maturity and geographic distribution: an empirical analysis of their impact on software quality
- Practical framework constraints
- Probabilistic environments in the quantitative analysis of (non-probabilistic) behaviour models
- Qos-driven runtime adaptation of service oriented architectures
- ReCrashJ: a tool for capturing and reproducing program crashes in deployed applications
- Refactoring for reentrancy
- Reo2MC: a tool chain for performance analysis of coordination models
- SCA: a semantic conflict analyzer for parallel changes
- Saturation-based testing of concurrent programs
- Sireum/Topi LDP: a lightweight semi-decision procedure for optimizing symbolic execution-based analyses
- Smart views for analyzing problem reports: tool demo
- Software architecture: many faces, many places, yet a central discipline
- Software change dynamics: evidence from 35 java projects
- Srijan: a graphical toolkit for sensor network macroprogramming
- Static data race detection for concurrent programs with asynchronous calls
- Supporting automatic model inconsistency fixing
- Symbolic pruning of concurrent program executions
- Synthesizing partial component-level behavior models from system specifications
- Test case comparison and clustering using program profiles and static execution
- The challenge of pervasive software to the conventional wisdom of software engineering
- The massification and webification of systems' modeling and simulation with virtual worlds
- Towards accurate probabilistic models using state refinement
- Verification and performance evaluation of aadl models
- Whitening SOA testing