posted by user: adenilso || 5159 views || tracked by 26 users: [display]

ICTSS 2010 : 22nd IFIP International Conference on Testing Software and Systems

FacebookTwitterLinkedInGoogle


Conference Series : International Conference on Testing Software and Systems
 
Link: http://ictss2010.dimap.ufrn.br/ictss/
 
When Nov 8, 2010 - Nov 10, 2010
Where Natal, Brazil
Abstract Registration Due Apr 30, 2010
Submission Deadline May 10, 2010
Notification Due Jul 1, 2010
Final Version Due Jul 15, 2010
Categories    software testing   system testing   formal methods   software engineering
 

Call For Papers

ANNOUNCEMENTS

* 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
***************************************************************************
***************************************************************************

22nd IFIP International Conference on Testing Software and Systems (ICTSS)

November 8 - 10, 2010, Natal, Brazil

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

***************************************************************************
***************************************************************************

ICTSS 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
will be co-located with 13th Brazilian Symposium on 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, testing frameworks

* Model-based testing using automata, state machines, process algebra,
logics, SDL, UML, Markov-chains, and other formalisms

* 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 supporting testing activities

* Case studies and industrial applications of testing methodologies and
testing tools

TYPES OF CONTRIBUTIONS
* Full research and industrial papers (max. 16 pages). Research papers
should contain theory- or application-oriented results which must be
original, significant, and sound; they will undergo a usual reviewing
process. Industrial papers should emphasize practical software testing
and/or report open challenges; they will undergo a separate reviewing
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
with an ISBN number available online (www.crim.ca).

* Tutorial proposals (3 pages).

IMPORTANT DATES
April 26, 2010: Abstract submission
May 3, 2010: Full paper submission
July 1, 2010: Notification of acceptance
July 15, 2010: Camera-ready version

July 19, 2010: Short paper submission
September 9, 2010: Notification of acceptance

July 19, 2010: Tutorial proposals
August 9, 2010: Notification of acceptance

STEERING COMMITTEE
Paul Baker, Motorola, UK
Ana R. Cavalli, Telecom SudParis, France
John Derrick, U of Sheffield, UK (chair)
Wolfgang Grieskamp, Microsoft Research, USA
Roland Groz, Grenoble Institute of Technology, France
Toru Hasegawa, KDDI R&D Labs., Japan
Manuel Nunez, U Complutense de Madrid, Spain
Alexandre Petrenko, CRIM, Canada
Jan Tretmans, Embedded Systems Institute, The Netherlands
Andreas Ulrich, Siemens AG, Germany
Margus Veanes, Microsoft Research, USA

PROGRAM COMMITTEE CHAIRS
Alexandre Petrenko, CRIM, Canada
Jose Carlos Maldonado, U of Sao Paulo, Brazil
Adenilso Simao, U of Sao Paulo, Brazil

PROGRAM COMMITTEE
Paul Baker, Motorola, UK
Antonia Bertolino, ISTI-CNR, Italy
Roberto S. Bigonha, Federal U of Minas Gerais, Brazil
Gregor v. Bochmann, U of Ottawa, Canada
Ana R. Cavalli, Telecom SudParis, France
John Derrick, U of Sheffield, UK
Sarolta Dibuz, Ericsson, Hungary
Khaled El-Fakih, American U of Sharjah, UAE
Gordon Fraser, Saarland U, Germany
Wolfgang Grieskamp, Microsoft Research, USA
Roland Groz, Grenoble Institute of Technology, France
Toru Hasegawa, KDDI R&D Labs., Japan
Klaus Havelund, Jet Propulsion Laboratory, USA
Rob Hierons, Brunel U, UK
Teruo Higashino, Osaka U, Japan
Dieter Hogrefe, U of Gottingen, Germany
Antti Huima, M.Sc. Tech, Finland
Thierry Jeron, IRISA Rennes, France
Ferhat Khendek, Concordia U, Canada
Myungchul Kim, ICU, Korea
Hartmut Konig, BTU Cottbus, Germany
Victor V. Kuliamin, ISP RAS, Russia
David Lee, Ohio State U, USA
Bruno Legeard, Smartesting, Fr ance
Patricia Machado, Federal U of Campina Grande, Brazil
Giulio Maggiore, Telecom Italia Mobile, Italy
Jose Carlos Maldonado, U of Sao Paulo, Brazil
Eliane Martins, U of Campinas, Brazil
Ana Cristina de Melo, U of Sao Paulo, Brazil
Brian Nielsen, U of Aalborg, Denmark
Daltro Jose Nunes, Federal U of Rio Grande do Sul, Brazil
Doron Peled, U of Bar-Ilan, Israel
Alexandre Petrenko, CRIM,Canada
S Ramesh, General Motors India Science Lab, India
Augusto Sampaio, Federal U of Pernambuco, Brazil
Ina Schieferdecker, Fraunhofer FOKUS, Germany
Adenilso Simao, U of Sao Paulo, Brazil
Kenji Suzuki, U of Electro-Communications, Japan
Jan Tretmans, Embedded Systems Institute, The Netherlands
Andreas Ulrich, Siemens AG, Germany
Hasan Ural, U of Ottawa, Canada
M. Umit Uyar, City U of New York, USA
Margus Veanes, Microsoft Research, USA
Cesar Viho, IRISA Rennes, France
Carsten Weise, RWTH Aachen, Germany
Burkhart Wolff, U of P aris-Sud, France
Nina Yevtushenko, Tomsk State U, Russia
Xia Yin, Tsinghua U, China

LOCAL ORGANIZATION CHAIR
Marcel Oliveira, Federal U of Rio Grande do Norte, Brazil

Related Resources

ISSTA 2018   International Symposium on Software Testing and Analysis
CAiSE 2018   CfP: CAiSE 2018 (30th International Conference on Advanced Information Systems Engineering)
OSDI 2018   13th USENIX Symposium on Operating Systems Design and Implementation
AI 2017   3rd International Conference on Artificial Intelligence and Applications
ICIST 2018   24th International Conference on Information and Software Technologies
ACM - ICMLSC - Ei 2018   ACM--2018 the 2nd International Conference on Machine Learning and Soft Computing (ICMLSC 2018)--Ei Compendex & Scopus
ISSEA 2018   Special Session on Intelligent Systems and Software Engineering Advances
SIPRO 2018   4th International Conference on Signal and Image Processing
IMDA 2018   INTELLIGENT METHODS FOR DATA ANALYSIS AND COMPUTER AIDED SOFTWARE ENGINEERING
MathSJ 2017   Applied Mathematics and Sciences: An International Journal