Looking for motivated students (undergrads and grads) interested in working on embedded software and systems research. Mail Sebastian Fischmeister for further information.
Title | TREM: A Tool for Mining Timed Regular Specifications from System Traces |
Publication Type | Conference Paper |
Year of Publication | 2017 |
Authors | Schmidt, L., A. Narayan, and S. Fischmeister |
Conference Name | Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering |
Conference Location | Urbana-Champaign, USA |
Abstract | Software specifications are useful for software vali- dation, model checking, runtime verification, debugging, monitoring, etc. In context of safety-critical real-time systems, temporal properties play an important role. However, temporal properties are rarely present due to the complexity and evolutionary nature of software systems. |
Refereed Designation | Refereed |