Bibtex

Tannaz Zameni, Petra van den Bos, Arend Rensink, Disjunction Composition of BDD Transition Systems for Model-Based Testing

@article{JOT:issue_2026_03/a26, author = {<a href="/contents.html?query=Zameni">Tannaz Zameni</a> and <a href="/contents.html?query=van den Bos">Petra van den Bos</a> and <a href="/contents.html?query=Rensink">Arend Rensink</a>}, title = {Disjunction Composition of BDD Transition Systems for Model-Based Testing}, journal = {Journal of Object Technology}, volume = {25}, number = {3}, issn = {1660-1769}, year = {2026}, month = march, editor = {}, note = {ECMFA 2026 Journal First}, pages = {3:337-350}, doi = {10.5381/jot.2026.25.3.a26}, url = {http://www.jot.fm/contents/issue_2026_03/a26.html} }

Back