%0 Conference Paper %1 conf/ictac/MeloPH16 %A de Melo, Ana C. V. %A Pasareanu, Corina S. %A Hanazumi, Simone %B ICTAC %D 2016 %E Sampaio, Augusto %E Wang, Farn %K %P 158-175 %T Towards MC/DC Coverage of Properties Specification Patterns. %U http://dblp.uni-trier.de/db/conf/ictac/ictac2016.html#MeloPH16 %V 9965 %@ 978-3-319-46749-8

@inproceedings{conf/ictac/MeloPH16, added-at = {2023-12-12T19:08:18.000+0100}, author = {de Melo, Ana C. V. and Pasareanu, Corina S. and Hanazumi, Simone}, biburl = {https://www.bibsonomy.org/bibtex/258ce6f910c686ac7c575da8ebb218d56/admin}, booktitle = {ICTAC}, crossref = {conf/ictac/2016}, editor = {Sampaio, Augusto and Wang, Farn}, ee = {https://doi.org/10.1007/978-3-319-46750-4_10}, interhash = {1c50630dbc8cd66cb70c1c9e5679a36a}, intrahash = {58ce6f910c686ac7c575da8ebb218d56}, isbn = {978-3-319-46749-8}, keywords = {}, pages = {158-175}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T19:08:18.000+0100}, title = {Towards MC/DC Coverage of Properties Specification Patterns.}, url = {http://dblp.uni-trier.de/db/conf/ictac/ictac2016.html#MeloPH16}, volume = 9965, year = 2016 }