posted by user: petermkruse || 7215 views || tracked by 39 users: [display]

ICST 2020 : 13th IEEE Conference on Software Testing, Validation and Verification


Conference Series : International Conference on Software Testing, Verification, and Validation
When Mar 23, 2020 - Mar 27, 2020
Where Porto, Portugal
Submission Deadline Oct 14, 2019
Notification Due Dec 10, 2019
Categories    software testing   verification

Call For Papers

ICST 2020
13th IEEE Conference on Software Testing, Validation and Verification
23–27 March 2020 | Porto, Portugal

ICST 2020 is intended to provide a common forum for researchers, scientists, engineers and practitioners throughout the world to present their latest research findings, ideas, developments and applications in the area of Software Testing, Verification and Validation. ICST 2020 will include keynote addresses by eminent scientists as well as special, regular and poster sessions. All research papers will be peer reviewed on the basis of a full length manuscript and acceptance will be based on quality, originality and relevance. Accepted research papers will be published in the conference proceedings with an IEEE catalog number and ISBN number. The proceedings will be submitted for publication in IEEE Xplore.

ICST 2020 invites high quality submissions in all areas of software testing, verification, and validation. Papers for the research track should present novel and original work that advances the state-of-the-art. Case studies and empirical research papers are also welcome.
Topics of Interest

Topics of interest include, but is not limited to, the following:

Fuzz testing
Manual testing practices and techniques
Search based software testing
Security testing
Model based testing
Test automation
Static analysis and symbolic execution
Formal verification and Model checking
Software reliability
Testability and design
Testing and development processes
Testing education
Testing in specific domains, such as mobile, web, embedded, concurrent, distributed, cloud, GUI and real-time systems
Testing for learning-enabled software, including deep learning
Testing/debugging tools
Theory of software testing
Empirical studies
Experience reports

Each submission will be reviewed by at least three members of the ICST Program Committee.

Papers that have a strong industrial/practical component and focus more on impact rather than (technical) novelty are encouraged to consider the industry track instead.
Submission Format

Full Research Papers as well as Industry papers must conform to the two-column IEEE conference publication format. Templates for LaTeX and Microsoft Word are available from please use the letter format template and conference option.

Papers should be submitted in the PDF format: they must not exceed ten pages, plus up to two pages of references. Submissions will be handled via EasyChair.

Papers must neither have been previously accepted for publication nor be under submission in another conference or journal. The ICST 2020 research track accepts only full research papers. Short papers are not accepted to the research track.

For your paper to be published in the ICST 2020 conference proceedings, at least one of the authors of the paper must register for the conference and confirm that she/he will present the paper in person.

New in 2020. Submissions must supply all information that is needed to replicate the results, and therefore are expected to include or point to a replication package with the necessary software, data, and instructions. Reviewers may consult these packages to resolve open issues. There can be good reasons for the absence of a replication package, such as confidential code and/or data, the research being mostly qualitative, or the paper being fully self-contained. If a paper does not come with a replication package, authors should comment on its absence in the submission data; reviewers will take such comments into account.

Submission Site:
Important Dates (all dates are AoE)
Submission Notification
Workshop Proposals September 13 September 27
Industry Track Papers October 14 December 10
Research Track Papers October 14 December 10
Testing Tool Paper Track December 9 January 10
Posters December 12 January 10
Doctoral Symposium January 13 January 21
Tools Demonstrations January 13 January 27

Related Resources

ISSTA 2021   International Symposium on Software Testing and Analysis
ICST 2021   IEEE International Conference on Software Testing, Verification and Validation 2021
CAV 2021   33rd International Conference on Computer-Aided Verification
VALID 2021   The Thirteenth International Conference on Advances in System Testing and Validation Lifecycle
SIGPRO 2021   International Conference on Data Science and Cloud Computing
SANER 2021   The 28th edition of the IEEE International Conference on Software Analysis, Evolution and Reengineering
CAIML 2021   2nd International Conference on Artificial Intelligence and Machine Learning
VST 2021   4th Workshop on Validation, Analysis and Evolution of Software Tests
JSS SI on Test Automation 2021   Special Issue on “Test Automation: Trends, Benefits, and Costs” - Journal of Systems and Software (Elsevier)
ATVA 2021   The 19th International Symposium on Automated Technology for Verification and Analysis