Skip to content

Latest commit

 

History

History
25 lines (19 loc) · 1.36 KB

README.md

File metadata and controls

25 lines (19 loc) · 1.36 KB
Raw

SpecForge

This repository contains ground-truth models used in the ASE 2015 SpecForge paper:

Tien-Duy B. Le, Xuan-Bach D. Le, David Lo, and Ivan Beschastnikh. Synergizing Specification Miners through Model Fissions and Fusions, in Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering (ASE 2015), Lincoln, USA. slides

Dataset

Input FSMs [.7z]

Extracted Temporal Rules [.7z]

Output SpecForge's models [.7z]

Bibtex

@inproceedings{specforge,
  title={Synergizing Specification Miners through Model Fissions and Fusions},
  author={Le, Tien-Duy B and Le, Xuan-Bach D and Lo, David and Beschastnikh, Ivan},
  booktitle={Proceedings of the 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE)},
  pages={115--125},
  year={2015},
  organization={IEEE Computer Society}
}

*If you have a specific query on our dataset/implementations, please kindly send email to [email protected]. We are willing to answer your questions :-)