Zhiquan Zhou Bernhard Scholz Giovanni Denaro Automated Software Testing and Analysis: Techniques, Practices and Tools. 260 2007 conf/hicss/2007 HICSS http://doi.ieeecomputersociety.org/10.1109/HICSS.2007.96 db/conf/hicss/hicss2007.html#ZhouSD07