The 1st International Workshop on Test Oracles

Mon 23 - Fri 27 August 2021 Athens, Greece

co-located with ESEC/FSE 2021


TORACLE 2021 is the 1st International Workshop on Test Oracles, co-located with ESEC/FSE 2021: The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering

The challenge of distinguishing correct from incorrect test executions is called the (test) oracle problem and it is recognised as one of the fundamental challenges in software testing. For the first time TORACLE 2021 will bring together researchers and practitioners working on the techniques, approaches and tools related to the alleviation and automation of the oracle problem. The workshop will enable the participants to present ideas, discuss recent results and develop a shared agenda for future research.

TORACLE is a one-day workshop, which will consist of two sessions followed by a discussion panel.


Paper submission deadline: June 1, 2021
Notification: July 1, 2021

Call For Papers

TORACLE calls for high quality papers related to the test oracle problem.

We accept the following types of contributions:

  • Long papers: 10-page papers (including references and appendices) that present authors’ original research work and results.
  • Short papers: 4 page papers (including references and appendices) that present one of the following:

    • Position and Vision Paper: to propose radical, innovative new ideas, arguments, and research directions.
    • Work-in-Progress Paper: to describe novel work that is not at the same level of research maturity as a full submission.
    • Industrial and Experience Paper: to describe the experience gained from applying/evaluating techniques to alleviate the oracle problem in an industrial context.
    • Demonstration paper: to describe new research tools, data, and other artifacts related to the test oracle problem. We also encourage the submission of demonstrations of already published research techniques. However, a demonstration paper submission must not have been previously published in a demonstration form. Authors of accepted papers can choose to give either a presentation or a live demonstration.

Each submission will be reviewed by three members of the program committee. The main evaluation criteria include the relevance and quality of the submission in terms of technical soundness, novelty, relevance for the TORACLE audience, and presentation quality.

Accepted contributions will be included in the ESEC/FSE 2021 proceedings.

How to Submit

TORACLE 2021 will employ a double-blind review process. The papers submitted must not reveal the authors’ identities in any way. The authors’ names must be omitted from the submission, and references to their prior work should be made in the third person. The only exception are Demonstration papers, which will employ a single-blind review process. The demonstration papers submitted do not need to hide the authors’ identities.

All papers must conform to the ESEC/FSE 2021 formatting instructions. The page limit is strict. Submitted papers must be written in English and in PDF format. They must be unpublished and not submitted for publication elsewhere. Papers must be submitted electronically through the HOTCRP submission site: The submission deadline is June 1, 2021.

Topics Of Interest

  • Automated generation of test case assertion oracles. Automated generation of contracts, program assertions, invariants, pre and post-conditions.
  • Metrics and techniques for assessing the quality of oracles.
  • Oracles for specific types of software systems such as deep learning systems, machine learning systems, cyber-physical systems, web applications, and mobile applications.
  • Automated improvement of test oracles.
  • Automated extraction of oracles from various natural language sources. Metamorphic oracles.
  • Oracles for non-functional properties, such as security, performance.
  • Oracle-based coverage criteria.
  • Empirical evaluations of oracle-related techniques in real-world scenarios.
  • Techniques for reducing the cost of manually deriving test oracles.
  • Theoretical formalisation and analysis of the oracle problem.

If you have doubts about your submission being in the scope of the workshop, do not hesitate to contact the organisers.

Committee Members


PC Members

Name Afilliation Country
Earl Barr University College London UK
Alessandra Gorla The IMDEA Software Institute Spain
Facundo Molina Universidad Nacional de Río Cuarto Argentina
Arianna Blasi Università della Svizzera italiana Switzerland
Phil McMinn University of Sheffield UK
Gregory Gay University of Gothenburg Sweden
Shing-Chi Cheung The Hong Kong University of Science and Technology Hong Kong SAR
Leonardo Mariani University of Milano BICOCCA Italy
Jeff Offutt George Mason University USA
Michal Young University of Oregon USA
Reza Shahamiri University of Auckland NZ