%0 Conference Paper %1 conf/qsic/ZhangBLZ13 %A Zhang, Chao %A Bai, Xiaoying %A Li, Junlong %A Zhang, Renwei %B QSIC %D 2013 %I IEEE %K dblp %P 292-298 %T Automated Test Case Generation for Embedded Software Using Extended Interface Automata. %U http://dblp.uni-trier.de/db/conf/qsic/qsic2013.html#ZhangBLZ13 %@ 978-1-4799-0500-3

@inproceedings{conf/qsic/ZhangBLZ13, added-at = {2013-10-31T00:00:00.000+0100}, author = {Zhang, Chao and Bai, Xiaoying and Li, Junlong and Zhang, Renwei}, biburl = {https://www.bibsonomy.org/bibtex/21e1fe753479b42a972ada12ee1eafbd7/dblp}, booktitle = {QSIC}, crossref = {conf/qsic/2013}, ee = {http://dx.doi.org/10.1109/QSIC.2013.24}, interhash = {11f62a63edd9d6f0f358ccec41250b45}, intrahash = {1e1fe753479b42a972ada12ee1eafbd7}, isbn = {978-1-4799-0500-3}, keywords = {dblp}, pages = {292-298}, publisher = {IEEE}, timestamp = {2015-06-18T14:33:00.000+0200}, title = {Automated Test Case Generation for Embedded Software Using Extended Interface Automata.}, url = {http://dblp.uni-trier.de/db/conf/qsic/qsic2013.html#ZhangBLZ13}, year = 2013 }