allconferencecfpalerts
   

Event       Publishers
  • Home
  • Login
  • Categories
  • Archive
  • Post Cfp
  • Academic Resources
  • Contact Us

 

International Conference on Automation of Software Test (AST)

google+
Views: 759                 

When :  2020-05-25

Where :  Seoul, South Korea

Submission Deadline :  2020-01-17

Categories :   DBWorld: Database Management Systems ,  Soft Computing ,  Embedded Systems ,  Knowledge Management

https://conf.researchr.org/home/ast-2020

International Conference on Automation of Software Test (AST)

25 – 26 May, 2020,Seoul, South Korea

Scope & Topics

The 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

Important Dates

Submission Deadline: January 07, 2020
Authors Notification: February 21, 2020
Registration & Camera-Ready Paper Due : March 06, 2020

User Name : jhon
Posted 12-12-2019 on 17:24:28 AEDT


Related CFPs

WiMoNe 2026   18th International Conference on Wireless & Mobile Networks
NeTCoM 2026   18th International Conference on Networks & Communications
MSE 2026   10th International Conference on Materials Science and Engineering (MSE 2026)
SOFEA 2026   12th International Conference on Software Engineering and Applications (SOFEA 2026)

All Rights Reserved @ Call for Papers - Conference & Journals