@article{dallmeier_automatically_2012,
	title = {Automatically {Generating} {Test} {Cases} for {Specification} {Mining}},
	volume = {38},
	number = {2},
	journal = {Software Engineering, IEEE Transactions on},
	author = {Dallmeier, V. and Knopp, N. and Mallon, C. and Fraser, G. and Hack, S. and Zeller, A.},
	year = {2012},
	keywords = {Android ecosystem},
	pages = {243--257},
}

{"_id":"oZyKXHipW9BEeY8yK","bibbaseid":"dallmeier-knopp-mallon-fraser-hack-zeller-automaticallygeneratingtestcasesforspecificationmining-2012","author_short":["Dallmeier, V.","Knopp, N.","Mallon, C.","Fraser, G.","Hack, S.","Zeller, A."],"bibdata":{"bibtype":"article","type":"article","title":"Automatically Generating Test Cases for Specification Mining","volume":"38","number":"2","journal":"Software Engineering, IEEE Transactions on","author":[{"propositions":[],"lastnames":["Dallmeier"],"firstnames":["V."],"suffixes":[]},{"propositions":[],"lastnames":["Knopp"],"firstnames":["N."],"suffixes":[]},{"propositions":[],"lastnames":["Mallon"],"firstnames":["C."],"suffixes":[]},{"propositions":[],"lastnames":["Fraser"],"firstnames":["G."],"suffixes":[]},{"propositions":[],"lastnames":["Hack"],"firstnames":["S."],"suffixes":[]},{"propositions":[],"lastnames":["Zeller"],"firstnames":["A."],"suffixes":[]}],"year":"2012","keywords":"Android ecosystem","pages":"243–257","bibtex":"@article{dallmeier_automatically_2012,\n\ttitle = {Automatically {Generating} {Test} {Cases} for {Specification} {Mining}},\n\tvolume = {38},\n\tnumber = {2},\n\tjournal = {Software Engineering, IEEE Transactions on},\n\tauthor = {Dallmeier, V. and Knopp, N. and Mallon, C. and Fraser, G. and Hack, S. and Zeller, A.},\n\tyear = {2012},\n\tkeywords = {Android ecosystem},\n\tpages = {243--257},\n}\n\n","author_short":["Dallmeier, V.","Knopp, N.","Mallon, C.","Fraser, G.","Hack, S.","Zeller, A."],"key":"dallmeier_automatically_2012","id":"dallmeier_automatically_2012","bibbaseid":"dallmeier-knopp-mallon-fraser-hack-zeller-automaticallygeneratingtestcasesforspecificationmining-2012","role":"author","urls":{},"keyword":["Android ecosystem"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://bibbase.org/zotero/kpmoran","dataSources":["EJbQZ5DryKAnqjJXj"],"keywords":["android ecosystem"],"search_terms":["automatically","generating","test","cases","specification","mining","dallmeier","knopp","mallon","fraser","hack","zeller"],"title":"Automatically Generating Test Cases for Specification Mining","year":2012}