posted by user: petermkruse || 11100 views || tracked by 37 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

ICST 2023   16th IEEE International Conference on Software Testing, Verification and Validation
CSITEC 2024   10th International Conference on Computer Science, Information Technology
VALID 2023   The Fifteenth International Conference on Advances in System Testing and Validation Lifecycle
AIFU 2024   10th International Conference on Artificial Intelligence and Applications
VST 2024   7th Workshop on Validation, Analysis and Evolution of Software Tests
ISSTA 2024   The ACM SIGSOFT International Symposium on Software Testing and Analysis (Round 2)
SWQD 2024   Software Quality Days 2024
IJITMC 2023   The International Journal of Information Technology, Modeling and Computing
QRS 2024   The 24th IEEE International Conference on Software Quality, Reliability, and Security
MoDeVVa 2023   20th Workshop on Model Driven Engineering, Verification and Validation