skip to main content

Language:

1 Results for General Search

Sorted by: Sorted by: Date-newestOr hit Enter to replace sort method

Refined by: Journal Title: Ieee Transactions On Software Engineering

remove

Result Number	Material Type	Add to My Shelf Action	Record Details and Options
1	Material Type: Article		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 View Online Details Reviews & Tags More Times Cited Citations Cited by

1 Results for General Search

Sorted by: Sorted by: Date-newestOr hit Enter to replace sort method

Personalize your results

Edit

RSS

Add page to e-Shelf

Refine Search Results

Expand My Results

Expand My Results

on this subject:

Implemented by: Social Network Logos:

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