▲ 1 points

EMI Testing: Finding 1000+ Bugs in GCC and LLVM in 3 Years – Zhendong Su

youtube.com

by matt_d·9y ago·1 comments·view on hn ↗

1 comments

Slides: http://www.srl.inf.ethz.ch/workshop2016/Su.pdf

Video: https://www.youtube.com/watch?v=x4JUUlO9XGY

Homepage: http://web.cs.ucdavis.edu/~su/emi-project/