5 citations · 5 across the 3 of their papers we have counts for
3 papers · 1 filter
Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering -- A White Paper
Antonio Cerone, Markus Roggenbach, James Davenport +10
This white paper argues that formal methods need to be better rooted in higher education curricula for computer science and software engineering programmes of study. To this end, i…
Proceedings Eighth Workshop on Model-Based Testing
Alexander K. Petrenko, Holger Schlingloff
This volume contains the proceedings of the Eighth Workshop on Model-Based Testing (MBT 2013), which was held on March 17, 2013 in Rome, Italy, as a satellite event of the European…
Proceedings 7th Workshop on Model-Based Testing
Alexander K. Petrenko, Holger Schlingloff
This volume contains the proceedings of the Seventh Workshop on Model-Based Testing (MBT 2012), which was held on 25 March, 2012 in Tallinn, Estonia, as a satellite event of the Eu…