The 1st International Conference on Automation of Software Test (AST 2020)

May 25, 2020 - May 26, 2020, Seoul, South Korea

Scope & Topics

The International Conference on Automation of Software Test (AST 2020) The increasing complexity, pervasiveness and inter-connection of software systems on the one hand, and the ever-shrinking development cycles and time-to-market on the other, make the Automation of Software Test (AST) an urgent requirement today more than ever. Despite significant achievements both in theory and practice, AST remains a challenging research area. Successfully held at ICSE since 2006, the AST series offers researchers and practitioners a dynamic and interactive forum for exchanging ideas, problems and experiences, for presenting timely promising solutions and sharing visions. After running 14 editions as an ICSE workshop, in 2020 AST transforms itself into the format of a co-located conference to provide more space and opportunity for discussions, and obtain increased visibility of results.

Topics of interest include, but are not limited to, the following

• Test automation of large, complex system
• Metrics for testing - test efficiency, test coverage
• Tools for model-based V&V
• Test-driven development
• Standardization of test tools
• Test coverage metrics and criteria
• Product line testing
• Formal methods and theories for testing and test automation
• Test case generation based on formal and semi-formal models
• Testing with software usage models
• Testing of reactive and object-oriented systems
• Software simulation by models, forecasts of behavior and properties
• Application of model checking in testing
• Tools for security specification, models, protocols, testing and evaluation
• Theoretical foundations of test automation
• Models as test oracles; test validation with models
• Testing anomaly detectors
• Testing cyber physical systems

Paper Submission

Regular papers include both Research Papers that present research in the area of software test automation, and Industrial Case Studies that report on practical applications of test automation. Regular papers must not exceed 10 pages for all materials (including the main text, appendices, figures, tables, and references). Short papers also include both Research papers and Industrial Case Studies. Short papers must not exceed 4 pages for all materials. As short papers, doctoral students working on software testing are encouraged to submit their work. AST will have an independent session to bring doctoral students working on software testing, with experts assigned to each paper together, to discuss their research in a constructive and international atmosphere, and to prepare for defense exam.

Important Dates