12. SIGSOFT FSE 2004: Newport Beach, California, USA

Program analysis

• Alexander L. Wolf:
  Is security engineering really just good software engineering? 1
  Electronic Edition (ACM DL) BibTeX
• Alexander Egyed:
  Resolving uncertainties during trace analysis. 3-12
  Electronic Edition (ACM DL) BibTeX
• Jürgen Dingel, Hongzhi Liang:
  Automating comprehensive safety analysis of concurrent programs using verisoft and TXL. 13-22
  Electronic Edition (ACM DL) BibTeX
• Jeff H. Perkins, Michael D. Ernst:
  Efficient incremental algorithms for dynamic detection of likely invariants. 23-32
  Electronic Edition (ACM DL) BibTeX

Modeling and requirements

• Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee:
  System architecture: the context for scenario-based model synthesis. 33-42
  Electronic Edition (ACM DL) BibTeX
• Sebastián Uchitel, Marsha Chechik:
  Merging partial behavioural models. 43-52
  Electronic Edition (ACM DL) BibTeX
• Emmanuel Letier, Axel van Lamsweerde:
  Reasoning about partial goal satisfaction for requirements and design engineering. 53-62
  Electronic Edition (ACM DL) BibTeX

Error explanation

• Roman Manevich, Manu Sridharan, Stephen Adams, Manuvir Das, Zhe Yang:
  PSE: explaining program failures via postmortem static analysis. 63-72
  Electronic Edition (ACM DL) BibTeX
• Sagar Chaki, Alex Groce, Ofer Strichman:
  Explaining abstract counterexamples. 73-82
  Electronic Edition (ACM DL) BibTeX
• Ted Kremenek, Ken Ashcraft, Junfeng Yang, Dawson R. Engler:
  Correlation exploitation in error ranking. 83-93
  Electronic Edition (ACM DL) BibTeX
• Joe Marks:
  The usability problem for home appliances: engineers caused it, engineers can fix it! 95
  Electronic Edition (ACM DL) BibTeX

Safety and security

• Misha Zitser, Richard Lippmann, Tim Leek:
  Testing static analysis tools using exploitable buffer overflows from open source code. 97-106
  Electronic Edition (ACM DL) BibTeX
• Licia Capra:
  Engineering human trust in mobile system collaborations. 107-116
  Electronic Edition (ACM DL) BibTeX
• Wei Xu, Daniel C. DuVarney, R. Sekar:
  An efficient and backwards-compatible transformation to ensure memory safety of C programs. 117-126
  Electronic Edition (ACM DL) BibTeX

Aspects

• Mira Mezini, Klaus Ostermann:
  Variability management with feature-oriented programming and aspects. 127-136
  Electronic Edition (ACM DL) BibTeX
• Shriram Krishnamurthi, Kathi Fisler, Michael Greenberg:
  Verifying aspect advice modularly. 137-146
  Electronic Edition (ACM DL) BibTeX
• Martin C. Rinard, Alexandru Salcianu, Suhabe Bugrara:
  A classification system and analysis for aspect-oriented programs. 147-158
  Electronic Edition (ACM DL) BibTeX
• Robert J. Walker, Kevin Viggers:
  Implementing protocols via declarative event patterns. 159-169
  Electronic Edition (ACM DL) BibTeX
• Nancy G. Leveson, Kathryn Anne Weiss:
  Making embedded software reuse practical and safe. 171-178
  Electronic Edition (ACM DL) BibTeX

Verification

• Holger Giese, Sven Burmester, Wilhelm Schäfer, Oliver Oberschelp:
  Modular design and verification of component-based mechatronic systems with online-reconfiguration. 179-188
  Electronic Edition (ACM DL) BibTeX
• Jonathan Edwards, Daniel Jackson, Emina Torlak:
  A type system for object models. 189-199
  Electronic Edition (ACM DL) BibTeX
• Jianbin Tan, George S. Avrunin, Lori A. Clarke, Shlomo Zilberstein, Stefan Leue:
  Heuristic-guided counterexample search in FLAVERS. 201-210
  Electronic Edition (ACM DL) BibTeX

Development support

• Ying Pan, Lei Wang, Lu Zhang, Bing Xie, Fuqing Yang:
  Relevancy based semantic interoperation of reuse repositories. 211-220
  Electronic Edition (ACM DL) BibTeX
• Cleidson R. B. de Souza, David F. Redmiles, Li-Te Cheng, David R. Millen, John F. Patterson:
  How a good software practice thwarts collaboration: the multiple roles of APIs in software development. 221-230
  Electronic Edition (ACM DL) BibTeX
• Xiaofang Zhang, Michal Young, John Howard Eli Fiskio-Lasseter:
  Refining code-design mapping with flow analysis. 231-240
  Electronic Edition (ACM DL) BibTeX

Testing and reliability

• Alessandro Orso, Nanjuan Shi, Mary Jean Harrold:
  Scaling regression testing to large software systems. 241-251
  Electronic Edition (ACM DL) BibTeX
• María José Suárez Cabal, Javier Tuya:
  Using an SQL coverage measurement for testing database applications. 253-262
  Electronic Edition (ACM DL) BibTeX
• Paul Luo Li, Mary Shaw, James D. Herbsleb, Bonnie K. Ray, Peter Santhanam:
  Empirical evaluation of defect projection models for widely-deployed production software systems. 263-272
  Electronic Edition (ACM DL) BibTeX