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 paper: Adobe portable document (pdf)
Copyright notice:
[ Test and run-time verification ]
@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}
}
Get EndNote Reference (.ref)