Kristensen, Joachim ; Reinhard, Tobias ; Thomsen, Michael Kirkedal (2024)
Looking Back: a Probabilistic Inverse Perspective on Test Generation.
30th International Conference on Types for Proofs and Programs (TYPES 2024). Copenhagen, Denmark (10.06.2024 ‑ 14.06.2024)
Konferenzveröffentlichung, Bibliographie
Kurzbeschreibung (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.
| Typ des Eintrags: | Konferenzveröffentlichung |
|---|---|
| Erschienen: | 2024 |
| Autor(en): | Kristensen, Joachim ; Reinhard, Tobias ; Thomsen, Michael Kirkedal |
| Art des Eintrags: | Bibliographie |
| Titel: | Looking Back: a Probabilistic Inverse Perspective on Test Generation |
| Sprache: | Englisch |
| Publikationsjahr: | Juni 2024 |
| Buchtitel: | 30th International Conference on Types for Proofs and Programs: TYPES 2024 - Abstracts |
| Veranstaltungstitel: | 30th International Conference on Types for Proofs and Programs (TYPES 2024) |
| Veranstaltungsort: | Copenhagen, Denmark |
| Veranstaltungsdatum: | 10.06.2024 ‑ 14.06.2024 |
| Zugehörige Links: | |
| Kurzbeschreibung (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. |
| Freie Schlagworte: | inverse computing, probabilistic computing, test generation, E1 |
| Fachbereich(e)/-gebiet(e): | 20 Fachbereich Informatik 20 Fachbereich Informatik > Softwaretechnik DFG-Sonderforschungsbereiche (inkl. Transregio) DFG-Sonderforschungsbereiche (inkl. Transregio) > Sonderforschungsbereiche DFG-Graduiertenkollegs DFG-Sonderforschungsbereiche (inkl. Transregio) > Sonderforschungsbereiche > SFB 1119: CROSSING – Kryptographiebasierte Sicherheitslösungen als Grundlage für Vertrauen in heutigen und zukünftigen IT-Systemen |
| Hinterlegungsdatum: | 29 Okt 2024 13:07 |
| Letzte Änderung: | 29 Okt 2024 13:07 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Frage zum Eintrag |
Optionen (nur für Redakteure)
 |
Redaktionelle Details anzeigen |
Drucken
Impressum