Verification-based Software-fault Detection

Verification-based Software-fault Detection

4.11 - 1251 ratings - Source

To overcome this problem symbolic execution has been combined with concrete execution [Sen et al., 2005; Cadar et al., 2008; Tillmann and de ... A VBT extension for Spec# [Bar- Boogie [Barnett et al., 2006], has been developed in [ Billeter, 2008]. ... A VBT extension of ESC/Java2 is Checka#39;na#39;Crash [Smarag- dakis and Csallner, 2007]. ... Bogor/Kiasan combines symbolic execution, model checking, anbsp;...

Title:Verification-based Software-fault Detection
Author:Christoph David Gladisch
Publisher:KIT Scientific Publishing - 2011


You Must CONTINUE and create a free account to access unlimited downloads & streaming