Filters








1 Hit in 2.0 sec

Model Learning and Model-Based Testing [chapter]

Bernhard K. Aichernig, Wojciech Mostowski, Mohammad Reza Mousavi, Martin Tappler, Masoumeh Taromirad
2018 Lecture Notes in Computer Science  
Formal Methods for Eternal Networked Software Systems -11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18  ...  5-8, 2012, volume 21 of JMLR Proceedings, pages 4-18.  ... 
doi:10.1007/978-3-319-96562-8_3 fatcat:qrz24l2twrh5rp7ltpyxo4ooii