Call for Papers: The 13th International Conference on Quality Software (QSIC 2013)

July 29-30, Nanjing, China 
http://software.nju.edu.cn/qsic

Recent years have seen a growing interest in the application of quality assurance techniques to the validation and verification of software systems. As the increasing complexity of these systems is making software testing activities more challenging, a significant body of techniques have been proposed to study, experiment, evaluate, design and test software-intensive systems at each step of their validation and verification. This includes the requirement analysis phase, the software architecture design phase, the functional specification and coding design, the unit testing phase, the integration phase, the acceptance testing phase, and the maintenance phase. Since 2000, the International Conference on Quality Software (QSIC) aims at gathering researchers and industry practioner to improve quality assurance techniques and to innovate in the more general area of software validation and verification. This year, following its long-term tradition, the 13th International Conference on Quality Software (QSIC 2013) will be held in Nanjing, China, on July 29-30, 2013 to emphasize different aspects of software quality assurance.

Topics of Interest (Topics may include, but are not limited to, the following:)
Software Testing: testing theory, test automation, test case generation, test oracle, mutation testing, security testing, fuzz testing, regression testing, code-based and model-based testing, constraint-based testing, random and statistical testing, conformance testing, web testing, test processes and standards, testing strategies, symbolic execution, dynamic analysis, testing tools.
Software Quality: management, measurement, inspection, design for testability.
Debugging: fault localization, bug finding, code review.
Formal methods: static analysis, model checking, proof-based systems, verification techniques combining proofs and tests.
Emerging topics: testing in multi-core environments, testing of cloud-based applications, knowledge-based systems.

Submission
We are seeking original papers (not published or submitted elsewhere), written exclusively in English, including the title of the paper, the name and affiliation of each author, an up to 150-word abstract, and up to 8 keywords. We will accept four types of submissions: either technical paper for the research-track session of the Conference or experience reports and practice-oriented papers to the Software Quality in Practice (SQiP) industry-track, either long (10 pages) or short papers (4 pages). In any case, papers must not exceed 10 pages, including the bibliography and appendix; papers that do not respect this requirement will be automatically rejected. The format of submission must follow the IEEE conference proceedings requirements. Submissions will be made through the EasyChair system (http://www.easychair.org/conferences/?conf=qsic2013). Accepted papers will be published by the IEEE Computer Society. Each paper accepted must be presented by one of the co-authors. Authors of selected papers will be invited to submit the extended version of the paper to a special issue of a journal (under negotiation). Invited submissions must extend their contributions extensively in addition to the original work. All invited papers will be reviewed by a separate panel of reviewers to meet the standards of the journal.

Important Dates
Workshop and Tutorial Proposal: Jan. 18, 2013
Technical Papers Submission: April 5, 2013
Industry Papers (SQiP) Submission: April 5, 2013
Camera Ready Copy: June 10, 2013
Notification of Acceptance: May 27, 2013
Conference: July 29-30, 2013

Organizing Committee
General Chair 
Jian Lv, Nanjing University, China
PC Co-Chairs 
Arnaud Gotlieb, Simula Research Laboratory, Norway
Zhenyu Chen, Nanjing University, China
Workshop Chair 
Dusica Marijan, Simula Research Laboratory, Norway
Publicity Chairs 
Tao Yue, Simula Research Laboratory, Norway
Xiaoyuan Xie, Swinburne University of Technology, Australia
Zhenyu Zhang, Chinese Academy of Sciences, China
Steering Committee
T.H. Tse (Chair), The University of Hong Kong, Hong Kong, China 
Peter C. Poole, University of Melbourne, Australia
T.Y. Chen, Swinburne University of Technology, Australia
C.V. Ramamoorthy, University of California at Berkeley, USA
Hans-Dieter Ehrich, Technische Universitaet Braunschweig, Germany 
W. Eric Wong, University of Texas at Dallas, USA
Huimin Lin, Chinese Academy of Sciences, China 
Stephen S. Yau, Arizona State University, USA