********************* CALL FOR PAPERS ********************* SUBMISSION DUE DATE: April 15, 2010 SPECIAL ISSUE ON: Model-Based Testing for Embedded and Real-Time Communication Systems (MBT4ERTCS) International Journal of Embedded and Real-Time Communication Systems (IJERTCS) Guest Editors: Ina Schieferdecker, Colin Willcock, Dragos Truscan INTRODUCTION: In recent years, model-based testing has received increased attention both in academic and industrial environments as a solution for addressing the challenging task of test automation for complex software-based systems. This attention is partly driven by the growing popularity of model-based specifications techniques, as well as by its associated tool support. However, there are still a number of challenges to solve in order to be able to exploit the full potential of model-based testing. These challenges include, for example, addressing the complexity of specifications by introducing abstraction levels, modeling the systems under test from different perspectives (behavioral, architectural, etc), reusing design and development specifications for creating test models, validation of test models before use for test generation, addressing changes to the requirements and to the models, evaluating test quality, and traceability of requirements to and from test cases. OBJECTIVE OF THE SPECIAL ISSUE: This special issue is intended to collect the latest high-quality research, experiences, and results on using model-based approaches for testing embedded and real-time communication systems, and thus provide a platform for exchanging and disseminating new ideas and progress both within the research community and to the adopters of MBT approaches. RECOMMENDED TOPICS: Topics to be discussed in this special issue include (but are not limited to) the following: - Combination of MBT with other V&V techniques - Formal methods and theories for MBT - Industrial experiences with MBT - MBT processes including relation to (agile) development processes - MBT tool support - Model-based test generation including algorithms - Quality evaluation of test models including model-based coverage metrics - Specification languages for system design and testing - Techniques and tools for online/offline MBT - Traceability to and from models, tests, and systems - Use of risk-oriented techniques in MBT - Use of statistical methods in MBT - Using MBT for testing non-functional properties including security testing or performance testing SUBMISSION PROCEDURE: Researchers and practitioners are invited to submit papers for this special theme issue Model-Based Testing of Embedded and Real-Time Communication Systems on or before April 15th. All submissions must be original and may not be under review by another publication. INTERESTED AUTHORS SHOULD CONSULT THE JOURNAL’S GUIDELINES FOR MANUSCRIPT SUBMISSIONS at http://www.igi-global.com/development/author_info/guidelines submission.pdf. All submitted papers will be reviewed on a double-blind, peer review basis. Papers must follow APA style for reference citations. Please submit your contributions via e-mail to mbt4ertcs@abo.fi, with the subject [MBT4ERTCS]. TIMELINE: Last date for submitting the manuscript: April 15, 2010 End of the first review (+ notification of acceptance): May 20, 2010 Submission of revised accepted papers: June 20, 2010 End of the second review: July 15, 2010 Publication: 2011 ABOUT International Journal of Embedded and Real-Time Communication Systems (IJERTCS) The International Journal of Embedded and Real-Time Communication Systems (IJERTCS) is an international refereed research journal integrating the disciplines of embedded systems, real-time systems, and communications system engineering. IJERTCS encompasses research from computer science, computer engineering, and telecommunication engineering, focusing on how these disciplines interact in the field of embedded and real-time systems for communication. This journal offers its readership both theoretical and practical research facilitating the convergence of embedded systems, real-time computing, and communication system technologies and paradigms. This journal is an official publication of the Information Resources Management Association www.igi-global.com/IJERTCS Editor-in-Chief: Seppo Virtanen Published: Quarterly (both in Print and Electronic form) PUBLISHER: The International Journal of Embedded and Real-Time Communication Systems (IJERTCS) is published by IGI Global (formerly Idea Group Inc.), publisher of the “Information Science Reference” (formerly Idea Group Reference), “Medical Information Science Reference”, “Business Science Reference”, and “Engineering Science Reference” imprints. For additional information regarding the publisher, please visit www.igi-global.com. ******************************