vix.ing · top · new · best · stats · spec

Kurian, Elson

  1. Automatically Generating Test Cases for Safety-Critical Software via Symbolic Execution
    2022/09/22 by Elson Kurian, Kurian, Elson, Daniela Briola +5 · 1 citation
    Computer Science · #D.2.4 #F.3.1 #FOS: Computer and information sciences #Model-Driven Software Engineering Techniques #Software Engineering (cs.SE) #Software Engineering Research #Software Testing and Debugging Techniques