Modbat: A Model-Based API Tester for Event-Driven Systems (bibtex)
by Cyrille Valentin Artho, Armin Biere, Masami Hagiya, Eric Platon, Martina Seidl, Yoshinori Tanabe, Mitsuharu Yamamoto
Reference:
Modbat: A Model-Based API Tester for Event-Driven SystemsCyrille Valentin Artho, Armin Biere, Masami Hagiya, Eric Platon, Martina Seidl, Yoshinori Tanabe, Mitsuharu YamamotoHaifa Verification Conference, volume 8244 of Lecture Notes in Computer Science, pages 112-128, 2013, Springer.
Bibtex Entry:
@inproceedings{DBLP:conf/hvc/ArthoBHPSTY13,
publisher = {Springer},
title = {Modbat: A Model-Based API Tester for Event-Driven Systems},
url = {/pubpdf/Modbat__A_Model-Based_API_Tester_for_Event-Driven_Systems.pdf},
series = {Lecture Notes in Computer Science},
booktitle = {Haifa Verification Conference},
author = {Cyrille Valentin Artho and Armin Biere and Masami Hagiya and Eric
Platon and Martina Seidl and Yoshinori Tanabe and Mitsuharu Yamamoto},
volume = {8244},
year = {2013},
pages = {112-128},
}
Powered by bibtexbrowser