Products

ICST 2016

Testing Tool Demos

C

Call For Testing Tool Demos

Goal The ICST Tools Track seeks to bridge the gap between software testing, verification, and validation practitioners and researchers with a goal of improving both the state­of­the­art and the state­of­the­practice. In their submissions, software tool developers should explain how they deal with the complexity and challenges of transferring research ideas into practice. At the same time, researchers are welcome to submit papers in which they describe how academic research helps tool developers apply new approaches to solving complex industry problems. Participants of the Tools Track will be exposed to different techniques, and they will be connected with potential collaborators. We actively seek quality non­academic submissions, so that this track enables leading researchers and practitioners to discuss and solve important problems. We invite submissions that include but are not limited to the following areas: • Transfer of academic approaches into open source or commercial tools and sharing lessons learned from this transfer; • Creation of an innovative tool; • Description of a significant adoption effort of a verification approach with detailed descriptions of the strategies and challenges of this adoption effort; • Description of a working prototype of your research technique, any feedback obtained from practitioners and description of the technical challenges in developing it. Submissions will be evaluated based on: • The importance of the addressed problem; • The relevance and significance of any lessons learned during implementation or deployment; • The innovation element of the approach; • The maturity and adoption­level of the tool; • The availability (e.g., is there a URL link where the tool can be downloaded from?) • The quality of the presentation. Format All the submitted papers should conform to the two­column IEEE conference publication format. Templates for Latex and Word are available at http://www.ieee.org/conferences_events/conferences/publishing/templates.html; use the letter format templates and the “conference” option. The paper should be submitted in the PDF format and no more than 8 pages. All the accepted papers will appear in the conference proceedings and the IEEE digital library Accepted authors will be allotted a 25 minute presentation at the conference, which is expected to include at least 10 minutes live tool demonstration. As such, submissions are encouraged to include an additional document (pdf or ppt) that describes the plan for the live demonstration. We emphasize the contributions of tools rather than the novel algorithmic advances or empirical evaluations. Claims about the effectiveness of tools should be supported by citations to existing peer­reviewed publications. Please note that the Testing Tools track will accept tools at several stages of maturity, including promising research prototypes, widely used research tools, and commercial tools. Award The best submitted paper will be awarded during the conference. Important Dates Submissions: January 5, 2016 Notification: January 22^nd, 2016 How to submit? Please send your submissions via https://cmt.research.microsoft.com/ICST2016. The submission site is already open.

Program Committee

Jonathan Bell, Columbia University James Clause, University of Delaware Juan P. Galeotti, University of Buenos Aires Atif Memon, University of Maryland Gang Shu, Salesforce Saurabh Sinha, IBM Research Nikolai Tillmann, Microsoft Research Willem Visser, Stellenbosch University Xusheng Xiao, NEC lab Liu Yang, Nanyang Technological University Tingting Yu, University of Kentucky Lingming Zhang, University of Texas at Dallas