This is an archive of the old software engineering chair at Saarland University. It is no longer up-to-date.

• For the current work of Andreas Zeller and his group, see andreas-zeller.info.
• For the current software engineering chair, see www.se.cs.uni-saarland.de.

Software Engineering Chair (Prof. Zeller)

Conference Papers

• Thread-Level Speculation with Kernel Support
  by Clemens Hammacher, Kevin Streit, Andreas Zeller, Sebastian Hack.
  Proc. 25th International Conference on Compiler Construction (CC), Pages 1-11, March 2016.
  More details - Digital Library via DOI: 10.1145/2892208.2892221 - Local copy: Download as PDF file.
• XMLMate: Evolutionary XML Test Generation - FSE 2014
  by Nikolas Havrikov, Matthias H�schele, Juan Pablo Galeotti, Andreas Zeller.
  Proceedings of 22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2014), FSE '14, ACM, November 2014.
  More details - Download as PDF file.
• DynaMate: Dynamically Inferring Loop Invariants for Automatic Full Functional Verification - HVC 2014
  by Juan Pablo Galeotti, Carlo A. Furia, Eva May, Gordon Fraser, Andreas Zeller.
  Proceedings of 10th Haifa Verification Conference (HVC 2014), LNCS, Springer, November 2014.
  More details - Download as PDF file.
• Automated Unit Test Generation for Classes with Environment Dependencies - ASE 2014
  by Andrea Arcuri, Gordon Fraser, Juan Pablo Galeotti.
  Proceedings of the 2014 International Conference on Automated Software Engineering (ASE), Pages 79-90, ASE '14, ACM, September 2014.
  More details - Digital Library via DOI: 10.1145/2642937.2642986 - Local copy: Download as PDF file.
• Extending a Search-Based Test Generator with Adaptive Dynamic Symbolic Execution - ISSTA 2014
  by Juan Pablo Galeotti, Gordon Fraser, Andrea Arcuri.
  Proceedings of the 2014 International Symposium on Software Testing and Analysis, Pages 421-424, ISSTA '14, ACM, July 2014.
  More details - Digital Library via DOI: 10.1145/2610384.2628049 - Local copy: Download as PDF file.
• JTACO: Test Execution for Faster Bounded Verification - TAP 2014
  by Alexander Kampmann, Juan Pablo Galeotti, Andreas Zeller.
  TAP 2014: Proceedings of the 8th International Conference on Tests and Proofs, Pages 134-141, Lecture Notes in Computer Science, Volume 8570, Springer, July 2014.
  More details - Digital Library via DOI: 10.1007/978-3-319-09099-3_10 - Local copy: Download as PDF file.
• Cross-Checking Oracles from Intrinsic Software Redundancy - ICSE 2014
  by Antonio Carzaniga, Alberto Goffi, Alessandra Gorla, Andrea Mattavelli, Mauro Pezze'.
  ICSE '14: Proceedings of the 2014 International Conference on Software Engineering, Pages 346-357, ACM Press, June 2014.
  More details - Download as PDF file.
• Checking App Behavior Against App Descriptions - ICSE 2014
  by Alessandra Gorla, Ilaria Tavecchia, Florian Gross, Andreas Zeller.
  ICSE '14: Proceedings of the 2014 International Conference on Software Engineering, Pages 292-302, ACM Press, June 2014.
  More details - Download as PDF file.
• Search-based Data-flow Test Generation - ISSRE 2013
  by Mattia Vivanti, Andre Mis, Alessandra Gorla, Gordon Fraser.
  ISSRE'13: Proceedings of the 24th IEEE International Symposium on Software Reliability Engineering, IEEE Press, November 2013.
  More details - Download as PDF file.
• Improving Search-based Test Suite Generation with Dynamic Symbolic Execution - ISSRE 2013
  by Juan Pablo Galeotti, Gordon Fraser, Andrea Arcuri.
  Proceedings of the 24th IEEE International Symposium on Software Reliability Engineering, November 2013.
  More details - Digital Library via DOI: 10.1109/ISSRE.2013.6698889 - Local copy: Download as PDF file.
• Mining Behavior Models from Enterprise Web Applications - ESEC/FSE 2013
  by Matthias Schur, Andreas Roth, Andreas Zeller.
  Pages 442-432, September 2013.
  More details - Download as PDF file.
