SEMar 27, 2014
Proceedings Ninth Workshop on Model-Based Testing
arXiv:1403.7044v12 citations
Originality Synthesis-oriented
AI Analysis
This is a proceedings volume for a workshop, so it is incremental and serves researchers in software testing and formal methods.
The paper presents the proceedings of the Ninth Workshop on Model-Based Testing (MBT 2014), which compiled research on model-based testing methods and applications, but no specific problem or result is detailed in the abstract.
This volume contains the proceedings of the Ninth Workshop on Model-Based Testing (MBT 2014), which was held in Grenoble, France on April 6, 2014 as a satellite workshop of the European Joint Conferences on Theory and Practice of Software (ETAPS 2014).