%0 Conference Paper %1 conf/iclp/BanbaraTI12 %A Banbara, Mutsunori %A Tamura, Naoyuki %A Inoue, Katsumi %B ICLP (Technical Communications) %D 2012 %E Dovier, Agostino %E Costa, Vítor Santos %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 86-97 %T Generating Event-Sequence Test Cases by Answer Set Programming with the Incidence Matrix. %U http://dblp.uni-trier.de/db/conf/iclp/iclp2012.html#BanbaraTI12 %V 17 %@ 978-3-939897-43-9

@inproceedings{conf/iclp/BanbaraTI12, added-at = {2020-10-25T00:00:00.000+0200}, author = {Banbara, Mutsunori and Tamura, Naoyuki and Inoue, Katsumi}, biburl = {https://www.bibsonomy.org/bibtex/2d6889956342dc4113b7fe898d5af732f/dblp}, booktitle = {ICLP (Technical Communications)}, crossref = {conf/iclp/2012}, editor = {Dovier, Agostino and Costa, Vítor Santos}, ee = {https://doi.org/10.4230/LIPIcs.ICLP.2012.86}, interhash = {530a2fa4592ba9f892806c8e8678242b}, intrahash = {d6889956342dc4113b7fe898d5af732f}, isbn = {978-3-939897-43-9}, keywords = {dblp}, pages = {86-97}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-08-26T07:18:55.000+0200}, title = {Generating Event-Sequence Test Cases by Answer Set Programming with the Incidence Matrix.}, url = {http://dblp.uni-trier.de/db/conf/iclp/iclp2012.html#BanbaraTI12}, volume = 17, year = 2012 }