%0 Conference Paper %1 conf/ic-nc/CarvalhoT14 %A de Souza Carvalho, Cassia %A Tsuchiya, Tatsuhiro %B CANDAR %D 2014 %I IEEE Computer Society %K dblp %P 596-598 %T Coverage Criteria for State Transition Testing and Model Checker-Based Test Case Generation. %U http://dblp.uni-trier.de/db/conf/ic-nc/candar2014.html#CarvalhoT14 %@ 978-1-4799-4152-0

@inproceedings{conf/ic-nc/CarvalhoT14, added-at = {2023-03-24T00:00:00.000+0100}, author = {de Souza Carvalho, Cassia and Tsuchiya, Tatsuhiro}, biburl = {https://www.bibsonomy.org/bibtex/29a0c362696c895c72ac7aeefcca80eb4/dblp}, booktitle = {CANDAR}, crossref = {conf/ic-nc/2014}, ee = {https://doi.ieeecomputersociety.org/10.1109/CANDAR.2014.111}, interhash = {f7cdb3512b2224d607ff46ed9e130b63}, intrahash = {9a0c362696c895c72ac7aeefcca80eb4}, isbn = {978-1-4799-4152-0}, keywords = {dblp}, pages = {596-598}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T12:34:55.000+0200}, title = {Coverage Criteria for State Transition Testing and Model Checker-Based Test Case Generation.}, url = {http://dblp.uni-trier.de/db/conf/ic-nc/candar2014.html#CarvalhoT14}, year = 2014 }