This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2014, held in Luxembourg, Luxembourg, in November 2014. The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections on testing and inspection; model checking and animation; education and verification; and semantics and analysis.
Table of Content
Testing and Inspection.- An Implementation Framework for Optimizing Test Case Generation Using Model Checking.- Applying GA with Tabu list for Automatically Generat...
Buy this ebook and get 1 more FREE!
Language English ● Format PDF ● Pages 189 ● ISBN 9783319174044 ● Editor Shaoying Liu & Zhenhua Duan ● Publisher Springer International Publishing ● City Cham ● Country CH ● Published 2015 ● Downloadable 24 months ● Currency EUR ● ID 4455822 ● Copy protection Social DRM