"Discover deeper bugs with dynamic symbolic execution and coverage-based ..."

Bin Zhang et al. (2018)

Details and statistics

DOI: 10.1049/IET-SEN.2017.0200

access: open

type: Journal Article

metadata version: 2023-08-28