Elena Sherman

View Scopus Profile

Elena Sherman

 https://orcid.org/0000-0003-4522-9725
    Calculated based on number of publications stored in Pure and citations from Scopus
    20092024

    Research activity per year

    Personal profile

    About

    Dr. Elena Sherman joined the faculty of the College of Engineering at Boise State University in 2013 as an assistant professor in the Department of Computer Science. She holds a Ph.D. in Computer Science from the University of Nebraska-Lincoln, a B.S. in Management Information Systems from Peru State College in Peru, Nebraska, and an M.S. in Astronomy from Moscow State University in Russia. Dr. Sherman previously taught at the University of Nebraska-Lincoln, and has worked for NASA, Google, Inc., and ConAgra Foods. She served on the organizing committee for the International Workshop on the State of the Art in Java Program Analysis (SOAP 2012), co-located with PLDI'12, in Beijing, China in June 2012.

    Fingerprint

    Dive into the research topics where Elena Sherman is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
    • 1 Similar Profiles
    View full fingerprint

    Collaborations and top research areas from the last five years

    Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
    Explore network further

    • Identifying Minimal Changes in the Zone Abstract Domain

      Ballou, K. & Sherman, E., 2023, Theoretical Aspects of Software Engineering - 17th International Symposium, TASE 2023, Proceedings. David, C. & Sun, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 221-239 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13931 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Minimally Comparing Relational Abstract Domains

      Ballou, K. & Sherman, E., 2023, Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Proceedings. André, É. & Sun, J. (eds.). Springer Science and Business Media Deutschland GmbH, p. 159-175 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14216 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Structural Test Input Generation for 3-Address Code Coverage Using Path-Merged Symbolic Execution

      Hussein, S., McCamant, S., Sherman, E., Sharma, V. & Whalen, M., 2023, Proceedings - 2023 IEEE/ACM International Conference on Automation of Software Test, AST 2023. Institute of Electrical and Electronics Engineers Inc., p. 79-89 11 p. (Proceedings - 2023 IEEE/ACM International Conference on Automation of Software Test, AST 2023).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Incremental Transitive Closure for Zonal Abstract Domain

      Ballou, K. & Sherman, E., 1 Jan 2022, NFM 2022: NASA Formal Methods.

      Research output: Chapter in Book/Report/Conference proceeding › Chapter

    • Incremental Transitive Closure for Zonal Abstract Domain

      Ballou, K. & Sherman, E., 2022, NASA Formal Methods - 14th International Symposium, NFM 2022, Proceedings. Deshmukh, J. V., Havelund, K. & Perez, I. (eds.). Springer Science and Business Media Deutschland GmbH, p. 800-808 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13260 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      1 Scopus citations
    View all 27 Research outputs