DK_RV_2013

Mickaël Delahaye, Nikolai Kosmatov. A Late Treatment of C Precondition in Dynamic Symbolic Execution Testing Tools. In Runtime Verification (RV 2013), LNCS, Volume 8174, Pages 328-333, Rennes, France, 2013.

Contact

Mickael Delahaye

BibTex Reference

@InProceedings{DK_RV_2013,
   Author = {Delahaye, Mickaël and Kosmatov, Nikolai},
   Title = {A Late Treatment of {C} Precondition in Dynamic Symbolic Execution Testing Tools},
   BookTitle = {Runtime Verification (RV 2013)},
   Volume = {8174},
   Pages = {328--333},
   Series = {LNCS},
   Address = {Rennes, France},
   Year = {2013}
}

EndNote Reference [help]

Get EndNote Reference (.ref)