@inproceedings{DBLP:conf/kbse/SchmidtNF17,
  author    = {Lukas Schmidt and
               Apurva Narayan and
               Sebastian Fischmeister},
  editor    = {Grigore Rosu and
               Massimiliano Di Penta and
               Tien N. Nguyen},
  title     = {{TREM:} a tool for mining timed regular specifications from system
               traces},
  booktitle = {Proceedings of the 32nd {IEEE/ACM} International Conference on Automated
               Software Engineering, {ASE} 2017, Urbana, IL, USA, October 30 - November
               03, 2017},
  pages     = {901--906},
  publisher = {{IEEE} Computer Society},
  year      = {2017},
  url       = {https://doi.org/10.1109/ASE.2017.8115702},
  doi       = {10.1109/ASE.2017.8115702},
  timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl    = {https://dblp.org/rec/conf/kbse/SchmidtNF17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"DuiNESCts9WLmrK7R","bibbaseid":"schmidt-narayan-fischmeister-trematoolforminingtimedregularspecificationsfromsystemtraces-2017","authorIDs":[],"author_short":["Schmidt, L.","Narayan, A.","Fischmeister, S."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Lukas"],"propositions":[],"lastnames":["Schmidt"],"suffixes":[]},{"firstnames":["Apurva"],"propositions":[],"lastnames":["Narayan"],"suffixes":[]},{"firstnames":["Sebastian"],"propositions":[],"lastnames":["Fischmeister"],"suffixes":[]}],"editor":[{"firstnames":["Grigore"],"propositions":[],"lastnames":["Rosu"],"suffixes":[]},{"firstnames":["Massimiliano","Di"],"propositions":[],"lastnames":["Penta"],"suffixes":[]},{"firstnames":["Tien","N."],"propositions":[],"lastnames":["Nguyen"],"suffixes":[]}],"title":"TREM: a tool for mining timed regular specifications from system traces","booktitle":"Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, ASE 2017, Urbana, IL, USA, October 30 - November 03, 2017","pages":"901–906","publisher":"IEEE Computer Society","year":"2017","url":"https://doi.org/10.1109/ASE.2017.8115702","doi":"10.1109/ASE.2017.8115702","timestamp":"Wed, 16 Oct 2019 14:14:55 +0200","biburl":"https://dblp.org/rec/conf/kbse/SchmidtNF17.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/kbse/SchmidtNF17,\n author = {Lukas Schmidt and\n Apurva Narayan and\n Sebastian Fischmeister},\n editor = {Grigore Rosu and\n Massimiliano Di Penta and\n Tien N. Nguyen},\n title = {{TREM:} a tool for mining timed regular specifications from system\n traces},\n booktitle = {Proceedings of the 32nd {IEEE/ACM} International Conference on Automated\n Software Engineering, {ASE} 2017, Urbana, IL, USA, October 30 - November\n 03, 2017},\n pages = {901--906},\n publisher = {{IEEE} Computer Society},\n year = {2017},\n url = {https://doi.org/10.1109/ASE.2017.8115702},\n doi = {10.1109/ASE.2017.8115702},\n timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},\n biburl = {https://dblp.org/rec/conf/kbse/SchmidtNF17.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Schmidt, L.","Narayan, A.","Fischmeister, S."],"editor_short":["Rosu, G.","Penta, M. D.","Nguyen, T. N."],"key":"DBLP:conf/kbse/SchmidtNF17","id":"DBLP:conf/kbse/SchmidtNF17","bibbaseid":"schmidt-narayan-fischmeister-trematoolforminingtimedregularspecificationsfromsystemtraces-2017","role":"author","urls":{"Paper":"https://doi.org/10.1109/ASE.2017.8115702"},"downloads":0},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/86/4974.bib","creationDate":"2020-02-20T07:22:57.389Z","downloads":0,"keywords":[],"search_terms":["trem","tool","mining","timed","regular","specifications","system","traces","schmidt","narayan","fischmeister"],"title":"TREM: a tool for mining timed regular specifications from system traces","year":2017,"dataSources":["3TfyvEoQmyZDFiAM9"]}