%0 Conference Proceedings
%F MDV10
%A Ceara, Dumitru
%A Mounier, Laurent
%A Potet, Marie-Laure
%T Taint Dependency Sequences: A Characterization of Insecure Execution Paths Based on Input-Sensitive Cause Sequences
%B ICSTW '10: Proceedings of the 2010 Third International Conference on Software Testing, Verification, and Validation Workshops
%P 371-380
%I IEEE Computer Society
%C Washington, DC, USA
%U http://www-verimag.imag.fr/PEOPLE/mounier/Papers/mdv10.pdf
%U http://dx.doi.org/10.1109/ICSTW.2010.28
%D 2010
%K Test and run-time verification