30. ICSE 2008: Leipzig, Germany

Software tools

• Christopher Scaffidi, Brad A. Myers, Mary Shaw:
  Topes: reusable abstractions for validating data. 1-10
  Electronic Edition (ACM DL) BibTeX
• Steven P. Reiss:
  Tracking source locations. 11-20
  Electronic Edition (ACM DL) BibTeX
• Brian de Alwis, Gail C. Murphy:
  Answering conceptual queries with Ferret. 21-30
  Electronic Edition (ACM DL) BibTeX

Specification I

• Lars Grunske:
  Specification patterns for probabilistic quality properties. 31-40
  Electronic Edition (ACM DL) BibTeX
• German Sibay, Sebastián Uchitel, Víctor A. Braberman:
  Existential live sequence charts revisited. 41-50
  Electronic Edition (ACM DL) BibTeX
• Mark Gabel, Zhendong Su:
  Symbolic mining of temporal specifications. 51-60
  Electronic Edition (ACM DL) BibTeX

Testing I

• Heng Lu, W. K. Chan, T. H. Tse:
  Testing pervasive software in the presence of context inconsistency resolution services. 61-70
  Electronic Edition (ACM DL) BibTeX
• Ilinca Ciupa, Andreas Leitner, Manuel Oriol, Bertrand Meyer:
  ARTOO: adaptive random testing for object-oriented software. 71-80
  Electronic Edition (ACM DL) BibTeX
• Cemal Yilmaz, Amit M. Paradkar, Clay Williams:
  Time will tell: fault localization using time spectra. 81-90
  Electronic Edition (ACM DL) BibTeX

Components & reuse

• Kevin J. Hoffman, Patrick Eugster:
  Towards reusable components with aspects: an empirical study on modularity and obliviousness. 91-100
  Electronic Edition (ACM DL) BibTeX
• Sylvain Sicard, Fabienne Boyer, Noel De Palma:
  Using components for architecture-based management: the self-repair case. 101-110
  Electronic Edition (ACM DL) BibTeX
• Leslie Cheung, Roshanak Roshandel, Nenad Medvidovic, Leana Golubchik:
  Early prediction of software component reliability. 111-120
  Electronic Edition (ACM DL) BibTeX

Specification II

• Jon Whittle, Duminda Wijesekera, Mark Hartong:
  Executable misuse cases for modeling security concerns. 121-130
  Electronic Edition (ACM DL) BibTeX
• Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta:
  Mining library specifications using inductive logic programming. 131-140
  Electronic Edition (ACM DL) BibTeX
• Jinjun Chen, Yun Yang:
  Temporal dependency based checkpoint selection for dynamic verification of fixed-time constraints in grid workflow systems. 141-150
  Electronic Edition (ACM DL) BibTeX

Testing II

• Guoqing Xu, Atanas Rountev:
  Precise memory leak detection for java software using container profiling. 151-160
  Electronic Edition (ACM DL) BibTeX
• Ajitha Rajan, Michael W. Whalen, Mats Per Erik Heimdahl:
  The effect of program and model structure on mc/dc test adequacy coverage. 161-170
  Electronic Edition (ACM DL) BibTeX
• Gary Wassermann, Zhendong Su:
  Static detection of cross-site scripting vulnerabilities. 171-180
  Electronic Edition (ACM DL) BibTeX

Empirical software engineering

• Raimund Moser, Witold Pedrycz, Giancarlo Succi:
  A comparative analysis of the efficiency of change metrics and static code attributes for defect prediction. 181-190
  Electronic Edition (ACM DL) BibTeX
• Jonathan Lung, Jorge Aranda, Steve M. Easterbrook, Gregory V. Wilson:
  On the difficulty of replicating human subjects studies in software engineering. 191-200
  Electronic Edition (ACM DL) BibTeX
• Yanbing Yu, James A. Jones, Mary Jean Harrold:
  An empirical study of the effects of test-suite reduction on fault localization. 201-210
  Electronic Edition (ACM DL) BibTeX

Program analysis

• Domagoj Babic, Alan J. Hu:
  Calysto: scalable and precise extended static checking. 211-220
  Electronic Edition (ACM DL) BibTeX
• Feng Chen, Traian-Florin Serbanuta, Grigore Rosu:
  jPredictor: a predictive runtime analysis tool for java. 221-230
  Electronic Edition (ACM DL) BibTeX
