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