• 
  Elena Sherman

  Associate Professor

  Boise State University

  Her overall research interests focus on developing techniques that help software engineers to determine what the software that they build actually “does” when it is executed. Previously, she has carried out research work in testing of concurrent programs and in developing decision procedures. Currently she investigates techniques that are suitable for integrating the information obtained by various program analyses.

Co-Authored Publications

•  NEW TACAS'26: Demonstrating ARG-V's Generation of Realistic Java Benchmarks for SV-COMP Charles Moloney, Robert Dyer, Elena Sherman. April 15, 2026.
• ESEC/FSE: PAClab: A Program Analysis Collaboratory Rebecca Brunner, Robert Dyer, Maria Paquin, Elena Sherman. November 8, 2020.
• ESEC/FSE: Software Engineering Collaboratories (SEClabs) and Collaboratories as a Service (CaaS) Elena Sherman, Robert Dyer. November 6, 2018.
  Acceptance rate: 14/?? (??%)