• Parallel Bounded Analysis in Code with Rich Invariants by Refinement of Field Bounds - ISSTA 2013
  by Nicolas Rosner, Juan Pablo Galeotti, Santiago Bermudez, Guido Marucci Blas, Santiago Perez De Rosso, Lucas Pizzagalli, Luciano Zemin, Marcelo F. Frias.
  ISSTA '13: Proceedings of the 2013 International Symposium on Software Testing and Analysis, July 2013.
  More details - Digital Library via DOI: 10.1145/2483760.2483770 - Local copy: Download as PDF file.
• It's Not a Bug, It's a Feature: How Misclassification Impacts Bug Prediction - ICSE 2013
  by Kim Herzig, Sascha Just, Andreas Zeller.
  ICSE '13: Proceedings of the 2013 International Conference on Software Engineering, Pages 392-401, IEEE Press, June 2013.
  More details - Download as PDF file.
• Generating Test Suites with Augmented Dynamic Symbolic Execution
  by Konrad Jamrozik, Gordon Fraser, Nikolai Tillmann, Jonathan De Halleux.
  Proceedings of the 7th International Conference on Tests and Proofs, Pages 152-167, TAP 2013, Volume 7942, Springer, June 2013.
  More details - Digital Library via DOI: 10.1007/978-3-642-38916-0_9 - Local copy: Download as PDF file.
• Automatic Recovery from Runtime Failures - ICSE 2013
  by Antonio Carzaniga, Alessandra Gorla, Andrea Mattavelli, Nicolo' Perino, Mauro Pezze'.
  ICSE '13: Proceedings of the 2013 International Conference on Software Engineering, Pages 782-791, IEEE Press, June 2013.
  More details - Download as PDF file.
• Reconstructing Core Dumps - ICST 2013
  by Jeremias R��ler, Andreas Zeller, Gordon Fraser, Cristian Zamfir, George Candea.
  ICST '13: Proceedings of the Sixth IEEE International Conference on Software Testing, Verification and Validation, March 2013.
  More details - Download as PDF file.
• Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving - ICST 2013
  by Pablo Abad, Nazareno Aguirre, Valeria Bengolea, Daniel Ciolek, Marcelo F. Frias, Juan Pablo Galeotti, Tom Maibaum, Mariano Moscato, Nicolas Rosner, Ignacio Vissani.
  ICST '13: Proceedings of the Sixth IEEE International Conference on Software Testing, Verification and Validation, March 2013.
  More details - Digital Library via DOI: 10.1109/ICST.2013.46 - Local copy: Download as PDF file.
• SPolly: Speculative Optimizations in the Polyhedral Model
  by Johannes Doerfert, Clemens Hammacher, Kevin Streit, Sebastian Hack.
  Armin Gr��linger, Louis-No�l Pouchet (Ed.), Proc. 3rd International Workshop on Polyhedral Compilation Techniques (IMPACT), Pages 55-61, Berlin, Germany, January 2013.
  More details - Download as PDF file.
• Augmented Dynamic Symbolic Execution
  by Konrad Jamrozik, Gordon Fraser, Nikolai Tillmann, Jonathan De Halleux.
  Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering, Pages 254-257, ASE 2012, ACM, New York, NY, USA, September 2012.
  More details - Digital Library via DOI: 10.1145/2351676.2351716 - Local copy: Download as PDF file.
• Fuzzing with Code Fragments - USENIX 2012
  by Christian Holler, Kim Herzig, Andreas Zeller.
  Proceedings of the 21st USENIX Conference on Security Symposium, Pages 38-38, USENIX Association, August 2012.
  More details - Download as PDF file.
• Search-Based System Testing: High Coverage, no False Alarms
  by Florian Gross, Gordon Fraser, Andreas Zeller.
  July 2012.
  More details - Download as PDF file.
• Isolating Failure Causes through Test Case Generation - ISSTA 2012
  by Jeremias R��ler, Gordon Fraser, Andreas Zeller, Alessandro Orso.
  ISSTA '12: Proceedings of the 2012 International Symposium on Software Testing and Analysis, July 2012.
  More details - Download as PDF file.
