Skip to content

Machine-learning-guided selectively unsound static analysis.

Kihong Heo, Hakjoo Oh, Kwangkeun Yi

VenueA*ICSE
Year2017
ProceedingsICSE

Browse the full ICSE paper archive.