SmacC: A Retargetable Symbolic Execution Engine ∗ Armin Biere1 , Jens Knoop2 , Laura Kov´acs3 , and Jakob Zwirchmayr2 1 JKU Linz, 2 TU Vienna, 3 Chalmers University of Technology

First Page		Document Content
Date: 2013-12-12 08:42:01		SmacC: A Retargetable Symbolic Execution Engine ∗ Armin Biere1 , Jens Knoop2 , Laura Kov´acs3 , and Jakob Zwirchmayr2 1 JKU Linz, 2 TU Vienna, 3 Chalmers University of Technology Add to Reading List Source URL: www.cse.chalmers.se Download Document from Source Website File Size: 214,98 KB Share Document on Facebook