posted by organizer: Schlingloff || 1166 views || tracked by 3 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

ST: Model-Based Testing 2016   Theme issue on Model-Based Testing : Software and Systems Modeling Journal (SoSyM)
ICML 2017   34th International Conference on Machine Learning
ICCV 2017   International Conference on Computer Vision
A-MOST 2017   Advances in Model-Based Software Testing
ISMIS 2017   23rd International Symposium on Methodologies for Intelligent Systems
AMARETTO 2017   2nd International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn
ICONIP 2017   International Conference on Neural Information Processing
SATT - 2016   Software Algorithms, Tools, and Technologies for Model Verification and Validation
IPMU 2018   17th Information Processing and Management of Uncertainty in Knowledge-Based Systems Conference
ICST 2017   IEEE International Conference on Software Testing, Verification and Validation (ICST) 2017