Läser in ...
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Citat per år
Dubblettcitat
Följande artiklar är sammanfogade i Scholar. Deras
kombinerade citat
räknas endast för den första artikeln.
Sammanfogade citat
Antalet "Citeras av" inkluderar citat till följande artiklar i Scholar. Stjärnmärkta
*
citat kan skilja sig från artikeln i profilen.
Lägg till medförfattare
Medförfattare
Följ
Nya artiklar av denna författare
Nya källreferenser till denna författare
Nya artiklar relaterade till denna författares forskning
E-postadress för uppdateringar
Klar
Min profil
Mitt bibliotek
Statistik
Meddelande
Inställningar
Logga in
Logga in
Skapa en profil
Citeras av
Alla
Sedan 2019
Citat
9
9
h-index
1
1
i10-index
0
0
0
6
3
2022
2023
2024
1
3
5
Offentlig åtkomst
Visa alla
Visa alla
2 artiklar
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Följ
Zhe Zhou
PhD student of Computer Science,
Purdue University
Verifierad e-postadress på purdue.edu
Programming Language
Artiklar
Citeras av
Offentlig åtkomst
Titel
Sortera
Sortera efter citat
Sortera efter år
Sortera efter titel
Citeras av
Citeras av
År
Data-driven abductive inference of library specifications
Z Zhou, R Dickerson, B Delaware, S Jagannathan
OOPSLA
, 2021
8
2021
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
1
2023
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
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–3
Visa fler
Integritet
Villkor
Hjälp
Om Scholar
Sök i hjälpen