chebaro2012

Omar Chebaro, Mickaël Delahaye, Nikolai Kosmatov. Testing Inexecutable Conditions on Input Pointers in C Programs with SANTE. In 24th International Conference on Software and Systems Engineering and their Applications (ICSSEA 2012), Pages 1-7, October 2012.

Contact

Mickael Delahaye

BibTex Reference

@InProceedings{chebaro2012,
   Author = {Chebaro, Omar and Delahaye, Mickaël and Kosmatov, Nikolai},
   Title = {{T}esting {I}nexecutable {C}onditions on {I}nput {P}ointers in {C} {P}rograms with {SANTE}},
   BookTitle = {24th {I}nternational {C}onference on {S}oftware and {S}ystems {E}ngineering and their {A}pplications ({ICSSEA} 2012)},
   Pages = {1--7},
   Month = {October},
   Year = {2012}
}

EndNote Reference [help]

Get EndNote Reference (.ref)