P. van den Bos. Coverage and Games in Model-Based Testing, PhD thesis. Download pdf
J. Meijer. Efficient learning and analysis of system behavior, PhD thesis. https://research.utwente.nl/en/publications/efficient-learning-and-analysis-of-system-behavior
R. Janssen, F. Vaandrager, J. Tretmans. Relating Alternating Relations for Conformance and Refinement. [technical report] Download pdf
P. van den Bos and F. Vaandrager. State Identification for Labeled Transition Systems with Inputs and Outputs. CoRR arXiv:1907.11034, July 2019.
R. Janssen and J. Tretmans. Matching Implementations to Specifications: The Corner Cases of ioco. In: Procs. of the 34th ACM/SIGAPP Symposium on Applied Computing (SAC '19). [technical report]. Download pdf
P. van den Bos and M. Stoelinga. Tester versus Bug: A Generic Framework for Model-Based Testing via Games. GandALF 2018. Download paper
Meijer, J. and van de Pol, J. Sound Black-Box Checking in the LearnLib. In: Procs. of the 10th Nasa Formal Methods Symposium - NFM 2018. LNCS 10811. Spinger, 2018. https://research.utwente.nl/en/publications/sound-black-box-checking-in-the-learnlib
F. Kordon, H. Garavel, L. Messan Hillah, E. Paviot-Adet, L. Jezequel, F. Hulin-Hubard, E. Amparore, M. Beccuti, B. Berthomieu, H. Evrard, P.G. Jensen, D. Le Botlan, T. Liebke, J. Meijer, J. Srba, Y. Thierry-Mieg, J. van de Pol, K. Wolf. MCC'2017 -- The Seventh Model Checking Contest. In: Petri Nets and Other Models of Concurrency (ToPNoC). [wacht op GC goedkeuring]. Download pdf Δ
P. van den Bos, R. Janssen, J. Moerman. n-Complete Test Suites for IOCO. In: N. Yevtushenko, A. Cavalli, H. Yenigün (eds), Testing Software and Systems - ICTSS 2017. LNCS 10533, pp. 91- 107. Springer Int. Publishing, 2017. Download pdf
Jasper, M., Fecke, M., Steffen, B., Schordan, M., Meijer, J., van de Pol, J., Howar, F. and Siegel, S.F. The RERS 2017 Challenge and Workshop. In: Procs. of the 24th Int. SPIN Symp. on Model Checking of Software - SPIN 2017, 13-14 July 2017, Santa Barbara, US, 2017. https://research.utwente.nl/en/publications/the-rers-2017-challenge-and-workshop
Steffen, B., Jasper, M., Meijer, J. and van de Pol, J. Property-Preserving Generation of Tailored Benchmark Petri Nets. In: Procs. of the 17th Int. Conf. on Application of Concurrency to System Design - ACSD 2017. LNCS 10258. Spinger Int. Publishing, 2017. https://research.utwente.nl/en/publications/property-preserving-generation-of-tailored-benchmark-petri-nets
J. Tretmans. On the Existence of Practical Testers, In: J.-P. Katoen, R. Langerak, A. Rensink, ModelEd, TestEd, TrustEd -- Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. LNCS 10500, pp. 87-106, Springer Int. Publishing, 2017. Download pdf
P. van den Bos, R. Smetsers, F.W. Vaandrager. Enhancing Automata Learning by Log-Based Metrics. In: E. Abraham and M. Huisman (eds.), Procs. 12th Int. Conf. on integrated Formal Methods – iFM. LNCS 9681, pp. 295-310, Springer Int. Publishing, 2016. Download pdf
Bendisposto, J., Körner, P., Leuschel, M., Meijer, J.J.G., van de Pol, J.C., Treharne, H., Whitefield, J. Symbolic Reachability Analysis of B through ProB and LTSmin. In: E. Abraham and M. Huisman (eds.) Procs. 12th Int. Conf. on integrated Formal Methods – iFM. LNCS 9681, pp. 275-291, Springer Int. Publishing, 2016. https://research.utwente.nl/en/publications/symbolic-reachability-analysis-of-b-through-prob-and-ltsmin
P. Fiterau-Brostean, R. Janssen, F.W. Vaandrager. Combining Model Learning and Model Checking to Analyze TCP Implementations. In: Procs. CAV 2016, LNCS 9780, Springer, 2016. Download pdf
Meijer, J.J.G., van de Pol, J.C. Bandwidth and Wavefront Reduction for Static Variable Ordering in Symbolic Reachability Analysis. In: Procs. 8th Int. Symposium on NASA Formal Methods – NFM. LNCS 9690, pp. 255-271, Springer Int. Publishing, 2016. https://research.utwente.nl/en/publications/bandwidth-and-wavefront-reduction-for-static-variable-ordering-in
Kant, G., Laarman, A.W., Meijer, J.J.G., van de Pol, J.C., Blom, S.C.C. and van Dijk, T. LTSmin: High-Performance Language-Independent Model Checking. In: Tools and Algorithms for the Construction and Analysis of Systems - TACAS. LNCS 9035, pp. 692-707, Springer Verlag, London, 2015. https://research.utwente.nl/en/publications/ltsmin-high-performance-language-independent-model-checking
Meijer, J.J.G., Kant, G., Blom, S.C.C., van de Pol, J.C. Read, Write and Copy Dependencies for Symbolic Model Checking. In: Procs. 10th Int. Haifa Verification Conference – HVC. LNCS 8855, pp. 204-219, Springer Verlag, 2014. https://research.utwente.nl/en/publications/read-write-and-copy-dependencies-for-symbolic-model-checking
Gerhold, M., Stoelinga, M. Model-Based Testing of Probabilistic Systems. In: Stevens, P. Wąsowski (eds.), Fundamental Approaches to Software Engineering: 19th Int. Conf. FASE 2016, pp. 251-268. LNCS 9633. Springer 2014. (FASE best paper award). https://doi.org/10.1007/978-3-662-49665-7_15