State Identification for Labeled Transition Systems with Inputs and Outputs: Software and Case Study Computation Results

Also, it contains dot-files representing the labeled transition systems of the used case studies, and all the intermediate computation results the software produces. The dataset is part of the research from Chapter 3 of the PhD thesis "Coverage and Games in Model-Based Testing" by Petra van den Bos.

This chapter is an extenstion of the conference paper "State Identification for Labeled Transition Systems with Inputs and Outputs" by Petra van den Bos and Frits Vaandrager. The tables from the chapter can be reproduced by executing the software.