%0 Conference Paper %1 conf/iticse/Johnson12 %A Johnson, Chris %B ITiCSE %D 2012 %E Lapidot, Tami %E Gal-Ezer, Judith %E Caspersen, Michael E. %E Hazzan, Orit %I ACM %K dblp %P 186-191 %T SpecCheck: automated generation of tests for interface conformance. %U http://dblp.uni-trier.de/db/conf/iticse/iticse2012.html#Johnson12 %@ 978-1-4503-1246-2

@inproceedings{conf/iticse/Johnson12, added-at = {2018-11-06T00:00:00.000+0100}, author = {Johnson, Chris}, biburl = {https://www.bibsonomy.org/bibtex/2c1132071cdfc9e23576368cbdd84d70f/dblp}, booktitle = {ITiCSE}, crossref = {conf/iticse/2012}, editor = {Lapidot, Tami and Gal-Ezer, Judith and Caspersen, Michael E. and Hazzan, Orit}, ee = {https://doi.org/10.1145/2325296.2325343}, interhash = {2fecc5d49b85329ee309cefb89218472}, intrahash = {c1132071cdfc9e23576368cbdd84d70f}, isbn = {978-1-4503-1246-2}, keywords = {dblp}, pages = {186-191}, publisher = {ACM}, timestamp = {2024-04-09T15:53:40.000+0200}, title = {SpecCheck: automated generation of tests for interface conformance.}, url = {http://dblp.uni-trier.de/db/conf/iticse/iticse2012.html#Johnson12}, year = 2012 }