• Christian Hammer, Julian Dolby, Mandana Vaziri, Frank Tip:
  Dynamic detection of atomic-set-serializability violations. 231-240
  Electronic Edition (ACM DL) BibTeX

Empirical software process

• Cleidson R. B. de Souza, David F. Redmiles:
  An empirical study of software developers' management of dependencies and changes. 241-250
  Electronic Edition (ACM DL) BibTeX
• Margaret-Anne D. Storey, Jody Ryall, R. Ian Bull, Del Myers, Janice Singer:
  TODO or to bug: exploring how task annotations play a role in the work practices of software developers. 251-260
  Electronic Edition (ACM DL) BibTeX
• Eduardo Figueiredo, Nélio Cacho, Cláudio Sant'Anna, Mario Monteiro, Uirá Kulesza, Alessandro Garcia, Sérgio Soares, Fabiano Cutigi Ferrari, Safoora Shakil Khan, Fernando Castor Filho, Francisco Dantas:
  Evolving software product lines with aspects: an empirical study on design stability. 261-270
  Electronic Edition (ACM DL) BibTeX

Formal analysis

• Chunqing Chen, Jin Song Dong, Jun Sun:
  A verification system for timed interval calculus. 271-280
  Electronic Edition (ACM DL) BibTeX
• Christoph Csallner, Nikolai Tillmann, Yannis Smaragdakis:
  DySy: dynamic symbolic execution for invariant inference. 281-290
  Electronic Edition (ACM DL) BibTeX
• Steven Lauterburg, Ahmed Sobeih, Darko Marinov, Mahesh Viswanathan:
  Incremental state-space exploration for programs with dynamically allocated data. 291-300
  Electronic Edition (ACM DL) BibTeX

Program comprehension

• Andrew Jensen Ko, Brad A. Myers:
  Debugging reinvented: asking and answering why and why not questions about program behavior. 301-310
  Electronic Edition (ACM DL) BibTeX
• Christian Kästner, Sven Apel, Martin Kuhlemann:
  Granularity in software product lines. 311-320
  Electronic Edition (ACM DL) BibTeX
• Mark Gabel, Lingxiao Jiang, Zhendong Su:
  Scalable detection of semantic clones. 321-330
  Electronic Edition (ACM DL) BibTeX

Empirical testing & analysis

• Gursimran Singh Walia, Jeffrey C. Carver, Nachiappan Nagappan:
  The effect of the number of inspectors on the defect estimates produced by capture-recapture models. 331-340
  Electronic Edition (ACM DL) BibTeX
• Joseph R. Ruthruff, John Penix, J. David Morgenthaler, Sebastian G. Elbaum, Gregg Rothermel:
  Predicting accurate and actionable static analysis warnings: an experimental approach. 341-350
  Electronic Edition (ACM DL) BibTeX
• Akbar Siami Namin, James H. Andrews, Duncan J. Murdoch:
  Sufficient mutation operators for measuring test effectiveness. 351-360
  Electronic Edition (ACM DL) BibTeX

Software process

• Filippo Ricca, Massimiliano Di Penta, Marco Torchiano, Paolo Tonella, Mariano Ceccato, Corrado Aaron Visaggio:
  Are fit tables really talking?: a series of experiments to understand whether fit tables are useful during evolution tasks. 361-370
  Electronic Edition (ACM DL) BibTeX
• Lijun Mei, W. K. Chan, T. H. Tse:
  Data flow testing of service-oriented workflow applications. 371-380
  Electronic Edition (ACM DL) BibTeX
• Diomidis Spinellis:
  A tale of four kernels. 381-390
  Electronic Edition (ACM DL) BibTeX

Architecture

• Michael Eichberg, Sven Kloppenburg, Karl Klose, Mira Mezini:
  Defining and continuous checking of structural program dependencies. 391-400
  Electronic Edition (ACM DL) BibTeX
• Thomas Goldschmidt, Ralf Reussner, Jochen Winzen:
  A case study evaluation of maintainability and performance of persistency techniques. 401-410
  Electronic Edition (ACM DL) BibTeX
• Sunny Huynh, Yuanfang Cai, Yuanyuan Song, Kevin J. Sullivan:
  Automatic modularity conformance checking. 411-420
  Electronic Edition (ACM DL) BibTeX

