FSE 2004
28 papers
- A classification system and analysis for aspect-oriented programs
- A type system for object models
- An efficient and backwards-compatible transformation to ensure memory safety of C programs
- Automating comprehensive safety analysis of concurrent programs using verisoft and TXL
- Correlation exploitation in error ranking
- Efficient incremental algorithms for dynamic detection of likely invariants
- Empirical evaluation of defect projection models for widely-deployed production software systems
- Engineering human trust in mobile system collaborations
- Explaining abstract counterexamples
- Heuristic-guided counterexample search in FLAVERS
- How a good software practice thwarts collaboration: the multiple roles of APIs in software development
- Implementing protocols via declarative event patterns
- Is security engineering really just good software engineering?
- Making embedded software reuse practical and safe
- Merging partial behavioural models
- Modular design and verification of component-based mechatronic systems with online-reconfiguration
- PSE: explaining program failures via postmortem static analysis
- Reasoning about partial goal satisfaction for requirements and design engineering
- Refining code-design mapping with flow analysis
- Relevancy based semantic interoperation of reuse repositories
- Resolving uncertainties during trace analysis
- Scaling regression testing to large software systems
- System architecture: the context for scenario-based model synthesis
- Testing static analysis tools using exploitable buffer overflows from open source code
- The usability problem for home appliances: engineers caused it, engineers can fix it!
- Using an SQL coverage measurement for testing database applications
- Variability management with feature-oriented programming and aspects
- Verifying aspect advice modularly