Shigetoshi Yokoyama Nobukazu Yoshioka Takahiro Shida 63-64 2012 PESOS@ICSE https://doi.org/10.1109/PESOS.2012.6225943 https://doi.ieeecomputersociety.org/10.1109/PESOS.2012.6225943 http://dl.acm.org/citation.cfm?id=2666060 conf/icse/2012pesos db/conf/icse/pesos2012.html#YokoyamaYS12