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, Octobre 2012.
@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}
}
Charger la référence EndNote (.ref)