Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Soucie, Sam"'
Autor:
Nelson, Tim, Rivera, Elijah, Soucie, Sam, Del Vecchio, Thomas, Wrenn, John, Krishnamurthi, Shriram
Publikováno v:
The Art, Science, and Engineering of Programming, 2022, Vol. 6, Issue 2, Article 10
Context: This work is based on property-based testing (PBT). PBT is an increasingly important form of software testing. Furthermore, it serves as a concrete gateway into the abstract area of formal methods. Specifically, we focus on students learning
Externí odkaz:
http://arxiv.org/abs/2111.10414
