posted by user: petermkruse || 3364 views || tracked by 29 users: [display]

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

FacebookTwitterLinkedInGoogle


Conference Series : International Conference on Software Testing, Verification, and Validation
 
Link: https://icst2020.github.io/
 
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 http://www.ieee.org/conferences_events/conferences/publishing/templates.html: 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: https://easychair.org/conferences/?conf=icst20
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

CBIoT 2020   International Conference on Cloud, Big Data and IoT
STV 2020   13th IEEE Workshop on System Testing and Validation
NCO 2020   6th International Conference on Networks and Communications
ITEQS 2020   4th International Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems
AIFU 2020   6th International Conference on Artificial Intelligence and Applications
CAV 2020   Computer Aided Verification
ICST 2019   International Conference on Software Testing, Verification, and Validation
VST 2020   3rd International Workshop on Validation, Analysis and Evolution of Software Tests
ISSTA 2020   International Symposium on Software Testing and Analysis
SATRANH 2020   Special Issue of APPLIED SCIENCES on Static Analysis Techniques: Recent Advances and New Horizons