• EXSYST: Search-based GUI testing
  by Florian Gross, Gordon Fraser, Andreas Zeller.
  June 2012.
  More details - Digital Library via DOI: 10.1109/ICSE.2012.6227232 - Local copy: Download as PDF file.
• Sambamba: A Runtime System for Online Adaptive Parallelization
  by Kevin Streit, Clemens Hammacher, Andreas Zeller, Sebastian Hack.
  Proc. 21st International Conference on Compiler Construction (CC), Pages 240-243, March 2012.
  More details - Digital Library via DOI: 10.1007/978-3-642-28652-0_13 - Local copy: Download as PDF file.
• Mining Cause-Effect-Chains from Version Histories
  by Kim Herzig, Andreas Zeller.
  Proceedings of the 2011 IEEE 22nd International Symposium on Software Reliability Engineering, Pages 60-69, IEEE Computer Society, Washington, DC, USA, November 2011.
  More details - Digital Library via DOI: 10.1109/ISSRE.2011.16 - Local copy: Download as PDF file.
• On Parameter Tuning in Search Based Software Engineering - SSBSE 2011
  by Andrea Arcuri, Gordon Fraser.
  September 2011.
  More details - Download as PDF file.
• Combining Search-based and Constraint-based Testing - ASE 2011
  by Jan Malburg, Gordon Fraser.
  September 2011.
  More details - Download as PDF file.
• EvoSuite: Automatic Test Suite Generation for Object-Oriented Software - ESEC/FSE 2011
  by Gordon Fraser, Andrea Arcuri.
  September 2011.
  More details - Download as PDF file.
• Network versus Code Metrics to Predict Defects: A Replication Study
  by Rahul Premraj, Kim Herzig.
  Proceedings of the Fifth International Symposium on Empirical Software Engineering and Measurement (ESEM 2011), September 2011.
  More details - Download as PDF file.
• Bytecode Testability Transformation - SSBSE 2011
  by Yanchuan Li, Gordon Fraser.
  September 2011.
  More details - Download as PDF file.
• Generating Parameterized Unit Tests - ISSTA 2011
  by Gordon Fraser, Andreas Zeller.
  July 2011.
  More details - Download as PDF file.
• Minimizing Reproduction of Software Failures - ISSTA 2011
  by Martin Burger, Andreas Zeller.
  Proceedings of the 2011 International Symposium on Software Testing and Analysis, Pages 221-231, ISSTA '11, ACM, New York, NY, USA, July 2011.
  More details - Digital Library via DOI: 10.1145/2001420.2001447 - Local copy: Download as PDF file.
• Whole Test Suite Generation - QSIC 2011
  by Gordon Fraser, Andrea Arcuri.
  QSIC'11: Proceedings of the 11th International Conference on Software Quality, IEEE Computer Society, July 2011.
  More details - Download as PDF file.
• Mining Evolution of Object Usage - ECOOP 2011
  by Yana Mileva, Andrzej Wasylkowski, Andreas Zeller.
  July 2011.
  More details
• Specifications for Free - NFM 2011
  by Andreas Zeller.
  NFM 2011: Proceedings of the NASA Third International Symposium on Formal Methods, Pages 2-12, Lecture Notes in Computer Science, Volume 6617, Springer, April 2011.
  More details - Digital Library via DOI: 10.1007/978-3-642-20398-5_2
• It is Not the Length that Matters, It is How You Control It - ICST 2011
  by Gordon Fraser, Andrea Arcuri.
  Proceedings of the fourth IEEE International Conference on Software Testing, Verification and Validation (ICST 2011), March 2011.
  More details - Download as PDF file.
• Exploiting Common Object Usage in Test Case Generation - ICST 2011
  by Gordon Fraser, Andreas Zeller.
  Proceedings of the fourth IEEE International Conference on Software Testing, Verification and Validation (ICST 2011), March 2011.
  More details - Download as PDF file.
• Assessing Oracle Quality with Checked Coverage - ICST 2011
  by David Schuler, Andreas Zeller.
  ICST '11: Proceedings of the 4th International Conference on Software Testing, Verification and Validation, March 2011.
  More details - Download as PDF file.
• Testing Container Classes: Random or Systematic? - FASE 2011
  by Rohan Sharma, Milos Gligoric, Andrea Arcuri, Gordon Fraser, Darko Marinov.
  Fundamental Approaches to Software Engineering (FASE 2011), March 2011.
  More details - Download as PDF file.
