posted by user: jyotirmoy || 23920 views || tracked by 103 users: [display]

ISSTA 2014 : International Symposium on Software Testing and Analysis

FacebookTwitterLinkedInGoogle


Conference Series : International Symposium on Software Testing and Analysis
 
Link: http://issta2014.org/index.html
 
When Jul 21, 2014 - Jul 26, 2014
Where Hilton San Jose, Bay Area, CA, USA
Submission Deadline Jan 24, 2014
Notification Due Apr 1, 2014
Categories    software testing   analysis   verification   test generation
 

Call For Papers

ISSTA '14: International Symposium on Software Testing and Analysis

ISSTA is the leading research symposium 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. ISSTA 2014 will be held in Hilton San Jose, Bay Area, California on July 21-26, 2014.

Technical Program

Authors are invited to submit technical papers describing original research in testing or analysis of computer 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.

Workshops

Organizers are invited to submit proposals for full-day and half-day workshop on topics related to software testing and analysis. Proposals should include a description of the theme and scope of the workshop, including its relevance to the field of software testing and analysis. The proposal should also provide information about the intended number of participants, the workshop format and the background of the organizers (including relevant past experience on organizing workshops). Proposals may be up to 2 pages in ACM conference format.

Technical Paper Submission Guidelines

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. Submit your paper via the paper submission website. Submissions that do not adhere to these guidelines or that violate formatting will be declined without review.

Tool Demonstrations

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.

Related Resources

ISSTA 2020   International Symposium on Software Testing and Analysis
NETWORKS 2020   4th International Conference on Networks & Communications
VSC @IEEE WETICE 2020   Track on Validating Software for Critical Systems (VSC) @IEEE WETICE 2020
GridCom 2020   12th International Conference on Grid Computing
IFIP-ICTSS 2020   32ND IFIP INTERNATIONAL CONFERENCE ON TESTING SOFTWARE AND SYSTEMS
CPP 2021   Certified Programs and Proofs
ICSE 2021   43rd International Conference on Software Engineering, 23-29 May 2021
iFM 2020   16th International Conference on integrated Formal Methods
ICSIE--ACM, Ei Compendex, Scopus 2020   2020 9th International Conference on Software and Information Engineering (ICSIE 2020)--ACM, Ei Compendex, Scopus
IDA 2020   The 18th International Symposium on Intelligent Data Analysis (IDA 2020)