Ground-truth models used in the ASE 2015 SpecForge paper
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
execution_traces
ground_truth
ivokrka_traces
README.md

README.md

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 btdle.2012@smu.edu.sg. We are willing to answer your questions :-)