Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking
Artzi, S ; Kiezun, A ; Dolby, J ; Tip, F ; Dig, D ; Paradkar, A ; Ernst, M D
IEEE transactions on software engineering, 2010-07, Vol.36 (4), p.474-494 [Periódico revisado por pares]New York: IEEE
Texto completo disponível