4 citations · 6 across the 8 of their papers we have counts for
1 paper · 1 filter
Elson Kurian, Daniela Briola, Pietro Braione +1
Automated test generation based on symbolic execution can be beneficial for systematically testing safety-critical software, to facilitate test engineers to pursue the strict testi…