Robert Sachtleben. An Executable Mechanised Formalisation of an Adaptive State Counting Algorithm. In Valentina Casola, Alessandra De Benedictis, Massimiliano Rak, editors, Testing Software and Systems - 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020, Proceedings. Volume 12543 of Lecture Notes in Computer Science, pages 236-254, Springer, 2020. [doi]
Abstract is missing.