The paper QuickChecking Static Analysis Properties is accepted at ICST'15 5 January 2015 by Ann Eg Mølhave Read the abstract ICST'15 conference web site