posted by organizer: Schlingloff || 4093 views || tracked by 6 users: [display]

MBT 2017 : 11th International Workshop on Model-Based Testing

FacebookTwitterLinkedInGoogle

Link: http://mbt-workshop.org/
 
When Apr 23, 2017 - Apr 23, 2017
Where Uppsala
Submission Deadline Jan 23, 2017
Notification Due Feb 21, 2017
Final Version Due Feb 28, 2017
Categories    software engineering   computer science   modeling
 

Call For Papers

The workshop MBT 2017 is devoted to model-based testing of computational systems. Model-based testing uses models describing the required behavior of the system under consideration to guide such efforts as test selection and test evaluation. Testing validates the real system behavior against models and checks that the implementation conforms to them, but is capable also to find errors in the models themselves.

The intent of this workshop is to bring together researchers and users of model-based testing techniques and tools to discuss the state of the art in theory, applications, tools, and industrialization of model-based testing and related domains. MBT 2017 in particular addresses also industrial participants to exchange their ideas about applicability and experiences with model-based testing.

Related Resources

SA-TTA @SAC 2019   The 7th track on Software Architecture: Theory, Technology, and Applications (SA-TTA) at the 34rd ACM/SIGAPP Symposium On Applied Computing (SAC 2019)
ISCSAI 2018   2018 International Symposium on Computer Science and Artificial Intelligence
FSEN 2019   Eighth International Conference on Fundamentals of Software Engineering
ICDMML 2019   【ACM ICPS EI SCOPUS】2019 International Conference on Data Mining and Machine Learning
CyPhy 2018   Workshop on Model-Based Design of Cyber Physical Systems
ICSESS 2018   2018 9th IEEE International Conference on Software Engineering and Service Science
ModComp 2018   5th International Workshop on Interplay of Model-Driven and Component-Based Software Engineering @ MoDELS 2018
IJWesT 2018   International Journal of Web & Semantic Technology
ME 2018   Models and Evolution Workshop
MODELS 2018   ACM/IEEE 21th International Conference on Model Driven Engineering Languages and Systems