Folgen
Zhe Zhou
Zhe Zhou
PhD student of Computer Science, Purdue University
Bestätigte E-Mail-Adresse bei purdue.edu
Titel
Zitiert von
Zitiert von
Jahr
Data-driven abductive inference of library specifications
Z Zhou, R Dickerson, B Delaware, S Jagannathan
OOPSLA, 2021
82021
Covering All the Bases: Type-Based Verification of Test Input Generators
Z Zhou, A Mishra, B Delaware, S Jagannathan
arXiv preprint arXiv:2304.03393, 2023
12023
A HAT Trick: Automatically Verifying Representation Invariants Using Symbolic Finite Automata
Z Zhou, Q Ye, B Delaware, S Jagannathan
arXiv preprint arXiv:2404.01484, 2024
2024
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–3