Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Call for Papers for ICST (International Confer...

Email Gateway (Aug 18 2022 at 15:53):

From: Michael Norrish <Michael.Norrish@nicta.com.au>
CALL FOR PAPERS

ICST 2011: The 4th IEEE International Conference on Software Testing, Verification and Validation
March 21-25 2011, Berlin, Germany

http://sites.google.com/site/icst2011

icst2011@fokus.fraunhofer.de

About ICST 2011:

The International Conference on Software Testing, Verification and Validation (ICST) is the premier conference in all areas related to software quality. Software systems present unique engineering challenges to the tester, not least because they can exhibit non-determinism and emergent behaviour. No other engineering artefact is more closely intertwined with the human activity, resulting in complex hybrid systems that involve software, human judgement and, sometimes, political, legal and social processes.

As a result, software verification & validation including testing, inspections, model analysis, safety certification, etc. draws upon a wide spectrum of disciplines, including engineering, mathematics and also psychology. It touches on all aspects of Computer Science and Software Engineering research and impacts on almost every software practitioner. ICST seeks to meet these problems by bringing together researchers and practitioners for a conference that includes all aspects of software testing, as it is most widely construed.

ICST welcomes research papers as well as industrial experience reports from software development and testing practitioners. For the research papers, ICST seeks high quality original work. For the industrial papers ICST seeks papers that present real world experience from which others can benefit.

Authors of best papers from the conference will be invited to submit extended versions of their papers for a special issue of Software Testing, Verification, and Reliability, a Wiley journal.

Topics of interest:

• Software testing theory and practice
• Model-based testing
• Domain specific testing including, but not limited to, security testing, web services testing, database testing, embedded software testing, and OO software testing
• Verification & validation
• Quality assurance
• Model checking
• Empirical studies
• Metrics
• Fuzz testing
• Inspections
• Tools
• Testability and diagnosability
• Design for testability
• Testing education
• Testing in multidisciplinary applications
• Technology transfer
• Model-driven engineering and testing
• Agile/iterative/incremental testing processes
• Open source software/3rd party software testing
• Novel approaches to software reliability assessment

Important Dates:

Papers

• Submission of abstracts: September 25, 2010
• Submission of full papers: October 1, 2010
• Notification: November 30, 2010
• Date of conference: March 21-25, 2011

Ph. D. Symposium

• Same deadlines as for papers

Workshops

• Submission of proposals: September 3, 2010

Conference Location:

The conference will be held in Hotel Esplanade, an urban oasis of sleek design and intuitive service in the heart of the Berlin’s cultural district.

Organization:

General Chairs

• Ina Schieferdecker, Fraunhofer FOKUS and TU Berlin, Germany
• Alexander Pretschner, Fraunhofer IESE and TU Kaiserslautern, Germany

Program Chairs

• Mark Harman, CREST, King’s College London, UK
• Bogdan Korel, Illinois Institute of Technology, USA

Workshop Chair

• Phil McMinn, Sheffield University, UK

Ph.D. Symposium Chair

• Gordon Fraser, Saarland University, Germany

Poster Chair

• Fevzi Belli, University of Paderborn, Germany

Industrial Chairs

• Andreas Ulrich, Siemens, Germany
• Paul Baker, Motorola, UK
• Clay Williams, IBM Research, USA

Publicity Chairs

• Victor Braberman, University of Buenos Aires, Argentina
• Vahid Garousi, University of Calgary, Canada
• Kulpesh Kapoor, Indian Institute of Technology Guwahati, India
• Yves Le Traon, University Luxembourg, Luxembourg
• Michael Norrish, NICTA, Australia
• Alexander K Petrenko, ISPRAS, Russia
• Lu Zhang, Peking University, China
• Robert Eschbach, Fraunhofer IESE, Germany

Publications Chair

• Yue Jia, CREST, King’s College London, UK

Local Arrangements Chair

• Ilona Schubert, Fraunhofer FOKUS, Germany

Webmaster

• Enrico Lovat, Fraunhofer IESE, Germany

Last updated: Apr 20 2024 at 08:16 UTC