%0 Conference Paper %1 conf/issta/MunakataTU13 %A Munakata, Kazuki %A Tokumoto, Susumu %A Uehara, Tadahiro %B JAMAICA@ISSTA %D 2013 %E Carrozza, Gabriella %E Pietrantuono, Roberto %E Manetti, Vittorio %I ACM %K dblp %P 23-28 %T Model-based test case generation using symbolic execution. %U http://dblp.uni-trier.de/db/conf/issta/jamaica2013.html#MunakataTU13 %@ 978-1-4503-2161-7

@inproceedings{conf/issta/MunakataTU13, added-at = {2022-01-20T00:00:00.000+0100}, author = {Munakata, Kazuki and Tokumoto, Susumu and Uehara, Tadahiro}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2c9fca7184b70b67c1d8d07224bff57fe/dblp}, booktitle = {JAMAICA@ISSTA}, crossref = {conf/issta/2013jamaica}, editor = {Carrozza, Gabriella and Pietrantuono, Roberto and Manetti, Vittorio}, ee = {https://doi.org/10.1145/2489280.2489282}, interhash = {7aedcb04d1c565f1ae46a186f00d665b}, intrahash = {c9fca7184b70b67c1d8d07224bff57fe}, isbn = {978-1-4503-2161-7}, keywords = {dblp}, pages = {23-28}, publisher = {ACM}, timestamp = {2022-03-01T07:03:45.000+0100}, title = {Model-based test case generation using symbolic execution.}, url = {http://dblp.uni-trier.de/db/conf/issta/jamaica2013.html#MunakataTU13}, year = 2013 }