Back to Results
First PageMeta Content
Theoretical computer science / Technology / Computing / Product development / Formal methods / Logic in computer science / Science and technology / Formal verification / Software development / Software testing / Oracle / Software bug


Inferring Programmer Intent and Related Errors from Software By MARK GREGORY GABEL B.S. (California Polytechnic State University, San Luis ObispoM.S. (California Polytechnic State University, San Luis Obispo) 2006
Add to Reading List

Document Date: 2011-07-29 16:13:28

Open Document

File Size: 2,37 MB

Share Result on Facebook