posted by system || 3134 views || tracked by 13 users: [display]

TESTCOM/FATES 2009 : The 21th IFIP Int. Conference on Testing of Communicating Systems (TESTCOM) and the 9th Int. Workshop on Formal Approaches to Testing of Software (FATES)

FacebookTwitterLinkedInGoogle

Link: http://kimba.mat.ucm.es/testcom-fates09
 
When Nov 2, 2009 - Nov 4, 2009
Where Eindhoven, Netherlands
Submission Deadline May 1, 2009
Notification Due Jul 1, 2009
Final Version Due Jul 20, 2009
Categories    testing   communications   software engineering
 

Call For Papers

Scope and Objective

Testing is one of the most important techniques for validating and checking the correctness of communication and software systems. Testing, however, is also a laborious and very cost-intensive task during the development process of such systems. TESTCOM is a series of international conferences addressing the problems of testing communicating systems, including communication protocols, services, distributed platforms, and middleware. FATES is a series of international workshops discussing the challenges of using rigorous and formal methods for testing software systems, such as communication, control, embedded, administrative, and web-based software.

TESTCOM/FATES'09 aims at being a forum for researchers, developers, testers, and users to review, discuss, and learn about new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating systems and software.
Topics of interest

* Aspects of testing: test derivation, test selection, test coverage, test im-plementation and execution, test result analysis, test oracles, test man-agement, monitoring and runtime verification, test frameworks
* Model-based testing: formal models and modeling languages such as automata, state machines, process algebra, logics, SDL, UML, Markov-chains, test generation from models, model coverage
* Kinds of testing: functional, interoperability, performance, conformance, security, reliability, robustness, etc.
* Application areas: communicating systems such as protocols, middleware, networks, web services, wireless applications, control systems, business information systems, embedded and real-time software, etc.
* Combinations of different testing techniques and combinations with other validation techniques, e.g. combined verification and testing
* Tools to support any of the testing activities
* Case studies and industrial applications of testing methodologies and test tools


Types of contributions

* Research papers (max. 16 pages) describing results of theoretical or experimental research, which must be original, significant, and sound
* Industrial papers (max. 16 pages) describing approaches and means to introduce new testing methodologies in industrial contexts or reporting on industrial best practices

Submissions and publication

All contributions to TESTCOM/FATES'09 have to be submitted electronically in PDF format via easy chair. All submissions have to follow the Springer LNCS paper format.

The submission type according to the categories mentioned under Types of Contributions must be stated explicitly by the author(s) upon submission via the conference website. The submission type influences the review criteria.

Accepted contributions must be presented at the conference. Accepted full papers are published by Springer in the LNCS series. Authors need to sign a copyright transfer form to transfer usage rights on their papers to Springer.

Related Resources

DSN 2023   IEEE/IFIP International Conference on Dependable Systems and Networks
ACM-EI/Scopus-ACAI 2022   2022 5th International Conference on Algorithms, Computing and Artificial Intelligence (ACAI 2022)-EI Compendex
SIUSAI 2023   2023 International Symposium on Intelligent Unmanned Systems and Artificial Intelligence (SIUSAI 2023)
SOEA 2023   7th International Conference on Software Engineering and Applications
ISMSI 2023   2023 7th International Conference on Intelligent Systems, Metaheuristics & Swarm Intelligence (ISMSI 2023)
IJANS 2022   International Journal on AdHoc Networking Systems
ICUASA 2023   2023 6th International Conference on Unmanned Aerial Systems and Aerospace(ICUASA 2023)
BIOS 2022   8th International Conference on Bioinformatics & Biosciences
PODS 2023   Symposium on Principles of Database Systems
CIRSY 2022   8th International Conference on Circuits and Systems