Deploying TESTAR to enable remote testing in an industrial CI pipeline: a case-based evaluation

Fernando Pastor Ricos, P.K. Aho, T.E.J. Vos, Ismael Torres Boigues, Ernesto Calas Blasco, Hector Martınez Martınez

Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review


Companies are facing constant pressure towards shorter release cycles while still maintaining a high level of quality. Agile development, continuous integration and testing are commonly used quality assurance techniques applied in industry. Increasing the level of test automation is a key ingredient to address the short release cycles. Testing at the graphical user interface (GUI) level is challenging to automate, and therefore many companies still do this manually. To help find solutions for better GUI test automation, academics are researching scriptless GUI testing to complement the script-based approach. In order to better match industrial problems with academic results, more academia-industry collaborations for case-based evaluations are needed. This paper describes such an initiative to improve, transfer and integrate an academic scriptless GUI testing tool TESTAR into the CI pipeline of a Spanish company Prodevelop. The paper describes the steps taken, the outcome, the challenges, and some lessons learned for successful industry-academia collaboration.
Original languageEnglish
Title of host publicationLeveraging Applications of Formal Methods, Verification and Validation
Subtitle of host publicationVerification Principles
EditorsTiziana Margaria, Bernhard Steffen
PublisherSpringer International Publishing AG
Number of pages15
ISBN (Electronic)978-3-030-61362-4
ISBN (Print)978-3-030-61361-7
Publication statusPublished - 30 Nov 2020
Event9th International Symposium on Leveraging Applications of Formal Methods - Online, Rhodes, Greece
Duration: 20 Oct 202030 Oct 2020

Publication series

SeriesTheoretical Computer Science and General Issues (LNCS subseries)


Symposium9th International Symposium on Leveraging Applications of Formal Methods
Abbreviated titleISoLA 2020


  • Automated testing
  • CI
  • GUI level
  • Technology transfer


Dive into the research topics of 'Deploying TESTAR to enable remote testing in an industrial CI pipeline: a case-based evaluation'. Together they form a unique fingerprint.

Cite this