Looking Back: a Probabilistic Inverse Perspective on Test Generation

EasyChair Preprint 13257

Abstract

Software validation is hard, among others things because of the sheer size of the input space. Reversible computation have shown promises to mitigate some difficulties in software debugging, but have not been applied to the wider area of software validation. To alleviate this, we propose that relaxing reversible computing to a combination of probabilistic and inverse computation. This will create a new model that is a great candidate for mitigating the difficulties of software validation.

Keyphrases: Inverse computing, Probabilistic Computing, test generation

@booklet{EasyChair:13257,
  author    = {Joachim Kristensen and Tobias Reinhard and Michael Kirkedal Thomsen},
  title     = {Looking Back: a Probabilistic Inverse Perspective on Test Generation},
  howpublished = {EasyChair Preprint 13257},
  year      = {EasyChair, 2024}}