skip to main content
Language:
Refined by: subject: Automatic Testing remove
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
Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking
Material Type:
Article 		Add to e-Shelf

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 [Peer Reviewed Journal]

New York: IEEE

Full text available

Citations Cited by

Personalize your results

  1. Edit

Refine Search Results

Expand My Results

  1.   

Refine My Results

Creation Date 

From To
Refine

  • Implemented by: ABCD-USP USP   Social Network Logos: Freepik

Searching Remote Databases, Please Wait

  • Searching for
  • inscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
  • Show me what you have so far