8th Workshop on Automated Software Testing (A-TEST), 2017

Co-located at the 12th Joint Meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), 2017


A-TEST workshop aims to provide a venue for researchers as well as the industry to exchange and discuss trending views, ideas, state of the art work in progress, and scientific results on Automated Testing.

Modern software teams seek a delicate balance between two opposing forces: striving for reliability and striving for agility. Software teams need tools to strike the right balance by increasing the development speed without sacrificing quality. Automated testing tools play an important role in obtaining this balance.

A-TEST has successfully run 9 editions since 2009. During the 2017 and 2018 editions, that was also co-located at ESEC/FSE, we introduced hands-on sessions where testing tools can be studies in depth. Due to the many positive reactions we received, this year we will have them again! 


A-TEST2017 is co-located with the 25th ACM SIGSOFT International Symposium on the Foundations of Software Engineering will be held in Paderborn Germany between September 4 and September 8, 2017. For details on the venue and registration click here.

Im­por­tant Dates

Paper submission deadline: EXTENDED to May 21 2017
Notification: June 16 2017
Camera-ready deadline: July 3 2017
Workshop: September 2017

Orga­ni­za­tion Com­mit­tee


General Chair

Tanja E.J. Vos (Universidad Politecnica de Valencia, Open Universiteit)


Program Chairs

Sigrid Eldh (Ericsson)

Wishnu Prasetya (Universiteit van Utrecht)

Pro­gram­me Com­mit­tee


Peter M. Kruse
(Berner & Mattner, DE)

M.J. Escalona
(University of Seville, ES)

Ana Paiva
(Faculty of Engineering of the University of Porto, PT)

Markus Borg
(SICS Swedish ICT AB, SE)

Anna I Esparcia Alcazar
(Universitat Politecnica de Valencia, ES)

Freek Verbeek
(Open University of The Netherlands, NL)


We invite you to submit a paper to the workshop, and present and discuss it at the event itself on topics related to:

  • Techniques and tools for automating test case design and selection, e.g. model-based, combinatorial-based, search based, symbolic-based, or property-based approaches.
  • Test case/suite optimization.
  • Test cases evaluation and metrics.
  • Test cases design, selection, and evaluation in emerging test domains, e.g. Graphical User Interfaces, Social Network, Cloud, Games or Security, Cyber Physical Systems.
  • Case studies that have evaluated on real systems, not only toy problems.
  • Experiences during test technology transfer from university to companies


Papers can be submitted through

 easychair (https://easychair.org/conferences/?conf=atest2017).

We expect the following type of papers:

Position paper (2 pages) intended to generate discussion and debate during the workshop.

Work-in-progress paper (4 pages) that describes novel work in progress, that not necessarily has reached its full completion.

Full paper (7 pages) describing original and completed research.

Technology transfer paper (4 pages). Describing a co-operation between University-Industry.

Tool demo

(4 pages) describing your tool and a description of your planned demo-session.



All submissions must be in English and in PDF format. Papers must not exceed the page limits that are listed in the call for papers. At the time of submission all papers must conform to the ACM Format and Submission Guidelines (http://www.acm.org/publications/article-templates/proceedings-template.html) All authors of accepted papers will be asked to complete an electronic ACM Copyright form and will receive further instructions for preparing their camera ready versions. All accepted contributions will be published in the conference electronic proceedings and in the ACM Digital Library Note that the official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of FSE 2017.


The official publication date affects the deadline for any patent filings related to published work. The names and ordering of authors in the camera ready version cannot be modified from the ones in the submitted version – no exceptions! The title can be changed only if required by the reviewers and the new title must be accepted by the workshop chairs. At least one author of each accepted paper must register for the workshop and present the paper at A-TEST 2017 in order for the paper to be published in the proceedings. Papers submitted for consideration to any of the above call for papers should not have been already published elsewhere and should not be under review or submitted for review elsewhere during the duration of consideration. Specifically, authors are required to adhere to the ACM Policy and Procedures on Plagiarism


(http://www.acm.org/publications/policies/plagiarism_policy) and the ACM Policy on Prior Publication and Simultaneous Submissions (http://www.acm.org/publications/policies/sim_submissions). All submissions are subject to the ACM Author Representations policy (http://www.acm.org/publications/policies/author_representations).