Crosscutting invariant and an efficient checking algorithm using program slicing.

Jia Lv Ying Jing Minghui Wu Canghong Jin Crosscutting invariant and an efficient checking algorithm using program slicing. 12-20 2008 43 SIGPLAN Notices 2 http://doi.acm.org/10.1145/1361213.1361215 db/journals/sigplan/sigplan43.html#LvJWJ08