Valentin Dallmeier, Nikolai Knopp, Christoph Mallon, Gordon Fraser, Sebastian Hack, Andreas Zeller. Automatically Generating Test Cases for Specification Mining. IEEE Trans. Software Eng., 38(2):243-257, 2012. [doi]
@article{DallmeierKMFHZ12, title = {Automatically Generating Test Cases for Specification Mining}, author = {Valentin Dallmeier and Nikolai Knopp and Christoph Mallon and Gordon Fraser and Sebastian Hack and Andreas Zeller}, year = {2012}, doi = {10.1109/TSE.2011.105}, url = {http://doi.ieeecomputersociety.org/10.1109/TSE.2011.105}, researchr = {https://researchr.org/publication/DallmeierKMFHZ12}, cites = {0}, citedby = {0}, journal = {IEEE Trans. Software Eng.}, volume = {38}, number = {2}, pages = {243-257}, }