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|