%0 Conference Paper %1 conf/icst/MoriN17 %A Mori, Ryusei %A Nakamura, Masaki %B ICST Workshops %D 2017 %I IEEE Computer Society %K dblp %P 403-404 %T Automated Test Case Generation from OTS/CafeOBJ Specifications by Specification Translation. %U http://dblp.uni-trier.de/db/conf/icst/icstw2017.html#MoriN17 %@ 978-1-5090-6676-6

@inproceedings{conf/icst/MoriN17, added-at = {2019-01-15T00:00:00.000+0100}, author = {Mori, Ryusei and Nakamura, Masaki}, biburl = {https://www.bibsonomy.org/bibtex/25a531eae4c8a0a10d3decacd491ea0f2/dblp}, booktitle = {ICST Workshops}, crossref = {conf/icst/2017w}, ee = {https://doi.org/10.1109/ICSTW.2017.78}, interhash = {de9d2400ed0389a2a73da93daa9a47eb}, intrahash = {5a531eae4c8a0a10d3decacd491ea0f2}, isbn = {978-1-5090-6676-6}, keywords = {dblp}, pages = {403-404}, publisher = {IEEE Computer Society}, timestamp = {2019-10-17T18:25:48.000+0200}, title = {Automated Test Case Generation from OTS/CafeOBJ Specifications by Specification Translation.}, url = {http://dblp.uni-trier.de/db/conf/icst/icstw2017.html#MoriN17}, year = 2017 }