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