Vladislav Kraevoy Dan Julius Alla Sheffer 129-138 2007 PG https://doi.org/10.1109/PG.2007.40 https://doi.ieeecomputersociety.org/10.1109/PG.2007.40 conf/pg/2007 db/conf/pg/pg2007.html#KraevoyJS07