Costs entailed by software failures demonstrate that the systematic development of software in a certain quality is still a challenge, even after decades of research. A reason for this can certainly be found within the individual projects. Often, known techniques of quality assurance are not well understood and properly used due to deadline and budget restrictions. However, another reason is also the lack of techniques for quality assurance for specific types of software and software developed according to specific programming and modeling techniques.
Many ad-hoc security specifications, models, and protocols, which were implemented in software components in the past, turned out to be vulnerable to some extent. Formal verification and validation methodologies have the potential to increase user confidence in software artifacts. Therefore, theoretical foundations for security assurance should be investigated to discover new methods that will bring high certainty to the trustworthiness of software entities.
Verification and validation (V&V) methods, especially testing, deliver important analytical techniques for quality assurance. In model-based V&V, the software under consideration is considered by means of a model that focuses on certain aspects, often on the behavior of the software. Models frequently used are finite state machines and flow graphs. Testing techniques based on such models are, for instance, formal verification, control and data flow analysis, test case generation, and model checking
This workshop aims at giving researchers and practitioners a platform to present their results and experience to a broader audience.
The topics of interest include, but are not limited to:
- Formal methods and theories in model-based V&V
- Simulation by models, forecasts of behavior and properties by models
- Models and modeling notations for programming and V&V
- Tools for model-based V&V
- Model-based security evaluation
- V&V of security specifications, models, and protocols
- Theoretical foundations of security analysis and design
- Formal models for security testing
- Testing with software usage models
- Test case generation based on formal and semi-formal models
- Test coverage metrics and criteria for model-based testing
- Models as test oracles, test validation with models
- Application of model checking in testing
- Model-based V&V of reactive and object-oriented systems
- Model-based verification and validation of tests
- Experience reports and requirements from model-based V&V and model-based development in practice
Conference Companion
Accepted workshop papers will appear in the QRS 2019 conference companion
which will be published by IEEE Computer Society
Conference Publishing Services (CPS). Papers presented at the conference
will also be submitted for inclusion into the IEEE Xplore and to all of the A&I
(abstracting and indexing) partners (such as the Ei Compendex).
Authors may also choose to publish their papers in an Ei-indexed journal–International Journal of Performability Engineering (IJPE; http://www.ijpe-online.com).
Journal Special Issue (TBA)
Best Paper Award
At least one
award will be presented. Authors will receive a certificate signed by the President
of the IEEE Reliability Society and the Organizers of MVV 2019.
Panelists Solicitation (TBA)
Important Dates
May 1, 2019 | Submission deadline |
May 25, 2019 | Author notification |
June 10, 2019 | Camera-ready dues |
July 22-26, 2019 | Workshop |
Submission
Authors are invited to
submit original, unpublished research papers as well as industrial practice papers.
Simultaneous submissions to other publications and conferences are not permitted. Detailed
instructions for electronic paper submission, panel proposals and review process can be found at
https://qrs19.techconf.org
/submission.
The length of a camera ready paper will be limited to eight pages, including the title of the paper, the name and affiliation of each author, a 150-word abstract, and up to 6 keywords.
Authors must follow the IEEE Computer Society Press Proceedings Author Guidelines to prepare papers. At least one of the authors of each accepted paper is required to pay full registration fee and present the paper at the workshop. Arrangements are being made to publish selected accepted papers in reputable journals. The submissions must be in PDF and uploaded to the conference submission site.

Program Chairs
Tugkan Tuglular | Izmir Institute of Technology | Turkey |
Fevzi Belli | Izmir Institute of Technology | Turkey |
Program Committee (Tentative)
Tolga Ayav | Izmir Institute of Technology | Turkey |
Christof J. Budnik | Siemens Corporate Research, Princeton | USA |
Onur Demirors | Izmir Institute of Technology | Turkey |
Ali Dogru | Middle East Technical University | Turkey |
Dimitris Dranidis | CITY College | Greece |
Reiner Dumke | Magdeburg University | Germany |
Murat Erten | Izmir Institute of Technology | Turkey |
Karl-Erwin Grosspietsch | Institute for Dependability and Reuse | Germany |
Volker Gruhn | Universität Duisburg-Essen | Germany |
Nevin Guler | Mugla University | Turkey |
Rajesh Subramanyan | Siemens Healthineers | USA |
Mario Winter | Hochschule Köln | Germany |
Hüsnü Yenigün | Sabanci University | Turkey |
Cemal Yılmaz | Sabanci University | Turkey |
Web Master
Shou-Yu Lee | University of Texas at Dallas | USA |
Workshop Venue
MVV 2019 will be held in conjunction with QRS 2019 at Sofia, Bulgaria. Please visit the QRS 19 website for further information.
General Inquiries
For more detailed and updated information, please contact Professor Tugkan Tuglular at tugkantuglular@iyte.edu.tr or Professor Fevzi Belli at fevzibelli@iyte.edu.tr.
Previous MVV
- MVV 2018 - Lisbon, Portugal (in conjunction with QRS 2018)
- MVV 2017 - Prague, Czech Republic (in conjunction with QRS 2017)
- MVV 2016 - Vienna, Austria (in conjunction with QRS 2016)
- MVV 2015 - Vancouver, Canada (in conjunction with QRS 2015)
- MVV 2012 - Washington, D.C., USA (in conjunction with SERE 2012)
- MVV 2011 - Jeju Island, Korea (in conjunction with SSIRI 2011)
- MVV 2010 - Singapore (in conjunction with SSIRI 2010)
- MVV 2009 - Shanghai, China (in conjunction with SSIRI 2009)