Mana Taghdiri Daniel Jackson Inferring specifications to detect errors in code. 87-121 2007 14 Autom. Softw. Eng. 1 http://dx.doi.org/10.1007/s10515-006-0005-x db/journals/ase/ase14.html#TaghdiriJ07