Sven Amann

Sven Amann

My research interest are tools that help software developers to become more efficient and, at the same time, increase software quality. I did research in this area during my time as PhD student at the Software Technology Group, from May 2013 until September 2018, and I continue on this journey as a software quality consultant at CQSE GmbH, since October 2018.

Find out more about me and my work on sven-amann.de.

Projects

Since about 2005, much research was dedicated API-misuse detection, i.e., to the automated discovery of incorrect API usages, using machine-learned specifications of correct usage. Unfortunately, evalations in the field have been conducted on varying datasets and with quite different settings, such that the empirical results on individual tools is hardly comparable. Therefore, we develop MUBench, a standardized and automated benchmarking infrastructure for static API-misuse detectors.

I'm project lead of the Eko project. The project was part of the Software Campus, a program funded by the German government that supports young researchers and brings academia and industry together, from 2015 to 2017. We cooperated with DHL IT Services to develop our API-misuse detector MUDetect. MUDetect mines usage patterns from existing software code and detects violations in code under development. Since 2017, the project is continued at the STG.

Mining API-usage patterns is the foundation of many research approaches for next-generation assistance tools, like code recommenders or code-anomaly detectors. The quality of the detected patterns is crucial for the performance of these tools. In joint work with Dr. Tien N. Nguyen and Dr. Hoan A. Nguyen from Iowa State University and Dr. Sarah Nadi from the University of Alberta, I search for ways to improve state-of-the-art pattern mining and to automate the evaluation of alternative concepts.

From 2013 to 2017, I was member of the KaVE project. The project was part of the Software Campus, a program funded by the German government that supports young researchers and brings academia and industry together, from 2013 to 2015. We cooperated with DATEV to develop a recommender system for Visual Studio/C#. The goal of the project is to enrich statically-mined code-recommendation models with feedback provided by experts. The project is led by Sebastian Proksch.

A major challenge in our field of research is to create reproducible results. One requirement is to use reusable date sets for the evaluation, however, this is often not the case. I have analyzed this problem in a recent paper together with Sebastian Proksch. We proposed the idea of a data repository for reusable and extensible datasets. We plan to continue this idea. Please get in contact with us if you are interested in a cooperation or to provide feedback.

The idea behind “ML4Bugs” is to combine static analysis and machine learning to find bugs in software systems. With this approach, it is significantly easier to create new bug finders than to write a dedicated “bug detection” analysis. At the same time, predictions are much more precise about the location and the kind of bug than in classical “defect prediction”. This is joint work with Johannes Lerch, Michael Eichberg, Ervina Cergani, and Sebastian Proksch.

Contact

Teaching

Term Courses
Winter 2017/18
Winter 2016/17
Summer 2016
Winter 2015/16
Summer 2015
Winter 2014/15
Winter 2013/14
Summer 2013

Publications

