Achieving Abstract Machine Reachability with Learning-Based Model Fulfilment.

Chenghao Cai, Jing Sun, Gillian Dobbie, Scott Uk-Jin Lee

Browse the full APSEC paper archive.