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

Personalizar los resultados

  1. Editar

Refine Search Results

Ampliar mis resultados

  1.   

Refinar mis resultados

Fecha de Publicación 

De Hasta

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