DelahayeK_CSTVA_2013

Mickaël Delahaye, Nikolai Kosmatov. A Late Treatment of C Precondition in Dynamic Symbolic Execution. In Fifth Workshop on the Constraints in Software Testing, Verification and Analysis (CSTVA 2013), Pages 230-231, March 2013.

Contact

Mickael Delahaye

BibTex Reference

@InProceedings{DelahayeK_CSTVA_2013,
   Author = {Delahaye, Mickaël and Kosmatov, Nikolai},
   Title = {{A} {L}ate {T}reatment of {C} {P}recondition in {D}ynamic {S}ymbolic {E}xecution},
   BookTitle = {{F}ifth {W}orkshop on the {C}onstraints in {S}oftware {T}esting, {V}erification and {A}nalysis ({CSTVA} 2013)},
   Pages = {230--231},
   Publisher = {IEEE},
   Month = {March},
   Year = {2013}
}

EndNote Reference [help]

Get EndNote Reference (.ref)