%0 Conference Paper %1 conf/sofl/MiaoL12 %A Miao, Weikai %A Liu, Shaoying %B SOFL %D 2012 %E Liu, Shaoying %I Springer %K dblp %P 26-43 %T A Formal Specification-Based Integration Testing Approach. %U http://dblp.uni-trier.de/db/conf/sofl/sofl2012.html#MiaoL12 %V 7787 %@ 978-3-642-39276-4

@inproceedings{conf/sofl/MiaoL12, added-at = {2017-02-01T00:00:00.000+0100}, author = {Miao, Weikai and Liu, Shaoying}, biburl = {https://www.bibsonomy.org/bibtex/244058dedc38cbf361238eee321651496/dblp}, booktitle = {SOFL}, crossref = {conf/sofl/2012}, editor = {Liu, Shaoying}, ee = {http://dx.doi.org/10.1007/978-3-642-39277-1_3}, interhash = {48d52d5cc79b7f2741ec655ab766f357}, intrahash = {44058dedc38cbf361238eee321651496}, isbn = {978-3-642-39276-4}, keywords = {dblp}, pages = {26-43}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2017-02-02T11:38:48.000+0100}, title = {A Formal Specification-Based Integration Testing Approach.}, url = {http://dblp.uni-trier.de/db/conf/sofl/sofl2012.html#MiaoL12}, volume = 7787, year = 2012 }