Covering All the Bases: Type-Based Verification of Test Input Generators

Test input generators are an important part of property-based testing (PBT) frameworks. Because PBT is intended to test deep semantic and structural properties of a program, the outputs produced by these generators can be complex data structures, constrained to satisfy properties the developer belie...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Proceedings of ACM on programming languages 2023-06, Vol.7 (PLDI), p.1244-1267, Article 157
Hauptverfasser:	Zhou, Zhe, Mishra, Ashish, Delaware, Benjamin, Jagannathan, Suresh
Format:	Artikel
Sprache:	eng
Schlagworte:	Automated static analysis Language types Software and its engineering
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!