Exportieren als [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item type | No grouping
Jump to: 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2009
Number of items: 19.

2018

Amann, Sven (2018):
A Systematic Approach to Benchmark and Improve Automated Static Detection of Java-API Misuses.
Darmstadt, Technische Universität, [Online-Edition: http://tuprints.ulb.tu-darmstadt.de/7422],
[PhD thesis]

Glanz, Leonid ; Amann, Sven ; Eichberg, Michael ; Reif, Michael ; Mezini, Mira
Tichy, Matthias ; Bodden, Eric ; Kuhrmann, Marco ; Wagner, Stefan ; Steghöfer, Jan-Philipp (Hrsg.) (2018):
CodeMatch: Obfuscation Won't Conceal Your Repackaged App.
In: Software Engineering und Software Management 2018, Gesellschaft für Informatik, S. 117-118, [Book section]

Amann, Sven ; Nguyen, Hoan Anh ; Nadi, Sarah ; Nguyen, Tien ; Mezini, Mira (2018):
A Systematic Evaluation of API-Misuse Detectors.
In: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, [Article]

2017

Beller, Moritz ; Gousios, Georgius ; Panichella, Annibale ; Proksch, Sebastian ; Amann, Sven ; Zaidman, Andy (2017):
Developer Testing in the IDE: Patterns, Beliefs, and Behavior.
In: IEEE Transactions on Software Engineering, DOI: 10.1109/TSE.2017.2776152,
[Article]

Glanz, Leonid ; Amann, Sven ; Eichberg, Michael ; Reif, Michael ; Hermann, Ben ; Lerch, Johannes ; Mezini, Mira (2017):
CodeMatch: Obfuscation Won’t Conceal Your Repackaged App.
In: Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, Paderborn, Germany, In: Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ISBN 978-1-4503-5105-8,
DOI: 10.1145/3106237.3106305,
[Online-Edition: http://dl.acm.org/citation.cfm?id=3106305],
[Conference item]

Proksch, Sebastian ; Nadi, Sarah ; Amann, Sven ; Mezini, Mira (2017):
Enriching In-IDE Process Information with Fine-Grained Source Code History.
In: International Conference on Software Analysis, Evolution, and Reengineering, Klagenfurt, Austria, 21-24 Feb 2017, [Conference item]

Salvaneschi, Guido ; Proksch, Sebastian ; Amann, Sven ; Nadi, Sarah ; Mezini, Mira (2017):
On the Positive Effect of Reactive Programming on Software Comprehension: An Empirical Study.
IEEE, ISSN 1939-3520,
[Online-Edition: http://ieeexplore.ieee.org/document/7827078/],
[Zeitschriftenheft, -band oder -jahrgang]

2016

Proksch, Sebastian ; Amann, Sven ; Nadi, Sarah ; Mezini, Mira (2016):
Evaluating the Evaluations of Code Recommender Systems: A Reality Check.
In: International Conference on Automated Software Engineering, IEEE/ACM, S. 111-121, ISSN 978-1-4503-3845-5,
[Online-Edition: http://doi.acm.org/10.1145/2970276.2970330],
[Article]

Amann, Sven ; Proksch, Sebastian ; Nadi, Sarah (2016):
FeedBaG: An Interaction Tracker for Visual Studio.
In: Proceedings of the 24th International Conference on Program Comprehension, In: International Conference on Program Comprehension, Austin, Texas, USA, May 16–17, 2016, In: ICPC, [Online-Edition: http://sven-amann.de/publications/feedbag.pdf],
[Conference item]

Amann, Sven ; Nadi, Sarah ; Nguyen, Hoan A. ; Nguyen, Tien N. ; Mezini, Mira (2016):
MUBench: A Benchmark for API-Misuse Detectors.
In: Proceedings of the 13th International Conference on Mining Software Repositories, In: 13th International Conference on Mining Software Repositories, Austin, Texas, USA, May 14–15, 2016, In: MSR'16, [Conference item]

Proksch, Sebastian ; Amann, Sven ; Nadi, Sarah ; Mezini, Mira (2016):
A Dataset of Simplified Syntax Trees for C#.
In: Proceedings of the 13th International Conference on Mining Software Repositories, In: 13th International Conference on Mining Software Repositories, Austin, Texas, USA, May 14–15, 2016, In: MSR'16, [Online-Edition: http://doi.acm.org/10.1145/2901739.2903507],
[Conference item]

Amann, Sven ; Proksch, Sebastian ; Nadi, Sarah ; Mezini, Mira (2016):
A Study of Visual Studio Usage in Practice.
In: 23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering, Osaka, Japan, 14-18 March 2016, In: SANER '16, [Online-Edition: http://dx.doi.org/10.1109/SANER.2016.39],
[Conference item]

2015

Amann, Sven ; Beyer, Stefanie ; Kevic, Katja ; Gall, Harald
Meyer, Bertrand ; Nordio, Martin (Hrsg.) (2015):
Software Mining Studies: Goals, Approaches, Artifacts, and Replicability.
In: Advances in the theory and practice of software engineering - LASER 2013-2014, Springer, S. 121-159, [Book section]

2014

Proksch, Sebastian ; Amann, Sven ; Mezini, Mira (2014):
Towards Standardized Evaluation of Developer-Assistance Tools.
In: Proceedings of the 4th International Workshop on Recommendation Systems for Software Engineering - RSSE 2014, [Online-Edition: http://dx.doi.org/10.1145/2593822.2593827],
[Conference item]

Amann, Sven ; Proksch, Sebastian ; Mezini, Mira (2014):
Method-Call Recommendations from Implicit Developer Feedback.
In: Proceedings of the 1st International Workshop on CrowdSourcing in Software Engineering - CSI-SE 2014, [Online-Edition: http://dx.doi.org/10.1145/2593728.2593730],
[Conference item]

Salvaneschi, Guido ; Amann, Sven ; Proksch, Sebastian ; Mezini, Mira (2014):
An empirical study on program comprehension with reactive programming.
In: Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2014, [Online-Edition: http://dx.doi.org/10.1145/2635868.2635895],
[Conference item]

2013

Amann, Sven (2013):
Code Completion Based on Implicit User Feedback.
Technische Universität Darmstadt, [Master thesis]

2009

Amann, Sven (2009):
Spezifikation und Codegenerierung von Sicherheitsautomaten.
TU Darmstadt, [Bachelor thesis]

Amann, Sven (2009):
Spezifikation und Codegenerierung von Sicherheitsautomaten.
[Other]

This list was generated on Mon Jul 22 05:13:11 2019 CEST.