Scholar

Elena Sherman

Google Scholar ID: YVovscMAAAAJ

Boise State University

Software Engineering

Google Scholar↗

Citations & Impact

All-time

Citations

177

H-index

6

i10-index

5

Publications

20

Co-authors

6

list available

Contact

No contact links provided.

Publications

2 items

Demonstrating ARG-V's Generation of Realistic Java Benchmarks for SV-COMP

2026

Cited

0

muRelBench: MicroBenchmarks for Zonotope Domains

arXiv.org · 2024

Cited

0

Resume (English only)

Co-authors

6 total

Thomson Distinguished Professor, University of Virginia; Amazon Scholar

Sebastian Elbaum

Professor of Computer Science, University of Virginia

Assistant Professor, University of Nebraska-Lincoln