Media type: E-Article Title: A Global Algorithm for Model-Based Test Suite Generation Contributor: Hessel, Anders; Pettersson, Paul Published: Elsevier BV, 2007 Published in: Electronic Notes in Theoretical Computer Science, 190 (2007) 2, Seite 47-59 Language: English DOI: 10.1016/j.entcs.2007.08.005 ISSN: 1571-0661 Keywords: General Computer Science ; Theoretical Computer Science Origination: Footnote: Access State: Open Access