|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|
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.