IEEE Software
10.1109/MS.2008.109
2008
Automating Software Testing Using Program Analysis
Godefroid, P.; de Halleux, P.; Nori, A.V.; Rajamani, S.K.; Schulte, W.; Tillmann, N.; Levin, M.Y.
سوال امنیتی
