Jump to : Download | Keyword | BibTex reference | EndNote reference |

MDV10

Dumitru Ceara, Laurent Mounier, Marie-Laure Potet. Taint Dependency Sequences: A Characterization of Insecure Execution Paths Based on Input-Sensitive Cause Sequences. In ICSTW '10: Proceedings of the 2010 Third International Conference on Software Testing, Verification, and Validation Workshops, Pages 371-380, Washington, DC, USA, 2010.

Download

Download paper: Doi page

Download paper: Adobe portable document (pdf) pdf

Copyright notice:

Keyword

[ Test and run-time verification ]

BibTex Reference

@InProceedings{MDV10,
   Author = {Ceara, Dumitru and Mounier, Laurent and Potet, Marie-Laure},
   Title = {Taint Dependency Sequences: A Characterization of Insecure Execution Paths Based on Input-Sensitive Cause Sequences},
   BookTitle = {ICSTW '10: Proceedings of the 2010 Third International Conference on Software Testing, Verification, and Validation Workshops},
   Pages = {371--380},
   Publisher = {IEEE Computer Society},
   Address = {Washington, DC, USA},
   Year = {2010}
}

EndNote Reference [help]

Get EndNote Reference (.ref)