CFP - ISSTA 2010

CALL FOR PAPERS ISSTA 2010 - International Symposium on Software Testing and Analysis Trento, Italy - 12-16 July 2010 http://selab.fbk.eu/issta2010 Important Dates * Workshop proposals: 30 November 2009 * Workshop notifications: 30 January 2010 * All paper categories: 5 February 2010 * Paper notifications: 13 April 2010 About ISSTA ISSTA is the leading research conference in software testing and analysis, bringing together academics, industrial researchers, and practitioners to exchange new ideas, problems, and experience on how to analyze and test software systems. We solicit submissions in the following categories: * Technical papers (max 11 pages in ACM format), describing original (theoretical or empirical) research, new techniques, or in-depth case studies of testing and analysis methods. * Research demo papers, describing research prototypes that will be demonstrated at dedicated demo sessions during the conference. The format for research demo papers consists of description of technique and tool (max 4 pages in ACM format), demo script (max 1 page), and optional snapshots (max 2 pages). * Doctoral symposium papers (max 4 pages in ACM format), describing ongoing PhD work related to software analysis and testing. * Workshop proposals (max 2 pages in ACM format), making the case for a full-day or half-day workshop to be co-located with ISSTA 2010. The proposal should state the theme and goals of the workshop, its format, each organizer's background and experience, and a preliminary list of (proposed or confirmed) program committee members. Submissions must be original and should not have been published previously or be under consideration for publication while being evaluated for this symposium. All submissions must be in ACM conference format and page limits, in camera-ready form, include figures and references. All submissions must be in English. Authors of the best papers presented at ISSTA 2010 will be invited to extend their work for possible inclusion in a special issue of the IEEE Transactions on Software Engineering. Format and Guidelines * All contributions must be formatted according to the ACM SIG Proceedings format templates, available at http://www.acm.org/sigs/pubs/proceed/template.html * For the paper size, use US Letter format (8.5x11 inches). * Submit only PDF files. * Submit all paper categories through the submission website (not yet open) * Submit all workshop proposals as email attachments to the Program Chair, Alessandro Orso (orso@cc.gatech.edu). Please use the subject "ISSTA 2010 Workshop Proposal". Conference Organization General Chair: Paolo Tonella, Fondazione Bruno Kessler, Trento, Italy Program Chair: Alessandro Orso, Georgia Tech, Atlanta, USA Program Committee: Jamie Andrews University of Western Ontario, CA Antonia Bertolino Italian National Research Council, Italy Victor Braberman Universidad De Buenos Aires, Argentina Tevfik Bultan UC Santa Barbara, USA S.C. Cheung Hong Kong University of Science & Technology, China Myra Cohen University of Nebraska Lincoln, USA Mark Harman King's College London, UK James Jones UC Irvine, USA Leonardo Mariani University of Milan Bicocca, Italy Darko Marinov University of Illinois at Urbana-Champaign, USA Patrizio Pelliccione University of L'Aquila, Italy Lori Pollock University of Delaware, USA David Rosenblum University College London, UK Barbara Ryder Virginia Tech, USA Saurabh Sinha IBM Research, India Zhendong Su UC Davis, USA Frank Tip, IBM Research, USA Willem Visser University of Stellenbosch, South Africa Andreas Zeller Saarland University, Germany Xiangyu Zhang Purdue University, USA Tool/demo Program Committee: Henry Muccini Universita de L'Aquila, Italy Corina Pasareanu NASA Ames, USA Charles Pecheur Université catholique de Louvain, Belgium Andy Podgurski Case Western Reserve University, USA Yannis Smaragdakis University of Massachusetts Amherst, USA Elaine Weyuker AT&T Research Labs, USA Thomas Zimmermann Microsoft Research, USA We look forward to receiving your submissions and seeing you in Trento in July! Paolo Tonella and Alessandro Orso