• An Empirical Study of the Factors Relating Field Failures and Dependencies
  by Thomas Zimmermann, Nachiappan Nagappan, Laurie Williams, Kim Herzig, Rahul Premraj.
  Proceedings of the fourth IEEE International Conference on Software Testing, Verification and Validation (ICST 2011), March 2011.
  More details - Download as PDF file.
• Change Bursts as Defect Predictors
  by Nachiappan Nagappan, Andreas Zeller, Thomas Zimmermann, Kim Herzig, Brendan Murphy.
  Proceedings of the 21st IEEE International Symposium on Software Reliability Engineering, November 2010.
  More details - Download as PDF file.
• Mining API Popularity - TAIC Part 2010
  by Yana Mileva, Valentin Dallmeier, Andreas Zeller.
  September 2010.
  More details
• Generating Test Cases for Specification Mining - ISSTA 2010
  by Valentin Dallmeier, Nikolai Knopp, Christoph Mallon, Sebastian Hack, Andreas Zeller.
  July 2010.
  More details - Download as PDF file.
• Automated fixing of programs with contracts - ISSTA 2010
  by Yi Wei, Yu Pei, Carlo A. Furia, Lucas S. Silva, Stefan Buchholz, Bertrand Meyer, Andreas Zeller.
  ISSTA 2010: Proceedings of the 19th international symposium on Software testing and analysis, Pages 61-72, ACM, New York, NY, July 2010.
  More details - Digital Library via DOI: 10.1145/1831708.1831716
• Mutation-driven Generation of Unit Tests and Oracles - ISSTA 2010
  by Gordon Fraser, Andreas Zeller.
  July 2010.
  More details - Download as PDF file.
• Learning from 6,000 projects: Lightweight cross-project anomaly detection - ISSTA 2010
  by Natalie Gruska, Andrzej Wasylkowski, Andreas Zeller.
  ISSTA 2010: Proceedings of the 19th international symposium on Software testing and analysis, Pages 119-130, ACM, New York, NY, July 2010.
  More details - Digital Library via DOI: 10.1145/1831708.1831723 - Local copy: Download as PDF file.
• (Un-)Covering Equivalent Mutants - ICST 2010
  by David Schuler, Andreas Zeller.
  ICST '10: Proceedings of the 3rd International Conference on Software Testing, Verification and Validation, Pages 45-54, IEEE Computer Society, April 2010.
  More details - Download as PDF file.
• Localizing Bugs in Program Executions with Graphical Models - NIPS 2009
  by Laura Dietz, Valentin Dallmeier, Andreas Zeller, Tobias Scheffer.
  December 2009.
  More details
• Generating Fixes from Object Behavior Anomalies - ASE 2009
  by Valentin Dallmeier, Andreas Zeller, Bertrand Meyer.
  Proceedings of the 24th IEEE/ACM International Conference on Automated Software Engineering, Auckland, New Zealand, November 2009.
  More details - Download as PDF file.
• Mining temporal specifications from object usage - ASE 2009
  by Andrzej Wasylkowski, Andreas Zeller.
  ASE 2009: Proceedings of the 2009 IEEE/ACM International Conference on Automated Software Engineering, Pages 295-306, IEEE Computer Society, Los Alamitos, CA, November 2009.
  More details - Digital Library via DOI: 10.1109/ASE.2009.30
• Efficient Mutation Testing by Checking Invariant Violations - ISSTA 2009
  by David Schuler, Valentin Dallmeier, Andreas Zeller.
  ISSTA '09: Proceedings of the 18th International Symposium on Software Testing and Analysis, Pages 69-80, July 2009.
  More details - Digital Library via DOI: 10.1145/1572272.1572282 - Local copy: Download as PDF file.
• Predicting Defects in SAP Java Code: An Experience Report
  by Tilman Holschuh, Markus Paeuser, Kim Herzig, Thomas Zimmermann, Rahul Premraj, Andreas Zeller.
  Proceedings of the 31th International Conference on Software Engineering, May 2009.
  More details - Download as PDF file.
