Improving the precision of INCA by preventing spurious cycles

Ì ÁÒ ÕÙ Ð ØÝ Æ ×× ÖÝ ÓÒ Ø ÓÒ Ò ÐÝÞ Ö ´ÁÆ µ × ¬Ò Ø ¹×Ø Ø Ú Ö ¬ Ø ÓÒ ØÓÓÐ Ø Ø × Ò Ð ØÓ ÔÖÓÔ¹ ÖØ × Ó ×ÓÑ Ú ÖÝ Ð Ö ÓÒ ÙÖÖ ÒØ ×Ý×Ø Ñ׺ ÁÆ × ÔÖÓÔ ÖØÝ Ó ÓÒ ÙÖÖ ÒØ ×Ý×Ø Ñ Ý Ò Ö Ø Ò ×Ý×Ø Ñ Ó Ò ÕÙ Ð Ø × Ø Ø ÑÙ×Ø Ú ÒØ Ö ×ÓÐÙØ ÓÒ× Ø ÔÖÓÔ ÖØÝ Ò Ú ÓÐ Ø º Ì Ö Ñ Ý¸ ÓÛ Ú Ö¸ ÒØ Ö ×ÓÐÙØ ÓÒ× ØÓ Ø Ò ÕÙ Ð Ø × Ø Ø Ó ÒÓØ ÓÖÖ ×ÔÓÒ ØÓ Ò Ü ÙØ ÓÒ Ú ÓÐ Ø Ò Ø ÔÖÓÔ ÖØݺ ÁÆ Ø Ù× ÔØ× Ø ÔÓ×× Ð ØÝ Ó Ò Ò ÓÒ ÐÙ× Ú Ö ×ÙÐØ Ò Ü Ò ÓÖ Ö Ø Ö ØÖ Ø Ð Øݺ Ï × Ö Ö Ñ Ø Ó ÓÖ Ð Ñ Ò Ø Ò ÓÒ Ó Ø ØÛÓ Ñ Ò ×ÓÙÖ × Ó Ø × Ò ÓÒ ÐÙ× Ú Ö ×ÙÐØ׺ Categories and Subject Descriptors º¾º ËÓ ØÛ Ö Ò Ò Ö Ò ËÓ ØÛ Ö »ÈÖÓ Ö Ñ Î Ö ¬¹ Ø ÓÒ General Terms × Ò¸ Ê Ð Ð Øݸ Î Ö ¬ Ø ÓÒ Keywords ÁÆ ¸ ¬Ò Ø ¹×Ø...

• Type: Conference
• Year: 2000
• Where: ISSTA
• Authors: Stephen F. Siegel, George S. Avrunin
• Keywords: ISSTA 2000, Software Engineering