Books, Book Chapters, and Journal Articles
-
Generalized Task Parallelism
ACM Transactions on Architecture and Code Optimization, Pages 8:1-8:25, Volume 12, Number 1, January 2015.
More details - Digital Library via DOI: 10.1145/2723164 - Local copy: Download as PDF file. -
Practical JFSL verification using TACO
Journal of Software: Practice and Experience, Pages 317-334, Volume 44, Number 3, March 2014.
More details - Digital Library via DOI: 10.1002/spe.2237 - Local copy: Download as PDF file. -
Checked coverage: an indicator for oracle quality
Software: Testing, Verification and Reliability, Pages 531-551, Volume 23, Number 7, November 2013.
More details - Download as PDF file. -
Covering and Uncovering Equivalent Mutants
Software: Testing, Verification and Reliability, Pages 353-374, Volume 23, Number 5, November 2013.
More details - Download as PDF file. -
Can We Trust Software Repositories?
J�rgen M�nch, Klaus Schmid (Ed.), Perspectives on the Future of Software Engineering, Chapter 14, Springer Berlin Heidelberg, October 2013.
More details -
TACO: Efficient SAT-Based Bounded Verification Using Symmetry Breaking and Tight Bounds
IEEE Transactions on Software Engineering, Pages 1283-1307, Volume 39, Number 9, September 2013.
More details - Digital Library via DOI: 10.1109/TSE.2013.15 - Local copy: Download as PDF file. -
Proving Programs Continuous: Technical Perspective
Communications of the ACM, Pages 106-106, Volume 55, Number 8, ACM, August 2012.
More details - Digital Library via DOI: 10.1145/2240236.2240261 -
Automatically Generating Test Cases for Specification Mining
IEEE Transactions on Software Engineering, Pages 243-257, Volume 38, Number 2, March 2012.
More details - Download as PDF file. -
Mutation-driven Generation of Oracles and Unit Tests
IEEE Transactions on Software Engineering, Pages 278-292, Volume 38, Number 2, March 2012.
More details - Download as PDF file. -
Mining temporal specifications from object usage
Automated Software Engineering, Pages 263-292, Volume 18, Number 3-4, Springer US, December 2011.
More details - Digital Library via DOI: 10.1007/s10515-011-0084-1 -
Generating Minimal Fault Detecting Test Suites for General Boolean Specifications
Information and Software Technology, Pages 1263-1273, Volume 53, Number 11, November 2011.
More details - Download as PDF file. -
Which Crashes Should I Fix First?: Predicting Top Crashes at an Early Stage to Prioritize Debugging Efforts
IEEE Transactions on Software Engineering, Pages 430-447, Volume 37, Number 3, May 2011.
More details - Digital Library via DOI: 10.1109/TSE.2011.20 -
Mining Your Own Evidence
Andy Oram, Greg Wilson (Ed.), Making Software, Chapter 27, O'Reilly Media, Inc., October 2010.
More details -
Seeding Bugs to Find Bugs: Beautiful Mutation Testing
Tim Riley, Adam Goucher (Ed.), Beautiful Testing, Chapter 18, O'Reilly Media, Inc., October 2009.
More details -
Predicting Bugs from History
Tom Mens, Serge Demeyer (Ed.), Software Evolution, Chapter 4, Pages 69-88, Springer, March 2008.
More details - Download as PDF file. -
Beautiful Debugging
Andy Oram, Greg Wilson (Ed.), Beautiful Code, Chapter 28, O'Reilly Media, Inc., June 2007.
More details -
Software Engineering im Unterricht der Hochschulen
Andreas Zeller, Marcus Deininger (Ed.), dpunkt.verlag, February 2007.
More details -
Drawing Graphs within Graphs
Journal of Graph Algorithms and Applications, Pages 7-18, Volume 9, Number 1, October 2005.
More details -
Why Programs Fail: A Guide to Systematic Debugging
Morgan Kaufmann, October 2005.
More details -
Schwachstellensucher
iX -- Magazin f�r professionelle Informationstechnik, Pages 150-153, Volume 05, Number 09, August 2005.
More details -
Mining Version Histories to Guide Software Changes
IEEE Transactions on Software Engineering, Pages 429-445, Volume 31, Number 6, June 2005.
More details - Digital Library via DOI: 10.1109/TSE.2005.72 -
Integrated Development with Eclipse 3.0 - Essential Open Source Toolset
Andreas Zeller, Jens Krinke (Ed.), Essential Open Source Toolset: Programming with Eclipse, JUnit, CVS, Bugzilla, Ant, Tcl/Tk and More, Chapter Integrated Development with Eclipse 3.0, Pages 333-370, John Wiley & Sons, January 2005.
More details -
Essential Open Source Toolset
Wiley and Sons, January 2005.
More details -
Integrierte Entwicklung mit Eclipse - Open-Source-Programmierwerkzeuge
Andreas Zeller, Jens Krinke (Ed.), Second revised edition, Open-Source-Programmierwerkzeuge, Chapter Integrierte Entwicklung mit Eclipse, Pages 343-378, dpunkt.Verlag, December 2003.
More details -
Simplifying and Isolating Failure-Inducing Input
IEEE Transactions on Software Engineering, Pages 183-200, Volume 28, Number 2, February 2002.
More details - Download as PDF file. -
Automated Debugging: Are We Close?
IEEE Computer, Pages 26-31, November 2001.
More details - Download as PDF file. -
HLA Phenotype and Cytokine-Induced Tumor Control in Advanced Renal Cell Cancer
Cancer Biotherapy and Radiopharmaceuticals, Pages 401-409, Volume 16, Number 5, October 2001.
More details -
Datenstrukturen visualisieren und animieren mit DDD
Informatik - Forschung und Entwicklung, Pages 65-75, Volume 16, Number 2, June 2001.
More details - Download as PDF file. -
Programmierwerkzeuge
Dpunkt Verlag, Heidelberg, Germany, June 2000.
More details -
Formale Begriffsanalyse im Software Engineering
Gerhard Stumme, Bernhard Wille (Ed.), Begriffliche Wissensverarbeitung. Methoden und Anwendungen, Springer, January 1999.
More details - Download as PDF file. -
Unified Versioning Through Feature Logic
ACM Transactions on Software Engineering and Methodology, Pages 398-441, Volume 6, Number 4, ACM Press, New York, NY, USA, October 1997.
More details - Digital Library via DOI: 10.1145/261640.261654 - Local copy: Download as compressed PostScript file. -
Die inferenzbasierte Softwareentwicklungsumgebung NORA
Informatik - Forschung und Entwicklung, Pages 116-131, Volume 9, Number 3, August 1994.
More details - Download as compressed PostScript file. -
TacoFlow: optimizing SAT program verification using dataflow analysis
SoSyM: Software and Systems Modeling, Springer Berlin Heidelberg, 2014.
More details - Digital Library via DOI: 10.1007/s10270-014-0401-9
Conference Papers
-
Thread-Level Speculation with Kernel Support
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
July 2012.
More details - Download as PDF file. -
Isolating Failure Causes through Test Case Generation - ISSTA 2012
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
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
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
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
September 2011.
More details - Download as PDF file. -
Combining Search-based and Constraint-based Testing - ASE 2011
September 2011.
More details - Download as PDF file. -
EvoSuite: Automatic Test Suite Generation for Object-Oriented Software - ESEC/FSE 2011
September 2011.
More details - Download as PDF file. -
Network versus Code Metrics to Predict Defects: A Replication Study
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
September 2011.
More details - Download as PDF file. -
Generating Parameterized Unit Tests - ISSTA 2011
July 2011.
More details - Download as PDF file. -
Minimizing Reproduction of Software Failures - ISSTA 2011
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
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
July 2011.
More details -
Specifications for Free - NFM 2011
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
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
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
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
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
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
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
September 2010.
More details -
Generating Test Cases for Specification Mining - ISSTA 2010
July 2010.
More details - Download as PDF file. -
Automated fixing of programs with contracts - ISSTA 2010
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
July 2010.
More details - Download as PDF file. -
Learning from 6,000 projects: Lightweight cross-project anomaly detection - ISSTA 2010
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
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
December 2009.
More details -
Generating Fixes from Object Behavior Anomalies - ASE 2009
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
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
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
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
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
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
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
Proceedings of the 18th IEEE International Symposium on Software Reliability Engineering, November 2007.
More details -
Efficient unit test case minimization - ASE 2007
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
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
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
Proceedings of the 14th ACM Conference on Computer and Communications Security, October 2007.
More details -
Detecting object usage anomalies - ESEC/FSE 2007
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
Proceedings of the First International Symposium on Empirical Software Engineering and Measurement, September 2007.
More details -
Predicting Faults from Cached History - ICSE 2007
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
10th IEEE International Software Metrics Symposium (Late Break-in Papers), September 2004.
More details -
Mining Version Histories to Guide Software Changes - ICSE 2004
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
PREP 2004, April 2004.
More details - Download as PDF file. -
Declarative Composition of Stack Frames
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
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
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
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
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
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
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
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
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
Softwaretechnik '95, October 1995.
More details - Download as PDF file. -
A Unified Version Model for Configuration Management - SIGSOFT FSE 1995
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
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
Proc. Softwaretechnik '93, Pages 25-32, Gesellschaft f�r Informatik, August 1993.
More details - Download as compressed PostScript file.
Workshop Papers
-
Loop Invariants by Mutation, Dynamic Validation, and Static Checking - WING 2014
Contributions of the 5th International Workshop on Invariant Generation (WING 2014), July 2014.
More details -
Test Generation across Multiple Layers - SBST 2014
Proceedings of the 7th International Workshop on Search-Based Software Testing, Pages 1-4, ACM, June 2014.
More details - Digital Library via DOI: 10.1145/2593833.2593834 - Local copy: Download as PDF file. -
On Verifying Resource Contracts using Code Contracts - LAFM 2013
Nazareno Aguirre, Leila Ribeiro (Ed.), Pages 1-15, Electronic Proceedings in Theoretical Computer Science, Volume 139, Open Publishing Association, January 2014.
More details - Digital Library via DOI: 10.4204/EPTCS.139.1 - Local copy: Download as PDF file. -
The DynAlloy Visualizer - LAFM 2013
Nazareno Aguirre, Leila Ribeiro (Ed.), Pages 59-64, Electronic Proceedings in Theoretical Computer Science, Volume 139, Open Publishing Association, January 2014.
More details - Digital Library via DOI: 10.4204/EPTCS.139.6 - Local copy: Download as PDF file. -
The Impact of Tangled Code Changes - MSR 2013
Proceedings of the 10th International Workshop on Mining Software Repositories, Pages 121-130, May 2013.
More details - Download as PDF file. -
Muster der Softwaretechnik-Lehre
Tagungsband des 13. Workshops "Software Engineering im Unterricht der Hochschulen" 2013 (Vol. 956), Pages 101-102, February 2013.
More details - Download as PDF file. -
Sambamba: Runtime Adaptive Parallel Execution
Proc. 3rd International Workshop on Adaptive Self-Tuning Computing Systems (ADAPT), Chapter 7, January 2013.
More details - Digital Library via DOI: 10.1145/2484904.2484911 - Local copy: Download as PDF file. -
WebMate: Generating Test Cases for Web 2.0 - SWQD 2013
Software Quality. Increasing Value in Software and Systems Development, Pages 55-69, Springer, January 2013.
More details - Digital Library via DOI: 10.1007/978-3-642-35702-2_5 - Local copy: Download as PDF file. -
How Helpful Are Automated Debugging Tools? - USER 2012
USER '12: Proceedings of the first Workshop on User evaluation for Software Engineering Researchers, June 2012.
More details - Download as PDF file. -
WebMate: A Tool for Testing Web 2.0 Applications - JSTools 2012
JSTools '12 Proceedings of the Workshop on JavaScript Tools, Pages 11-15, ACM, New York, NY, USA, June 2012.
More details - Digital Library via DOI: 10.1145/2307720.2307722 - Local copy: Download as PDF file. -
Inferring Loop Invariants Dynamically - WINGS 2012
Contributions of the 4th International Workshop on Invariant Generation (WING 2012), June 2012.
More details - Download as PDF file. -
Assessing Modularity via Usage Changese - PASTE 2011
September 2011.
More details -
Understanding Failures Through Facts - ESEC/FSE 2011
ESEC/FSE '11: Proceedings of the 8th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, September 2011.
More details - Download as PDF file. -
Breeding High-Impact Mutations - Mutation 2011
Mutation '11: Proceedings of the 4th International Workshop on Mutation Analysis, March 2011.
More details - Download as PDF file. -
When does my program fail? - CSTVA 2011
CSTVA '11: Proceedings of the 3rd Workshop on Constraints in Software Testing, Verification, and Analysis, March 2011.
More details - Download as PDF file. -
Calibrated Mutation Testing - Mutation 2011
Mutation '11: Proceedings of the 4th International Workshop on Mutation Analysis, March 2011.
More details - Download as PDF file. -
Mining Trends of Library Usage - IWPSE-Evol 2009
WPSE-Evol '09: Proceedings of the joint international and annual ERCIM workshops on Principles of software evolution (IWPSE) and software evolution (Evol) workshops, Pages 57-62, ACM, New York, NY, USA, August 2009.
More details - Digital Library via DOI: 10.1145/1595808.1595821 - Local copy: Download as PDF file. -
Profiling Java Programs for Parallelism
Proc. 2nd International Workshop on Multi-Core Software Engineering (IWMSE), Pages 49-55, May 2009.
More details - Digital Library via DOI: 10.1109/IWMSE.2009.5071383 - Local copy: Download as PDF file. -
The Impact of Equivalent Mutants - Mutation 2009
Mutation '09: Proceedings of the 3rd International Workshop on Mutation Analysis, Pages 192-199, April 2009.
More details - Download as PDF file. -
Project-Specific Deletion Patterns - RSSE 2008
RSSE '08: Proceedings of the 2008 international workshop on Recommendation systems for software engineering, Pages 41-42, November 2008.
More details - Digital Library via DOI: 10.1145/1454247.1454262 -
Replaying and Isolating Failing Multi-Object Interactions - WODA 2008
WODA '08: Proceedings of the 2008 international workshop on dynamic analysis, Pages 71-77, ACM, New York, NY, USA, July 2008.
More details - Digital Library via DOI: 10.1145/1401827.1401842 - Local copy: Download as PDF file. -
Extracting Structural Information from Bug Reports - MSR 2008
MSR '08: Proceedings of the 5th International Workshop on Mining Software Repositories, May 2008.
More details - Download as PDF file. -
Mining Usage Expertise from Version Archives - MSR 2008
MSR '08: Proceedings of the Fifth International Workshop on Mining Software Repositories, May 2008.
More details - Download as PDF file. -
Quality of Bug Reports in Eclipse - eTX 2007
Proceedings of the 2007 OOPSLA Workshop on Eclipse Technology eXchange, ACM Press, New York, NY, USA, October 2007.
More details -
How Documentation Evolves Over Time - IWPSE 2007
Proceedings of the 9th International Workshop on Principles of Software Evolution, September 2007.
More details - Digital Library via DOI: 10.1145/1294948.1294952 - Local copy: Download as PDF file. -
Predicting Defects for Eclipse - Promise 2007
Proceedings of the Third International Workshop on Predictor Models in Software Engineering, May 2007.
More details - Download as PDF file. -
How Long will it Take to Fix This Bug? - MSR 2007
Harald Gall, Michele Lanza (Ed.), Proceedings of the Fourth International Workshop on Mining Software Repositories, May 2007.
More details - Download as PDF file. -
Mining Workspace Updates in CVS - MSR 2007
Harald Gall, Michele Lanza (Ed.), Proceedings of the Fourth International Workshop on Mining Software Repositories, May 2007.
More details - Download as PDF file. -
JINSI: Isolation fehlerrelevanter Interaktion in Produktivsystemen - WSR 2007
Proceedings of the 9th Workshop Software Reengineering, May 2007. Proceedings also appeared in Softwaretechnik-Trends (27:2), published by the Gesellschaft f�r Informatik (GI).
More details - Download as PDF file. -
Predicting Effort to fix Software Bugs - WSR 2007
Proceedings of the 9th Workshop Software Reengineering, May 2007. Proceedings also appeared in Softwaretechnik-Trends (27:2), published by the Gesellschaft f�r Informatik (GI).
More details -
HAM: Cross-Cutting Concerns in Eclipse - eTX 2006
Proceedings of the 2006 OOPSLA Workshop on Eclipse Technology eXchange, ACM Press, New York, NY, USA, October 2006.
More details - Download as PDF file. -
Fine-grained Processing of CVS Archives with APFEL - eTX 2006
Proceedings of the 2006 OOPSLA Workshop on Eclipse Technology eXchange, ACM Press, New York, NY, USA, October 2006.
More details - Download as PDF file. -
Knowledge Collaboration by Mining Software Repositories - KCSD 2006
Proceedings of the 2nd International Workshop on Supporting Knowledge Collaboration in Software Development, Pages 64-65, September 2006.
More details -
Taking Lessons from History (Doctoral Symposium) - ICSE 2006
Proceedings of the 28th International Conference on Software Engineering, Pages 1001-1004, May 2006.
More details -
Mining Version Archives for Co-changed Lines - MSR 2006
Proceedings of the Third International Workshop on Mining Software Repositories, Pages 72-75, May 2006.
More details -
How Design Predicts Failures - WSR 2006
Rainer Giminich, Volker Riediger, Andreas Winter (Ed.), Proceedings of the 8th Workshop Software Reengineering, May 2006. Proceedings also appeared in Softwaretechnik-Trends (26:2), published by the Gesellschaft f�r Informatik (GI).
More details -
Identifying Cross-Cutting Concerns from History - WSR 2006
Rainer Giminich, Volker Riediger, Andreas Winter (Ed.), Proceedings of the 8th Workshop Software Reengineering, May 2006. Proceedings also appeared in Softwaretechnik-Trends (26:2), published by the Gesellschaft f�r Informatik (GI).
More details -
Mining Eclipse for Cross-Cutting Concerns - MSR 2006
Stephan Diehl, Harald Gall, Martin Pinzger, Ahmed E. Hassan (Ed.), Proceedings of the Third International Workshop on Mining Software Repositories, Pages 94-97, May 2006.
More details - Download as PDF file. -
Mining Aspects from CVS Transactions using Concept Analysis - WSR 2006
Rainer Giminich, Volker Riediger, Andreas Winter (Ed.), Proceedings of the 8th Workshop Software Reengineering, May 2006. Proceedings also appeared in Softwaretechnik-Trends (26:2), published by the Gesellschaft f�r Informatik (GI).
More details - Download as PDF file. -
Detecting Software Theft with API Call Sequence Sets - WSR 2006
Rainer Giminich, Volker Riediger, Andreas Winter (Ed.), Proceedings of the 8th Workshop Software Reengineering, May 2006. Proceedings also appeared in Softwaretechnik-Trends (26:2), published by the Gesellschaft f�r Informatik (GI).
More details - Download as PDF file. -
TA-RE: An Exchange Language for Mining Software Repositories - MSR 2006
Proceedings of the Third International Workshop on Mining Software Repositories, Pages 22-25, May 2006.
More details -
Mining object behavior with ADABU - WODA 2006
WODA 2006: Proceedings of the 2006 international workshop on Dynamic systems analysis, Pages 17-24, ACM, New York, NY, May 2006.
More details - Digital Library via DOI: 10.1145/1138912.1138918 - Local copy: Download as PDF file. -
Identifying inspectors to mine models of object behavior - WSR 2006
Softwaretechnik-Trends, Volume 26, Number 2, May 2006. Presented at WSR 2006: 8. Workshop Software-Reengineering.
More details - Download as PDF file. -
Isolating Relevant Component Interactions with JINSI - WODA 2006
WODA '06: Proceedings of the 2006 international workshop on Dynamic systems analysis, Pages 3-10, ACM, New York, NY, USA, February 2006.
More details - Digital Library via DOI: 10.1145/1138912.1138915 - Local copy: Download as PDF file. -
Assessing Case Base Quality - UKCBR 2005
Miltos Petridis (Ed.), 10th UK Workshop on Case-based Reasoning, December 2005.
More details - Download as PDF file. -
Random Testing of C Calling Conventions
Jong Deok Choi, Raimondas Lencevicius (Ed.), Sixth International Symposium on Automated and Analysis-Driven Debugging (AADEBUG), Pages 3-11, ACM Press, September 2005.
More details - Download as PDF file. -
Lightweight Bug Localization with AMPLE (Demo Paper)
Jong Deok Choi, Raimondas Lencevicius (Ed.), Sixth International Symposium on Automated and Analysis-Driven Debugging (AADEBUG), Pages 99-103, ACM Press, September 2005.
More details - Download as PDF file. -
Learning from Project History to Support Programmers - GI Jahrestagung 2005
INFORMATIK 2005 - Informatik LIVE! Band 1, Beitr�ge der 35. Jahrestagung der Gesellschaft f�r Informatik e.V., Pages 387-390, Lecture Notes in Informatics, Volume 67, Springer, September 2005.
More details -
Evaluating a Lightweight Defect Localization Tool
Bill Pugh, Jim Larus (Ed.), PLDI Workshop on the Evaluation of Software Defect Detection Tools, June 2005. Proceedings only distributed at workshop; to appear.
More details - Download as PDF file. -
Locating Matching Method Calls by Mining Revision History Data - Bugs 2005
Bill Pugh, Jim Larus (Ed.), PLDI Workshop on the Evaluation of Software Defect Detection Tools, June 2005. Proceedings only distributed at workshop.
More details -
7th Workshop Software Reengineering: Lightweight Control-Flow Abstraction
Softwaretechnik-Trends, Pages 41-42, Volume 25, Number 2, Gesellschaft f�r Informatik, May 2005.
More details - Download as PDF file. -
When do Changes Induce Fixes? - MSR 2005
Proceedings of the Second International Workshop on Mining Software Repositories, Pages 24-28, May 2005.
More details - Digital Library via DOI: 10.1145/1083142.1083147 -
Don't Program on Fridays! How to Locate Fix-Inducing Changes - WSR 2005
Proceedings of the 7th Workshop Software Reengineering, May 2005. Proceedings also appeared in Softwaretechnik-Trends (25:2), published by the Gesellschaft f�r Informatik (GI).
More details -
Fast Data Mining For Programming Support - LWA 2004
LWA 2004: Lernen - Wissensentdeckung - Adaptivit�t, Berlin, 4. - 6. Oktober 2004, Workshopwoche der GI-Fachgruppen/Arbeitskreise (1) Fachgruppe Adaptivit�t und Benutzermodellierung in Interaktiven Softwaresystemen (ABIS 2004), (2) Arbeitskreis Knowledge Discovery (AKKD 2004), (3) Fachgruppe Maschinelles Lernen (FGML 2004), (4) Fachgruppe Wissens- und Erfahrungsmanagement (FGWM 2004), Pages 100-109, Humbold-Universit�t Berlin, October 2004.
More details -
Preprocessing CVS Data for Fine-grained Analysis - MSR 2004
Proceedings of the First International Workshop on Mining Software Repositories, Pages 2-6, May 2004.
More details -
Data Mining Version Histories - WSR 2004
Proceedings of the 6th Workshop Software Reengineering, May 2004. Proceedings also appeared in Softwaretechnik-Trends (24:2), published by the Gesellschaft f�r Informatik (GI).
More details -
Meta-data to Guide Retrieval in CBR for Software Cost Prediction - UKCBR 2003
Brian Lees (Ed.), 8th UK Workshop on Case-based Reasoning, Pages 26-37, December 2003.
More details - Download as PDF file. -
Automated debugging in Eclipse: (at the touch of not even a button) - eTX 2003
eclipse 03: Proceedings of the 2003 OOPSLA workshop on eclipse technology eXchange, Pages 1-5, ACM Press, New York, NY, USA, October 2003.
More details - Digital Library via DOI: 10.1145/965660.965661 - Local copy: Download as PDF file. -
Causes and Effects in Computer Programs - AADEBUG 2003
Proceedings of the 5th Intl. Workshop on Automated and Algorithmic Debugging (AADEBUG 2003), September 2003.
More details - Download as PDF file. -
How History Justifies System Architecture (or Not) - IWPSE 2003
Proceedings of the 6th International Workshop on Principles of Software Evolution, Pages 73-83, IEEE Computer Society, September 2003.
More details -
Program Analysis: A Hierarchy - WODA 2003
Proceedings of Workshop on Dynamic Analysis (WODA 2003), May 2003.
More details - Download as PDF file. -
Web-basierte Programmierpraktika mit Praktomat
Softwaretechnik-Trends, Volume 22, Number 3, October 2002.
More details - Download as PDF file. -
Visualizing Memory Graphs - Software Visualization 2001
Stephan Diehl (Ed.), Software Visualization, International Seminar Dagstuhl Castle, Germany, May 20-25, 2001, Revised Lectures, Pages 191-204, Lecture Notes in Computer Science, Volume 2269, Springer, May 2001.
More details -
Finding Failure Causes through Automated Testing - AADEBUG 2000
Proceedings of the Fourth International Workshop on Automated Debugging, August 2000.
More details - Download as PDF file. -
Animating data structures in DDD
Proc. SIGCSE/SIGCUE Program Visualization Workshop, July 2000.
More details -
Datenstrukturen visualisieren und animieren mit DDD
Proc. GI-Workshop: Softwarevisualisierung (SV 2000), May 2000.
More details - Download as PDF file. -
Software Configuration Management - State of the Art, State of the Practice - SCM 1999
Lecture Notes in Computer Science, Proceedings of the 9th International Workshop on Software Configuration Management (SCM-9), Pages 217-227, Volume 1675, Springer, Berlin, Germany, September 1999.
More details - Download as PDF file. -
Versioning System Models Through Description Logic - SCM 1998
Lecture Notes in Computer Science, B. Magnusson (Ed.), Proceedings of the 8th International Workshop on Software Configuration Management (SCM-8), Pages 127-132, Volume 1439, Springer, Berlin, Germany, July 1998.
More details -
Software Configuration with Feature Logic
DFKI Document D-96-04, Franz Baader, Hans-J�rgen B�rckert, Andreas G�nter, Werner Nutt (Ed.), Proceedings of the Workshop on Knowledge Representation and Configuration Problems, Pages 79-83, September 1996.
More details - Download as compressed PostScript file. -
Smooth Operations with Square Operators - The Version Set Model in ICE - SCM 1996
Lecture Notes in Computer Science, Ian Sommerville (Ed.), Proceedings of the 6th International Workshop on Software Configuration Management (SCM-6), Pages 8-30, Volume 1167, Springer, Berlin, Germany, March 1996.
More details - Download as compressed PostScript file. -
Concept-Based Component Retrieval
Jana Köhler, Fausto Giunchiglia, Cordell Green, Christoph Walther (Ed.), Working Notes of the IJCAI-95 Workshop: Formal Approaches to the Reuse of Plans, Proofs, and Programs, Pages 21-25, August 1995.
More details - Download as PDF file.
Theses
-
Replaying and Isolating Failure-Inducing Program Interactions
Saarland University, June 2011.
More details - Download as PDF file. -
Object Usage: Patterns and Anomalies
Saarland University, September 2010.
More details - Download as PDF file. -
Mining and Checking Object Behavior
Universit�t des Saarlandes, August 2010.
More details - Download as PDF file. -
Design and Implementation of an Efficient Dynamic Slicer for Java
Bachelor's Thesis, Saarland University, November 2008.
More details - Download as PDF file. -
Changes and Bugs - Mining and Predicting Development Activities
Saarland University, May 2008.
More details - Download as PDF file. -
Repeating the Past - Experimental and Empirical Methods in System and Software Security
Saarland University, February 2008.
More details - Download as PDF file. -
Locating Failure-Inducing Code Changes in an Industrial Environment
Saarland University, December 2005. Diploma Thesis.
More details - Download as PDF file. -
Statyczne sprawdzanie poprawności typowej programów napisanych w Pythonie
Wroclaw University, July 2005. Master's Thesis. (in Polish).
More details -
Mining Version Archives to Guide Software Changes
Universit�t Passau, June 2004. Diploma Thesis.
More details - Download as PDF file. -
Algorithmen zur Begriffsanalyse und ihre Anwendung bei Softwarebibliotheken
Technische Universit�t Braunschweig, November 1999.
More details - Download as PDF file. -
Configuration Management with Version Sets
Technische Universit�t Braunschweig, April 1997. PhD Thesis.
More details - Download as PDF file. -
Style - ein Typ-Checker f�r Scheme
Technische Universit�t Braunschweig, Institut f�r Programmiersprachen und Informationssysteme, Arbeitsgruppe Softwaretechnologie, September 1993. In German.
More details
Other Papers
-
Classifying Code Changes and Predicting Defects Using ChangeGenealogies
November 2013. Under submission for MSR2013.
More details - Download as PDF file. -
Mining Models - SPIN 2012
Proceedings of the 19th International Conference on Model Checking Software, Pages 23-23, Springer-Verlag, July 2012.
More details - Download as PDF file. -
EXSYST: Exploring Realistic Program Behavior (Technical Report)
March 2012. This is a preliminary version of a paper that is currently under submission to ISSTA 2012.
More details - Download as PDF file. -
Untangling Changes
September 2011. Under submission.
More details - Download as PDF file. -
Mining Precise Specifications - PSI 2011
Proceedings of the 8th International Andrei Ershov Memorial Conference, Pages 41-41, Springer Berlin Heidelberg, July 2011.
More details - Download as PDF file. -
Isolating General Failure Conditions - ICST 2011
ICST 2011, March 2011.
More details - Download as PDF file. -
Capturing the Long-Term Impact of Changes - DoctoralSymposium ICSE-2010
ICSE '10: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, Pages 393-396, ACM, New York, NY, USA, May 2010.
More details - Digital Library via DOI: 10.1145/1810295.1810401 - Local copy: Download as PDF file. -
Javalanche: Efficient mutation testing for Java - ESEC/FSE 2009 Demonstrations
ESEC/FSE '09: Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, Pages 297-298, August 2009.
More details - Digital Library via DOI: 10.1145/1595696.1595750 - Local copy: Download as PDF file. -
Mining operational preconditions
Saarland University, December 2008.
More details - Download as PDF file. -
Learning from Deletions - FSEDS 2008
FSEDS '08: Proceedings of the 2008 Foundations of Software Engineering Doctoral Symposium, Pages 17-20, November 2008.
More details - Digital Library via DOI: 10.1145/1496653.1496658 -
What Makes a Good Bug Report? (Revision 1.1) - Technical Report
Universit�t des Saarlandes, Saarbr�cken, Germany, March 2008.
More details - Download as PDF file. -
What Makes a Good Bug Report? - Technical Report
Universit�t des Saarlandes, Saarbr�cken, Germany, September 2007. This technical report is superceded by a more recent revision. Please cite revision 1.1 of this report.
More details - Download as PDF file. -
Mining Patterns and Violations using Concept Analysis
Universit�t des Saarlandes, Saarbr�cken, Germany, June 2007. Unpublished manuscript..
More details - Download as PDF file. -
Automatic Extraction of Bug Localization Benchmarks from History - Technical Report
Universit�t des Saarlandes, Saarbr�cken, Germany, June 2007. Accepted at ASE 2007. Please cite the conference paper..
More details - Download as PDF file. -
Mining object usage models - ICSE 2007
ICSE COMPANION 2007: Companion to the Proceedings of the 29th International Conference on Software Engineering, Pages 93-94, IEEE Computer Society, Los Alamitos, CA, May 2007.
More details - Digital Library via DOI: 10.1109/ICSECOMPANION.2007.49 -
Predicting Vulnerable Software Components - Technical Report
Universit�t des Saarlandes, Saarbr�cken, Germany, February 2007. Accepted at ACM CCS 2007. Please cite the conference paper..
More details - Download as PDF file. -
Aspect Mining for Large Systems (Tool Demonstration) - OOPSLA Companion 2006
Companion to the 21st Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, ACM, New York, NY, USA, October 2006.
More details - Download as PDF file. -
Aspect Mining for Large Systems (Poster) - OOPSLA Companion 2006
Companion to the 21st Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, ACM, New York, NY, USA, October 2006.
More details - Download as PDF file. -
If Your Bug Database Could Talk... (Short Paper) - ISESE 2006: Short Papers and Posters
Proceedings of the 5th International Symposium on Empirical Software Engineering. Volume II: Short Papers and Posters, Pages 18-20, September 2006.
More details - Download as PDF file. -
The Landscape of Concurrent Development
Universit�t des Saarlandes, Saarbr�cken, Germany, August 2006. Unpublished manuscript..
More details - Download as PDF file. -
Mining Additions of Method Calls in ArgoUML (Mining Challenge) - MSR 2006
Stephan Diehl, Harald Gall, Martin Pinzger, Ahmed E. Hassan (Ed.), Proceedings of the Third International Workshop on Mining Software Repositories, Pages 169-170, May 2006.
More details - Digital Library via DOI: 10.1145/1137983.1138025 - Local copy: Download as PDF file. -
Automated debugging in Eclipse - OOPSLA 2005 Demonstrations
OOPSLA 05: Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, Pages 184-185, ACM Press, New York, NY, USA, October 2005.
More details - Download as PDF file. -
eROSE: Guiding Programmers in Eclipse (Tool Demonstration) - OOPSLA Companion 2005
Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005, Pages 186-187, ACM, New York, NY, USA, October 2005.
More details - Digital Library via DOI: 10.1145/1094855.1094927 -
HATARI: Raising Risk Awareness (Research Demonstration) - ESEC/SIGSOFT FSE 2005
Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, Pages 107-110, ACM, September 2005.
More details - Digital Library via DOI: 10.1145/1081706.1081725 - Local copy: Download as PDF file. -
The C-- Language Specification Version 2.0
January 2005.
More details - Download as PDF file. -
Visual Debugging
McGraw-Hill Encyclopedia of Science & Technology, January 2002.
More details -
Visual Debugging with DDD
Dr. Dobb's Journal, Pages 21-28, Volume 322, March 2001.
More details -
Funktionell und verst�ndlich programmieren - so lernen es die Passauer
Softwaretechnik-Trends, August 1999.
More details - Download as PDF file. -
DDD - A Free Graphical Front-End for UNIX Debuggers
ACM SIGPLAN Notices, Pages 22-27, Volume 31, January 1996.
More details - Digital Library via DOI: 10.1145/249094.249108 - Local copy: Download as compressed PostScript file.