Download PDFOpen PDF in browser

Looking Back: a Probabilistic Inverse Perspective on Test Generation

EasyChair Preprint 13257

5 pagesDate: May 12, 2024

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

BibTeX entry
BibTeX does not have the right entry for preprints. This is a hack for producing the correct reference:
@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}}
Download PDFOpen PDF in browser