Dipl.-Inform. Andreas Thies

Projekte

• CLaRe: Cross-Language Refactoring: Grundlagen constraintbasierter, sprachübergreifender Refaktorisierung

• Refactoring Tool Tester (RTT): ein Test-Framework für die Entwicklung von Refaktorisierungswerkzeugen in Eclipse, das ein zu testendes Refaktorisierungswerkzeug auf alle möglichen Programmelemente eines Testprojekts anwendet und nach jeder Anwendung mittels vorhandener Testfälle prüft, ob das Programm immer noch dieselbe Bedeutung hat

• Type Constraint Inverter (TCI): eine Testumgebung für JUnit-Tests. Durch Invertierung von Typ-Constraint werden Codeänderungen ("Mutanten") erzeugt, die das Programmverhalten mit hoher Wahrscheinlichkeit ändern. Erkennen JUnit-Tests diese Verhaltensänderung nicht, können Rückschlüsse auf mangelnde Testabdeckung gezogen werden.

• Infer Name: ein Werkzeug zur Analyse des konsistenten Gebrauchs von Variablennamen in Zuweisungsketten unter Berücksichtigung der Typen der Variablen

Betreute Arbeiten

Abschlussarbeiten

• Stefan Csomor: Ein Eclipse-Plugin zum Testen von Refaktorisierungswerkzeugen mittels Quelltext-Annotationen, in Bearbeitung, 2012
• Sarah Frenkel: Implementierung einer Zurückschreibekomponente für Constraintbasierte Refaktorisierungen, in Bearbeitung, 2012
• Markus Grothoff: Mutation Testing mit Refacola, in Bearbeitung, 2012
• Mirko Wagner: Sprachübergreifendes Java-XML-Refaktorisieren mit Refacola, in Bearbeitung, 2012
• Antje Osten: Sprachübergreifendes Refaktorisieren zwischen Ruby und Java, in Bearbeitung, 2012
• Gabriel Wetzler: Faktenextration aus Java-Bytecode für Refaktorisierungswerkzeuge, abgeschlossen, 2011
• Sebastian Lohmeier: New anaphora for the Java programming language, abgeschlossen, 2011
• Matthias Kleine: Repräsentation von Java-Fakten für den constraintbasierten Refaktorisierungsansatz mit Hilfe von T-Graphen, abgeschlossen, 2011
• Marius Kreis: Systematisches Testen von Constraintregeln, abgeschlossen, 2011
• Anastasia Pasenkova: Dead Code Detection durch Zugreifbarkeitsconstraints, abgeschlossen, 2010
• Robert Bär: Mutantengenerierung durch Typ-Constraints, abgeschlossen, 2010
• Christian Roth: Entwicklung eines Eclipse Plugin zur Optimierung von Variablenbezeichnern in Java-Quelltexten, abgeschlossen, 2009

Publikationen

Monographien

1. Andreas Thies: Überdeckungen durch Bewegung eines Liniensegments, Diplomarbeit (Rheinische Friedrich-Wilhelms-Universität Bonn, 2008)

Konferenzbandbeiträge

1. Friedrich Steimann; Andreas Thies: "From behaviour preservation to behaviour modification: Constraint-based mutant generation", in Proceedings of ICSE (2010) 425–434.

Konferenzen und Workshops

1. Andreas Thies; Christian Roth: Recommending Rename Refactorings, in 2nd International Workshop on Recommendation Systems for Software Engineering (RSSE) @ ICSE (2010) 1-5
2. Friedrich Steimann; Andreas Thies: From Public to Private to Absent: Refactoring Java Programs under Constrained Accessibility , in ECOOP 2009 419-443.