Download PDFOpen PDF in browserLooking Back: a Probabilistic Inverse Perspective on Test GenerationEasyChair Preprint 132575 pages•Date: May 12, 2024AbstractSoftware 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
|