ISSTA '14: International Symposium on Software Testing and Analysis
ISSTA is the leading research symposium on 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. ISSTA 2014 will be held in Hilton San Jose, Bay Area, California on July 21-25, 2014.
Cormac Flanagan (University of California, Santa Cruz)
Andreas Kuehlmann (Coverity)
Mike Walker (DARPA's Cyber Grand Challenge)
Authors are invited to submit technical papers describing original research in testing or analysis of software. Papers describing theoretical or empirical research, new techniques, or in-depth case studies of testing and analysis methods and tools are welcome. Submissions must be original and should not have been published previously or be under consideration for publication while being evaluated for this symposium. Authors are required to adhere to the ACM Policy and Procedures on Plagiarism and the ACM Policy on Prior Publication and Simultaneous Submissions.
Technical papers must be prepared in ACM conference format and must not exceed 10 pages (including figures and appendices but NOT including references). That is, any pages after the tenth must contain only references. All submissions must be in English. The submissions should list the paper authors recognizably not anonymously (i.e., ISSTA does not use double blind reviews). Submit your papers via the EasyChair ISSTA 2014 submission website. Submissions that do not adhere to these guidelines or that violate formatting will be declined without review.
This track provides an opportunity for researchers, educators, practitioners, and software tool vendors to present their experiences, challenges, and solutions in software analysis and testing using live presentations of new tools and prototypes as well as interactive results and data sets. We invite new and innovative research tool demonstrations that show early implementations of research concepts as well as mature prototypes and tools demonstrating advances in usability, scalability, and applicability to new problem domains. Visit Tool Demonstrations page for additional information.