Open liujunming opened 10 months ago
https://www.usenix.org/system/files/conference/atc13/atc13-harel.pdf
https://www.usenix.org/system/files/conference/atc13/atc13-harel.pdf