Nesov, V. (2009) “Automatically Finding Bugs in Open Source Programs”, Electronic Communications of the EASST, 20. doi: 10.14279/tuj.eceasst.20.256.