• Predicting Software Features at Design Time - PROFES 2008
  by Wolfgang Holz, Rahul Premraj, Thomas Zimmermann, Andreas Zeller.
  PROFES '08: Proceedings of the 9th International Conference on Product Focused Software Process Improvement, Pages 33-44, June 2008.
  More details - Digital Library via DOI: 10.1007/978-3-540-69566-0_6 - Local copy: Download as PDF file.
• Learning from Software - ISEC 2008
  by Andreas Zeller.
  Proceedings of the 1st conference on India software engineering conference, Pages 1-1, Hyderabad, India, February 2008.
  More details - Digital Library via DOI: 10.1145/1342211.1342212
• Predicting faults from cached history - ISEC 2008
  by Sunghun Kim, Thomas Zimmermann, E. James Whitehead, Andreas Zeller.
  Proceedings of the 1st conference on India software engineering conference, Pages 15-16, Hyderabad, India, February 2008.
  More details - Digital Library via DOI: 10.1145/1342211.1342216
• Predicting Subsystem Defects using Dependency Graph Complexities - ISSRE 2007
  by Thomas Zimmermann, Nachiappan Nagappan.
  Proceedings of the 18th IEEE International Symposium on Software Reliability Engineering, November 2007.
  More details
• Efficient unit test case minimization - ASE 2007
  by Andreas Leitner, Manuel Oriol, Andreas Zeller, Ilinca Ciupa, Bertrand Meyer.
  Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering, Pages 417-420, Atlanta, Georgia, USA, November 2007.
  More details - Digital Library via DOI: 10.1145/1321631.1321698
• A Dynamic Birthmark for Java - ASE 2007
  by David Schuler, Valentin Dallmeier, Christian Lindig.
  ASE '07: Proceedings of the 22nd International Conference on Automated Software Engineering, Pages 274-283, November 2007.
  More details - Digital Library via DOI: 10.1145/1321631.1321672 - Local copy: Download as PDF file.
• Extraction of Bug Localization Benchmarks from History - ASE 2007
  by Valentin Dallmeier, Thomas Zimmermann.
  Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering, November 2007.
  More details - Digital Library via DOI: 10.1145/1321631.1321702 - Local copy: Download as PDF file.
• Predicting Vulnerable Software Components - CCS 2007
  by Stephan Neuhaus, Thomas Zimmermann, Christian Holler, Andreas Zeller.
  Proceedings of the 14th ACM Conference on Computer and Communications Security, October 2007.
  More details
• Detecting object usage anomalies - ESEC/FSE 2007
  by Andrzej Wasylkowski, Andreas Zeller, Christian Lindig.
  ESEC/FSE 2007: Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, Pages 35-44, ACM, New York, NY, September 2007.
  More details - Digital Library via DOI: 10.1145/1287624.1287632
• Building Software Cost Estimation Models using Homogenous Data - ESEM 2007
  by Rahul Premraj, Thomas Zimmermann.
  Proceedings of the First International Symposium on Empirical Software Engineering and Measurement, September 2007.
  More details
• Predicting Faults from Cached History - ICSE 2007
  by Sunghun Kim, Thomas Zimmermann, E. James Whitehead Jr., Andreas Zeller.
  Proceedings of the 29th International Conference on Software Engineering, May 2007.
  More details
• The Future of Programming Environments: Integration, Synergy, and Assistance - International Conference on Software Engineering 2007 -- Future of Software Engineering
  by Andreas Zeller.
  Proc. International Conference on Software Engineering 2007 -- Future of Software Engineering, Pages 316-325, May 2007.
  More details - Digital Library via DOI: 10.1109/FOSE.2007.31
• Predicting Component Failures at Design Time - ISESE 2006
  by Adrian Schröter, Thomas Zimmermann, Andreas Zeller.
  Proceedings of the 5th International Symposium on Empirical Software Engineering, Pages 18-27, September 2006.
  More details - Digital Library via DOI: 10.1145/1159733.1159739 - Local copy: Download as PDF file.
• Automatic Identification of Bug Introducing Changes - ASE 2006
  by Sunghun Kim, Thomas Zimmermann, Kai Pan, E. James Whitehead Jr..
  Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering, Pages 81-90, September 2006.
  More details
• Mining Aspects from Version History - ASE 2006
  by Silvia Breu, Thomas Zimmermann.
  Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering, Pages 221-230, September 2006.
  More details
