Omar Chebaro, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand. Program slicing enhances a verification technique combining static and dynamic analysis. In Sascha Ossowski, Paola Lecca, editors, Proceedings of the ACM Symposium on Applied Computing, SAC 2012, Riva, Trento, Italy, March 26-30, 2012. pages 1284-1291, ACM, 2012. [doi]
Abstract is missing.