EMPRESS: Extracting and Mining of Probabilistic Event Structures


The field of specification mining aims at extracting and reconstructing models from existing software systems - models that would be precise enough to serve as specifications. Most of the current approaches abstract software behaviour through models concisely representing all of the valid sequences of events that may happen during execution. However, we do not see how likely such sequences are. In EMPRESS, we want to extract probabilistic models in which transitions between events are labelled with probabilities: ``After open(), 99 % of executions are followed by read(), whereas 1 % end up in an exception.'' Such probabilistic models will increase the accuracy and effectiveness of several software engineering activities: In runtime monitoring and debugging, such models uncover anomalies during execution that predict and diagnose faulty behaviours. In software testing, probabilistic models allow to focus on likely behaviour, where defects will have the greatest impact, as well as unlikely behaviour, where yet undiscovered defects may loom. Finally, in security and reliability, probabilistic models capture deviations from normal behaviour, unveiling faulty and malicious behaviours. The central research challenges will be (1.) to efficiently extract accurate probabilistic models from software systems, and (2.) to find the appropriate abstraction levels for the targeted software engineering activities.


Principal Investigators
Grunske, Lars Prof. Dr. (Details) (Software Engineering)

Duration of Project
Start date: 10/2016
End date: 04/2020

Research Areas
Software Engineering and Programming Languages

Research Areas
Informatik, Softwareengineering

Publications
[3] Yannic Noller, Hoang Lam Nguyen, Minxing Tang, Timo Kehrer, Lars Grunske: Complete Shadow Symbolic Execution with Java PathFinder. ACM SIGSOFT Software Engineering Notes 44(4): 15-16 (2019)

[2] Sergey Mechtaev, Manh-Dung Nguyen, Yannic Noller, Lars Grunske, Abhik Roychoudhury: Semantic program repair using a reference implementation. ICSE 2018: 129-139

[1] Esteban Pavese, Ezekiel O. Soremekun, Nikolas Havrikov, Lars Grunske, Andreas Zeller: Inputs from Hell: Generating Uncommon Inputs from Common Samples. CoRR abs/1812.07525 (2018)

Last updated on 2021-21-01 at 12:03