Fair Testing and Stubborn Sets - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Antti Valmari, Walter Vogler. Fair Testing and Stubborn Sets. In Dragan Bosnacki, Anton Wijs, editors, Model Checking Software - 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings. Volume 9641 of Lecture Notes in Computer Science, pages 225-243, Springer, 2016. [doi]

The following publications are possibly variants of this publication:

Fair testing and stubborn setsAntti Valmari, Walter Vogler. STTT, 20(5):589-610, 2018. [doi]

Stubborn Sets, Frozen Actions, and Fair TestingAntti Valmari, Walter Vogler. FUIN, 178(1-2):139-172, 2021. [doi]

Fair testingArend Rensink, Walter Vogler. iandc, 205(2):125-198, 2007. [doi]

Fair TestingEd Brinksma, Arend Rensink, Walter Vogler. concur 1995: 313-327

runs on WebDSL