Advanced Search
DSpace@MIT

Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit State Model Checking

Research and Teaching Output of the MIT Community

Files in this item

Name Size Format Description
MIT-CSAIL-TR-2009 ... 921.2Kb PDF
MIT-CSAIL-TR-2009 ... 3.324Mb Postscript

This item appears in the following Collection(s)

MIT-Mirage