Refactoring

• Emerson R. Murphy-Hill, Andrew P. Black:
  Breaking the barriers to successful refactoring: observations and tools for extract method. 421-430
  Electronic Edition (ACM DL) BibTeX
• Hannes Kegel, Friedrich Steimann:
  Systematically refactoring inheritance to delegation in java. 431-440
  Electronic Edition (ACM DL) BibTeX
• Danny Dig, Stas Negara, Vibhu Mohindra, Ralph Johnson:
  ReBA: refactoring-aware binary adaptation of evolving libraries. 441-450
  Electronic Edition (ACM DL) BibTeX

Evolution

• Andy Maule, Wolfgang Emmerich, David S. Rosenblum:
  Impact analysis of database schema changes. 451-460
  Electronic Edition (ACM DL) BibTeX
• Xiaoyin Wang, Lu Zhang, Tao Xie, John Anvik, Jiasu Sun:
  An approach to detecting duplicate bug reports using natural language and execution information. 461-470
  Electronic Edition (ACM DL) BibTeX

Frameworks

• Thorsten Schäfer, Jan Jonas, Mira Mezini:
  Mining framework usage changes from instantiation code. 471-480
  Electronic Edition (ACM DL) BibTeX
• Barthélémy Dagenais, Martin P. Robillard:
  Recommending adaptive changes for framework evolution. 481-490
  Electronic Edition (ACM DL) BibTeX
• Yanyan Wang, Antonio Carzaniga, Alexander L. Wolf:
  Four enhancements to automateddistributed system experimentation methods. 491-500
  Electronic Edition (ACM DL) BibTeX

Models

• Davide Lorenzoli, Leonardo Mariani, Mauro Pezzè:
  Automatic generation of software behavioral models. 501-510
  Electronic Edition (ACM DL) BibTeX
• Xavier Blanc, Isabelle Mounier, Alix Mougenot, Tom Mens:
  Detecting model inconsistency through operation-based model construction. 511-520
  Electronic Edition (ACM DL) BibTeX

Software engineering economics

• Nachiappan Nagappan, Brendan Murphy, Victor R. Basili:
  The influence of organizational structure on software quality: an empirical case study. 521-530
  Electronic Edition (ACM DL) BibTeX
• Thomas Zimmermann, Nachiappan Nagappan:
  Predicting defects using network analysis on dependency graphs. 531-540
  Electronic Edition (ACM DL) BibTeX
• Peter C. Rigby, Daniel M. Germán, Margaret-Anne D. Storey:
  Open source software peer review practices: a case study of the apache server. 541-550
  Electronic Edition (ACM DL) BibTeX

Process & models

• Fergal McCaffery, Minna Pikkarainen, Ita Richardson:
  Ahaa --agile, hybrid assessment method for automotive, safety critical smes. 551-560
  Electronic Edition (ACM DL) BibTeX
• Oliver Niggemann, Joachim Stroop:
  Models for model's sake: why explicit system models are also an end to themselves. 561-570
  Electronic Edition (ACM DL) BibTeX
• Serena Fritsch, Aline Senart, Douglas C. Schmidt, Siobhán Clarke:
  Time-bounded adaptation for automotive system software. 571-580
  Electronic Edition (ACM DL) BibTeX

Architecture & design

• Ulrich Freund:
  Mulit-level system integration based on AUTOSAR. 581-582
  Electronic Edition (ACM DL) BibTeX
• Stefan Bienk:
  Asam odx: syntax as semantics. 583-592
  Electronic Edition (ACM DL) BibTeX

Quality assurance

• Tim Reichert, Edmund Klaus, Wolfgang Schoch, Ansgar Meroth, Dominikus Herzberg:
  A language for advanced protocol analysis in automotive networks. 593-602
  Electronic Edition (ACM DL) BibTeX
• Florian Deissenboeck, Benjamin Hummel, Elmar Jürgens, Bernhard Schätz, Stefan Wagner, Jean-Francois Girard, Stefan Teuchert:
  Clone detection in automotive model-based development. 603-612
  Electronic Edition (ACM DL) BibTeX
• Maurice H. ter Beek, Stefania Gnesi, Nora Koch, Franco Mazzanti:
  Formal verification of an automotive scenario in service-oriented computing. 613-622
  Electronic Edition (ACM DL) BibTeX

