1 citations · 1 across the 1 of their papers we have counts for
1 paper
Wenhan Wang, Kaibo Liu, An Ran Chen +4
Symbolic execution is a key technology in software testing, which generates test cases by collecting symbolic path constraints and then solving constraints with SMT solvers. Symbol…