• Was Software-Archive erz�hlen - SE 2006
  by Stephan Diehl, Andreas Zeller, Thomas Zimmermann.
  Software Engineering 2006. Fachtagung des GI-Fachbereichs Softwaretechnik, Pages 39-50, Lecture Notes in Informatics, Volume 79, Springer, March 2006.
  More details
• Isolating Intrusions by Automatic Experiments - NDSS 2006
  by Stephan Neuhaus, Andreas Zeller.
  Proceedings of the 13th Annual Network and Distributed System Security Symposium, Pages 71-80, Internet Society, Reston, VA, USA, February 2006.
  More details - Download as PDF file.
• Staged Allocation: A Compositional Technique for Specifying and Implementing Procedure Calling Conventions
  by Reuben Olinksy, Christian Lindig, Norman Ramsey.
  Greg Morrisett, Simon Pyton Jones (Ed.), Conference Record of the 33rd Annual ACM Symposium on Principles of Programming Languages, Pages 409-421, ACM, January 2006.
  More details - Digital Library via DOI: 10.1145/1111037.1111073 - Local copy: Download as PDF file.
• Mining Metrics to Predict Component Failures - ICSE 2006
  by Nachiappan Nagappan, Thomas Ball, Andreas Zeller.
  November 2005.
  More details - Digital Library via DOI: 10.1145/1134285.1134349 - Local copy: Download as PDF file.
• DynaMine: Finding Common Error Patterns by Mining Software Revision Histories - ESEC/SIGSOFT FSE 2005
  by V. Benjamin Livshits, Thomas Zimmermann.
  Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, Pages 296-305, ACM, September 2005.
  More details - Digital Library via DOI: 10.1145/1081706.1081754 - Local copy: Download as PDF file.
• An Empirical Analysis of Software Productivity over Time - METRICS 2005
  by Rahul Premraj, Martin J. Shepperd, Barbara A. Kitchenham, Pekka Forselius.
  11th IEEE International Symposium on Software Metrics, Pages 37, IEEE Computer Society, September 2005.
  More details - Download as PDF file.
• Lightweight Defect Localization for Java
  by Valentin Dallmeier, Christian Lindig, Andreas Zeller.
  Andrew P. Black (Ed.), Proceedings of 19th European Conference on Object-Oriented Programming, ECOOP 2005, Pages 528-550, Lecture Notes in Computer Science, Number 3586, Springer, July 2005.
  More details - Download as PDF file.
• Locating Causes of Program Failures - ICSE 2005
  by Holger Cleve, Andreas Zeller.
  ICSE '05: Proceedings of the 27th international conference on Software engineering, Pages 342-351, ACM Press, New York, NY, USA, May 2005.
  More details - Digital Library via DOI: 10.1145/1062455.1062522 - Local copy: Download as PDF file.
• When Abstraction Fails - CC 2005
  by Andreas Zeller.
  Proceedings of the 14th International Conference on Compiler Construction (CC 2005), Pages 1-9, Lecture Notes in Computer Science, Volume 3443, Springer, April 2005.
  More details - Download as PDF file.
• Ein Software-Praktikum als Sommerkurs
  by Christian Lindig, Andreas Zeller.
  Klaus-Peter Löhr, Horst Lichter (Ed.), Software Engineering im Unterricht der Hochschulen (SEUH 9), Pages 68-80, dPunkt Verlag, February 2005.
  More details - Download as PDF file.
• Productivity of Software Projects by Business Sector: An Empirical Analysis of Trends - METRICS 2004
  by Rahul Premraj, Bhekispo Twala, Carolyn Mair, Pekka Forselius.
  10th IEEE International Software Metrics Symposium (Late Break-in Papers), September 2004.
  More details
• Mining Version Histories to Guide Software Changes - ICSE 2004
  by Thomas Zimmermann, Peter Weißgerber, Stephan Diehl, Andreas Zeller.
  Proceedings of the 26th International Conference on Software Engineering, Pages 563-572, IEEE Computer Society, May 2004.
  More details
• Data Enrichment in Case-Based Reasoning for Software Cost Prediction - PREP 2004
  by Rahul Premraj, Martin Shepperd, Michelle Cartwright.
  PREP 2004, April 2004.
  More details - Download as PDF file.
