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
Publications
|
Number of items: 21. 2020Glanz, Leonid ; Müller, Patrick ; Baumgärtner, Lars ; Reif, Michael ; Amann, Sven ; Anthonysamy, Pauline ; Mezini, Mira (2020): 2019Amann, Sven ; Nguyen, Hoan Anh ; Nadi, Sarah ; Nguyen, Tien N. ; Mezini, Mira (2019): 2018Amann, Sven (2018): Glanz, Leonid ; Amann, Sven ; Eichberg, Michael ; Reif, Michael ; Mezini, Mira Tichy, Matthias ; Bodden, Eric ; Kuhrmann, Marco ; Wagner, Stefan ; Steghöfer, Jan-Philipp (Hrsg.) (2018): Amann, Sven ; Nguyen, Hoan Anh ; Nadi, Sarah ; Nguyen, Tien ; Mezini, Mira (2018): 2017Beller, Moritz ; Gousios, Georgius ; Panichella, Annibale ; Proksch, Sebastian ; Amann, Sven ; Zaidman, Andy (2017): Glanz, Leonid ; Amann, Sven ; Eichberg, Michael ; Reif, Michael ; Hermann, Ben ; Lerch, Johannes ; Mezini, Mira (2017): Proksch, Sebastian ; Nadi, Sarah ; Amann, Sven ; Mezini, Mira (2017): Salvaneschi, Guido ; Proksch, Sebastian ; Amann, Sven ; Nadi, Sarah ; Mezini, Mira (2017): 2016Proksch, Sebastian ; Amann, Sven ; Nadi, Sarah ; Mezini, Mira (2016): Amann, Sven ; Proksch, Sebastian ; Nadi, Sarah (2016): Amann, Sven ; Nadi, Sarah ; Nguyen, Hoan A. ; Nguyen, Tien N. ; Mezini, Mira (2016): Proksch, Sebastian ; Amann, Sven ; Nadi, Sarah ; Mezini, Mira (2016): Amann, Sven ; Proksch, Sebastian ; Nadi, Sarah ; Mezini, Mira (2016): 2015Amann, Sven ; Beyer, Stefanie ; Kevic, Katja ; Gall, Harald Meyer, Bertrand ; Nordio, Martin (Hrsg.) (2015): 2014Proksch, Sebastian ; Amann, Sven ; Mezini, Mira (2014): Amann, Sven ; Proksch, Sebastian ; Mezini, Mira (2014): Salvaneschi, Guido ; Amann, Sven ; Proksch, Sebastian ; Mezini, Mira (2014): 2013Amann, Sven (2013): 2009Amann, Sven (2009): Amann, Sven (2009): |