OREGON STATE UNIVERSITY

You are here

Biblio

Found 4 results
Filters: Author is Ernst, Michael D.  [Clear All Filters]
2011
Dig, D., J. Marrero, and M. D. Ernst, "How do programs become more concurrent: a story of program transformations", Proceeding of the 4th international workshop on Multicore software engineering - IWMSE '11, Honolulu, HI, USA, ACM Press, pp. 43 - 50, 05/2011.
2010
Artzi, S., A. Kiezun, J. Dolby, F. Tip, D. Dig, A. Paradkar, and M. D. Ernst, "Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking", IEEE Transactions on Software Engineering, vol. 36, issue 4, pp. 474 - 494, 07/2010.
2009
Dig, D., J. Marrero, and M. D. Ernst, "Refactoring sequential Java code for concurrency via concurrent libraries", 2009 IEEE 31st International Conference on Software Engineering, Vancouver, BC, Canada, IEEE, pp. 397 - 407, 05/2009.
2008
Artzi, S., A. Kiezun, J. Dolby, F. Tip, D. Dig, A. Paradkar, and M. D. Ernst, "Finding bugs in dynamic web applications", Proceedings of the 2008 international symposium on Software testing and analysis - ISSTA '08, Seattle, WA, USA, ACM Press, pp. 261-272 , 07/2008.