Have We Seen Enough Traces? (T)


Dynamic specification mining extracts candidate specifications from logs of execution traces. Existing algorithms differ in the kinds of traces they take as input and in the kinds of candidate specification they present as output. One challenge common to all approaches relates to the faithfulness of the mining results: how can we be confident that the… (More)
DOI: 10.1109/ASE.2015.62


5 Figures and Tables

Cite this paper

@article{Cohen2015HaveWS, title={Have We Seen Enough Traces? (T)}, author={Hila Cohen and Shahar Maoz}, journal={2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE)}, year={2015}, pages={93-103} }