@ARTICLE {5343,
author={J. Antunes and N.  Neves and M.V. Correia and P.  Verissimo and R. Neves},
doi={10.1109/TSE.2009.91},
journal={IEEE Transactions on Software Engineering},
title={Vulnerability Discovery with Attack Injection},
year={2010},
month={June},
volume={36},
number={3},
pages={357-370},
ISSN={0098-5589}
}