Requirements engineering

• Bin Chen, George S. Avrunin, Elizabeth A. Henneman, Lori A. Clarke, Leon J. Osterweil, Philip L. Henneman:
  Analyzing medical processes. 623-632
  Electronic Edition (ACM DL) BibTeX
• Barbara Paech, Thomas Wetter:
  Rational quality requirements for medical software. 633-638
  Electronic Edition (ACM DL) BibTeX
• Jörg Dörr, Daniel Kerkow, Dennis Landmann, Christian Graf, Christian Denger, Anne Hoffmann:
  Supporting requirements engineering for medical products: early consideration of user-perceived quality. 639-648
  Electronic Edition (ACM DL) BibTeX

Architecture

• Gerald Bortis:
  Experiences with Mirth: an open source health care integration engine. 649-652
  Electronic Edition (ACM DL) BibTeX
• Danny Ammon, Dirk Hoffmann, Tobias Jakob, Ekkehard Finkeissen:
  Developing an architecture of a knowledge-based electronic patient record. 653-660
  Electronic Edition (ACM DL) BibTeX
• Holger Scherl, Stefan Hoppe, Markus Kowarschik, Joachim Hornegger:
  Design and implementation of the software architecture for a 3-D reconstruction system in medical imaging. 661-668
  Electronic Edition (ACM DL) BibTeX

Quality

• Marlon Vieira, Xiping Song, Gilberto Matos, Stephan Storck, Rajanikanth Tanikella, William M. Hasling:
  Applying model-based testing to healthcare products: preliminary experiences. 669-672
  Electronic Edition (ACM DL) BibTeX
• Liang Xiao, Paul H. Lewis, Alex Gibb:
  Developing a security protocol for a distributed decision support system in a healthcare environment. 673-682
  Electronic Edition (ACM DL) BibTeX

Modeling & Architecture

• Jan Jürjens, Jörg Schreck, Peter Bartmann:
  Model-based security analysis for mobile communications. 683-692
  Electronic Edition (ACM DL) BibTeX
• Barry Long, Jürgen Dingel, T. C. Nicholas Graham:
  Experience applying the SPIN model checker to an industrial telecommunications system. 693-702
  Electronic Edition (ACM DL) BibTeX
• Andreas Scholz, Christian Buckl, Alfons Kemper, Alois Knoll, Jörg Heuer, Martin Winter:
  WS-AMUSE - web service architecture for multimedia services. 703-712
  Electronic Edition (ACM DL) BibTeX

Quality

• Audris Mockus, David M. Weiss:
  Interval quality: relating customer-perceived quality to process quality. 723-732
  Electronic Edition (ACM DL) BibTeX
• Clauirton de Siebra, Paulo H. R. Costa, André Luis M. Santos, Fabio Q. B. da Silva:
  Improving the handsets network test process via DMAIC concepts. 733-740
  Electronic Edition (ACM DL) BibTeX

Extending the frontiers in SE education

• Bartosz Michalik, Jerzy R. Nawrocki, Miroslaw Ochodek:
  3-step knowledge transition: a case study on architecture evaluation. 741-748
  Electronic Edition (ACM DL) BibTeX
• Jordi Cabot, Francisco Durán, Nathalie Moreno, Antonio Vallecillo, José Raúl Romero:
  From programming to modeling: our experience with a distributed software engineering course. 749-758
  Electronic Edition (ACM DL) BibTeX
• Scott D. Fleming, Eileen Kraemer, R. E. Kurt Stirewalt, Shaohua Xie, Laura K. Dillon:
  A study of student strategies for the corrective maintenance of concurrent software. 759-768
  Electronic Edition (ACM DL) BibTeX

SE education practices

• Kai Stapel, Daniel Lübke, Eric Knauss:
  Best practices in extreme programming course design. 769-776
  Electronic Edition (ACM DL) BibTeX
• Gerald C. Gannod, Janet E. Burge, Michael T. Helmick:
  Using the inverted classroom to teach software engineering. 777-786
  Electronic Edition (ACM DL) BibTeX
• Michele Lanza, Amy L. Murphy, Romain Robbes, Mircea Lungu, Paolo Bonzini:
  A teamwork-based approach to programming fundamentals with scheme, smalltalk & java. 787-790
  Electronic Edition (ACM DL) BibTeX

