Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Susarla, Partha"'
Autor:
Chen, Zilin, Rizkallah, Christine, O'Connor, Liam, Susarla, Partha, Klein, Gerwin, Heiser, Gernot, Keller, Gabriele, Sub Software Technology, Software Technology
Publikováno v:
SLE ’22, December 06ś07, 2022, Auckland, New Zealand, 84. Association for Computing Machinery
STARTPAGE=84;TITLE=SLE ’22, December 06ś07, 2022, Auckland, New Zealand
STARTPAGE=84;TITLE=SLE ’22, December 06ś07, 2022, Auckland, New Zealand
Property-based testing (PBT) is a powerful tool that is widely available in modern programming languages. It has been used to reduce formal software verification effort. We demonstrate how PBT can be used in conjunction with formal verification to in
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4358213e3f77d8aff16591315fdf2520
https://dspace.library.uu.nl/handle/1874/424707
https://dspace.library.uu.nl/handle/1874/424707