2022/01/26 by Brinksma, Ed, Grieskamp, Wolfgang, Tretmans, Jan
#Model-based testing #automatic test generation #formal methods #software testing
paper · doi:10.4230/dagsemproc.04371.2
The aim of the seminar Perspectives of Model-Based Testing was to bring together researchers and practitioners from industry and academia to discuss the state of the art in theory, methods, tools, applications, and industrialization of model-based testing, and to identify the important open issues and challenges.