Log Completeness Applications in Specification Mining

Log Completeness Applications in Specification Mining

H. Cohen and S. Maoz, The Confidence in our k-Tails
in Proc. of the 29th IEEE/ACM Int. Conf. on Automated Software Engineering (ASE'14)
[pdf]

Supporting materials:

CVS client logs

H. Cohen and S. Maoz, Have We Seen Enough Traces?
in Proc. of the 30th IEEE/ACM Int. Conf. on Automated Software Engineering (ASE'15)
[pdf]

Supporting materials:

Shopping cart logs Example 1
CrossFTP server logs Example 2
ZipOutputStream model and log Running example
Evaluation models
Evaluation models documentation [pdf]
Evaluation results
Expectation and convergence of log confidence [pdf]
Log completeness framework binaries + evaluation source code