Selomie Kindu Ejigu

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

Symbolic Execution

Signature Verification

Software Reliability

Quality Assurance

Top Venues

Publications

Rohini Bisht, Selomie Kindu Ejigu, Gregory Gay, Predrag Filipovikj
Identifying Redundancies and Gaps Across Testing Levels During Verification of Automotive Software. ICSTW (2023)