Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Bosio, Sophie Adeline Solheim"'
Autor:
Gashi, Triera, Bosio, Sophie Adeline Solheim, Kristensen, Joachim Tilsted, Thomsen, Michael Kirkedal
Property-based testing is a powerful method to validate program correctness. It is, however, not widely use in industry as the barrier of entry can be very high. One of the hindrances is to write the generators that are needed to generate randomised
Externí odkaz:
http://arxiv.org/abs/2309.04696
Publikováno v:
Bosio, Sophie Adeline Solheim. Contra: Automatically Finding Algebraic Counterexamples to Property-Based Tests. Master thesis, University of Oslo, 2024
Externí odkaz:
http://hdl.handle.net/10852/112638