Affiliation: | 1. Department of Computer and Software Engineering, Ecole Polytechnique de Montréal, C.P. 6079, succ. Centre-ville Montréal, Québec, H3C 3A7, Canada;2. Ericsson, 8400 Decarie, Montréal, Québec, H4P 2N2, Canada;3. Software Integrity Group, Synopsys Canada, 800 6th Ave SW, Suite 410, Calgary, T2P 3G3, Canada |