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.<br>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.<br>Topics of Interest<br>Topics of interest include, but is not limited to, the following:<br>Fuzz testing<br>Manual testing practices and techniques<br>Search based software testing<br>Security testing<br>Model based testing<br>Test automation<br>Static analysis and symbolic execution<br>Formal verification and Model checking<br>Software reliability<br>Testability and design<br>Testing and development processes<br>Testing education<br>Testing in specific domains, such as mobile, web, embedded, concurrent, distributed, cloud, GUI and real–time systems<br>Testing for learning–enabled software, including deep learning<br>Testing/debugging tools<br>Theory of software testing<br>Empirical studies<br>Experience reports<br>
Abbrevation
ICST
City
Porto
Country
Portugal
Deadline Paper
Start Date
End Date
Abstract