Bernhard Beckert Tony Hoare Reiner Hähnle Douglas R. Smith Cordell Green Silvio Ranise Cesare Tinelli Thomas Ball Sriram K. Rajamani Intelligent Systems and Formal Methods in Software Engineering. 71-81 2006 21 IEEE Intelligent Systems 6 http://doi.ieeecomputersociety.org/10.1109/MIS.2006.117 db/journals/expert/expert21.html#BeckertHHSGRTBR06