%0 Journal Article %1 journals/tse/ArtziKDTDPE10 %A Artzi, Shay %A Kiezun, Adam %A Dolby, Julian %A Tip, Frank %A Dig, Danny %A Paradkar, Amit M. %A Ernst, Michael D. %D 2010 %J IEEE Trans. Software Eng. %K dblp %N 4 %P 474-494 %T Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking. %U http://dblp.uni-trier.de/db/journals/tse/tse36.html#ArtziKDTDPE10 %V 36

@article{journals/tse/ArtziKDTDPE10, added-at = {2015-12-10T00:00:00.000+0100}, author = {Artzi, Shay and Kiezun, Adam and Dolby, Julian and Tip, Frank and Dig, Danny and Paradkar, Amit M. and Ernst, Michael D.}, biburl = {https://www.bibsonomy.org/bibtex/2a1116c8ee3e5e9aa87f47d9da7a7d8ae/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/TSE.2010.31}, interhash = {52d5a8664b7d88220a611ff739117701}, intrahash = {a1116c8ee3e5e9aa87f47d9da7a7d8ae}, journal = {IEEE Trans. Software Eng.}, keywords = {dblp}, number = 4, pages = {474-494}, timestamp = {2015-12-12T11:42:54.000+0100}, title = {Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse36.html#ArtziKDTDPE10}, volume = 36, year = 2010 }