TREM: A Tool for Mining Timed Regular Specifications from System Traces
| Title | TREM: A Tool for Mining Timed Regular Specifications from System Traces |
|---|---|
| Author | |
| 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. |
| Year of Publication |
2017
|
| Conference Name |
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering
|
| Conference Location |
Urbana-Champaign, USA
|
| Download citation |