@inproceedings{47,
  author = {Lukas Schmidt and Apurva Narayan and Sebastian Fischmeister},
  title = {TREM: A Tool for Mining Timed Regular Specifications from System Traces},
  abstract = {<p>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.</p>
},
  year = {2017},
  journal = {Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering},
  address = {Urbana-Champaign, USA},
}