skip to main content
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking
Material Type:
Artículo
Añadir a Mi Portal

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 [Revista revisada por pares]

New York: IEEE

Texto completo disponible

Buscando en bases de datos remotas, por favor espere

  • Buscando por
  • enscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
  • Mostrar lo que tiene hasta ahora