22nd IFIP International Conference on Testing Software and Systems

http://ictss2010.dimap.ufrn.br/ictss/

Announcements

• Registration is open. Early registration ends at October, 7th.*** NEW ***
• List of Accepted Full Papers.
• Keynotes confirmed:
  • Ina Schieferdecker, Fraunhofer FOKUS, Germany.
    Title: Test Automation with TTCN-3: State of the Art and a Future Perspective
  • Constance Heitmeyer, Naval Research Laboratory, USA.
    Title: A Model-Based Approach to Testing Software for Critical Behavior and Properties
• IFIP offers a Best Paper Award (500 Euros).
• Extended versions of selected papers will be published on STTT journal.
• Student grant(s), sponsored by IFIP, will be available for supporting participation of students on the conference.

Call For Papers

ICTSS 2010 is the merge of the 22nd IFIP Int. Conference on Testing of Communicating Systems (TESTCOM) and the 10th Int. Workshop on Formal Approaches to Testing of Software (FATES). ICTSS is 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 general software and systems. ICTSS'10 will be co-located with 13th Brazilian Symposium of Formal Methods and 4th Brazilian Workshop on Software Testing.

TOPICS OF INTEREST

• Aspects of testing: test derivation, test selection, test coverage, test implementation and execution, test result analysis, test oracles, test management, monitoring and run-time verification, test frameworks.
• Model-based testing using formal models and modeling languages such as automata, state machines, process algebra, logics, SDL, UML, Markov-chains, and others.
• Various types of testing: functional, interoperability, performance, conformance, security, reliability, robustness, etc.
• Application specific testing, e.g., testing of communicating systems and protocols, middleware, networks, web services and applications, wireless applications, control systems, business information systems, embedded and real-time software.
• Tools to support any of the testing activities.
• Case studies and industrial applications of testing methodologies and test tools.

TYPES OF CONTRIBUTIONS

• Full research papers (max. 16 pages in LNCS format) should contain theory- or application-oriented results which must be original, significant, and sound; they will undergo a usual reviewing process. Papers from industry, which should emphasize practical software testing and/or report open challenges, will undergo a separate review process. Full papers will be published in LNCS (guidelines: http://www.springer.de/comp/lncs/authors.html). The authors of selected papers will be invited to submit extended versions of their work to a special issue of Software Tools for Technology Transfer (http://sttt.cs.uni-dortmund.de/). A Best Paper Award (500 Euros) will be offered by IFIP.
• Short papers (max. 6 pages in LNCS format) describing recent research activities, practical experience, and preliminary results that are worth discussing. Short papers will be published as a Technical Report of CRIM (www.crim.ca) with an ISBN number available online.
• Tutorial proposals (3 pages). The abstracts of accepted tutorials will be published in the abovementioned Technical Report.