Goal-oriented dynamic test generation - Do, TheAnh; Khoo, Siau-Cheng; Fong, Alvis Cheuk Ming; Pears, Russel; Quan, Tho Thanh (Information and software technology, 2015)
Keywords: Algorithms; Buffer overflow vulnerabilities; Data and control dependence analysis; Dynamic symbolic execution; Security management; Software; Software quality; Studies; Type inference analysis; Buffer overflow vulnerabilities; Type inference analysis; Dynamic symbolic execution; Data and control dependence analysis