Martin Ringdorfer, Gerhard Griessnig. Speed-Up Testing by Application of Semiformal Notations and Automation. In Murat Yilmaz, Paul M. Clarke, Richard Messnarz, Michael Reiner, editors, Systems, Software and Services Process Improvement - 28th European Conference, EuroSPI 2021, Krems, Austria, September 1-3, 2021, Proceedings. Volume 1442 of Communications in Computer and Information Science, pages 457-472, Springer, 2021. [doi]
Abstract is missing.