Inter- and intradisciplinary SE foundations

• Birgit R. Krogstie:
  Power through brokering: open source community participation in software engineering student projects. 791-800
  Electronic Edition (ACM DL) BibTeX
• Christoph Denzler, Dominik Gruntz:
  Design patterns: between programming and software design. 801-804
  Electronic Edition (ACM DL) BibTeX

Innovatin in SE education

• Uwe Dumslaff:
  Change management: from knowledge about innovative SE to capabilities for industrial SE projects. 805-806
  Electronic Edition (ACM DL) BibTeX

Model-driven development and model analysis I

• Carsten Amelunxen, Felix Klar, Alexander Königs, Tobias Rötschke, Andy Schürr:
  Metamodel-based tool integration with moflon. 807-810
  Electronic Edition (ACM DL) BibTeX
• Nelly Bencomo, Paul Grace, Carlos A. Flores-Cortés, Danny Hughes, Gordon S. Blair:
  Genie: supporting the model driven development of reflective, component-based adaptive systems. 811-814
  Electronic Edition (ACM DL) BibTeX
• Mehrdad Sabetzadeh, Shiva Nejati, Steve M. Easterbrook, Marsha Chechik:
  Global consistency checking of distributed models with TReMer+. 815-818
  Electronic Edition (ACM DL) BibTeX

Model-driven development & model analysis II

• John C. Grundy, John G. Hosking, Jun Huh, Karen Na-Liu Li:
  Marama: an eclipse meta-toolset for generating multi-view environments. 819-822
  Electronic Edition (ACM DL) BibTeX
• Tobias Reinhard, Silvio Meier, Reinhard Stoiber, Christina Cramer, Martin Glinz:
  Tool support for the navigation in graphical models. 823-826
  Electronic Edition (ACM DL) BibTeX
• Panuchart Bunyakiati, Anthony Finkelstein, James Skene, Clovis Chapman:
  Using JULE to generate a compliance test suite for the UML standard. 827-830
  Electronic Edition (ACM DL) BibTeX

Traceability

• Sven Wenzel, Udo Kelter:
  Analyzing model evolution. 831-834
  Electronic Edition (ACM DL) BibTeX
• Janet E. Burge, David C. Brown:
  SEURAT: integrated rationale management. 835-838
  Electronic Edition (ACM DL) BibTeX
• Andrea De Lucia, Rocco Oliveto, Genoveffa Tortora:
  Adams re-trace: traceability link recovery via latent semantic indexing. 839-842
  Electronic Edition (ACM DL) BibTeX

Code management

• Ekwa Duala-Ekoko, Martin P. Robillard:
  Clonetracker: tool support for code clone management. 843-846
  Electronic Edition (ACM DL) BibTeX
• Romain Robbes, Michele Lanza:
  SpyWare: a change-aware development toolset. 847-850
  Electronic Edition (ACM DL) BibTeX
• Peng Li, Eric Wohlstadter:
  Dynamic round-trip GUI maintenance. 851-854
  Electronic Edition (ACM DL) BibTeX

Verification & validation

• Bassem Elkarablieh, Sarfraz Khurshid:
  Juzi: a tool for repairing complex data structures. 855-858
  Electronic Edition (ACM DL) BibTeX
• Muhammad Zubair Malik, Aman Pervaiz, Engin Uzuncaova, Sarfraz Khurshid:
  Deryaft: a tool for generating representation invariants of structurally complex data. 859-862
  Electronic Edition (ACM DL) BibTeX
• Tihomir Gvero, Milos Gligoric, Steven Lauterburg, Marcelo d'Amorim, Darko Marinov, Sarfraz Khurshid:
  State extensions for java pathfinder. 863-866
  Electronic Edition (ACM DL) BibTeX

Validation

• Christopher Scaffidi, Brad A. Myers, Mary Shaw:
  Tool support for data validation by end-user programmers. 867-870
  Electronic Edition (ACM DL) BibTeX
• Jin Guo, King Chun Foo, Liliane Barbour, Ying Zou:
  A business process explorer: recovering and visualizing e-commerce business processes. 871-874
  Electronic Edition (ACM DL) BibTeX
• Sebastian Höhn, Jan Jürjens:
  Rubacon: automated support for model-based compliance engineering. 875-878
  Electronic Edition (ACM DL) BibTeX