• Declarative Composition of Stack Frames
  by Christian Lindig, Norman Ramsey.
  Evelyn Duesterwald (Ed.), Proc. of the 14th International Conference on Compiler Construction, Pages 298-312, Lecture Notes in Computer Science, Number 2985, Springer, April 2004.
  More details - Download as PDF file.
• An Empirical Analysis of Linear Adaptation Techniques for Case-Based Prediction - ICCBR 2003
  by Colin Kirsopp, Emilia Mendes, Rahul Premraj, Martin J. Shepperd.
  Kevin D. Ashley, Derek G. Bridge (Ed.), Case-Based Reasoning Research and Development, 5th International Conference on Case-Based Reasoning, Pages 231-245, Lecture Notes in Computer Science, Volume 2689, Springer, June 2003.
  More details - Download as PDF file.
• Isolating Cause-Effect Chains from Computer Programs - SIGSOFT FSE 2002
  by Andreas Zeller.
  SIGSOFT '02/FSE-10: Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering, Pages 1-10, ACM Press, New York, NY, USA, November 2002.
  More details - Digital Library via DOI: 10.1145/587051.587053 - Local copy: Download as PDF file.
• Isolating Failure-Inducing Thread Schedules - ISSTA 2002
  by Jong-Deok Choi, Andreas Zeller.
  ISSTA '02: Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis, Pages 210-220, ACM Press, New York, NY, USA, July 2002.
  More details - Digital Library via DOI: 10.1145/566172.566211 - Local copy: Download as PDF file.
• Fast Concept Analysis
  by Christian Lindig.
  Gerhard Stumme (Ed.), Working with Conceptual Structures - Contributions to ICCS 2000, Pages 152-161, Shaker Verlag, August 2000.
  More details - Download as PDF file.
• Simplifying Failure-Inducing Input - ISSTA 2000
  by Ralf Hildebrandt, Andreas Zeller.
  ISSTA '00: Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis, Pages 135-145, ACM Press, New York, NY, USA, August 2000.
  More details - Digital Library via DOI: 10.1145/347324.348938 - Local copy: Download as PDF file.
• Making Students Read and Review Code - ITiCSE 2000
  by Andreas Zeller.
  ITiCSE '00: Proceedings of the 5th annual SIGCSE/SIGCUE ITiCSE conference on Innovation and technology in computer science education, Pages 89-92, ACM Press, New York, NY, USA, July 2000.
  More details - Digital Library via DOI: 10.1145/343048.343090 - Local copy: Download as PDF file.
• Yesterday, my program worked. Today, it does not. Why? - ESEC 1999
  by Andreas Zeller.
  Oscar Nierstrasz, M. Lemoine (Ed.), Proceedings of the ESEC/FSE'99, 7th European Software Engineering Conference, Pages 253-267, Lecture Notes in Computer Science, Volume 1687, Springer, September 1999.
  More details - Digital Library via DOI: 10.1145/318773.318946 - Local copy: Download as PDF file.
• Assessing Modular Structure of Legacy Code Based on Mathematical Concept Analysis
  by Christian Lindig, Gregor Snelting.
  Proceedings of the 1997 International Conference on Software Engineering, Pages 349-359, ACM Press, May 1997.
  More details - Download as PDF file.
• Komponentensuche mit Begriffen
  by Christian Lindig.
  Softwaretechnik '95, October 1995.
  More details - Download as PDF file.
• A Unified Version Model for Configuration Management - SIGSOFT FSE 1995
  by Andreas Zeller.
  SIGSOFT '95: Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering, Pages 151-160, ACM Press, New York, NY, USA, October 1995.
  More details - Digital Library via DOI: 10.1145/222124.222151 - Local copy: Download as compressed PostScript file.
• Handling Version Sets through Feature Logic - ESEC 1995
  by Andreas Zeller, Gregor Snelting.
  Wilhelm Sch�fer, Pere Botella (Ed.), Proceedings of the 5th European Software Engineering Conference, Pages 191-204, Lecture Notes in Computer Science, Volume 989, Springer, Berlin, Germany, September 1995.
  More details - Download as compressed PostScript file.
• Inferenzbasierte Werkzeuge in NORA
  by Gregor Snelting, Andreas Zeller.
  Proc. Softwaretechnik '93, Pages 25-32, Gesellschaft f�r Informatik, August 1993.
  More details - Download as compressed PostScript file.