Recent Publications and Talks (in reverse chronological order)
- Testing Library Specifications by Verifying Conformance Tests, with Joseph R. Kiniry and Ralph Hyland. 6th International Conference on Tests & Proofs (TAP ’12), Prague, Czech Republic, May 2012.
- Toward Instant Gradeification, with Joseph R. Kiniry and Fintan Fairmichael. 24th IEEE-CS Conference on Software Engineering Education and Training, Waikiki, Honolulu, Hawaii. May 2011.
- Verified Gaming, with Joseph R. Kiniry. 1st Games and Software Engineering Workshop (GAS 2011), at 33rd International Conference on Software Engineering (ICSE 2011), Waikiki, Honolulu, Hawaii, May 2011.
- At the Intersection of Applied Formal Methods and Unit Testing. National Taiwan University, Taipei, Taiwan, January 2011.
- JMLUnit: The Next Generation, with Rinkesh Nagmoti. 1st International Conference on Formal Verification of Object-Oriented Software (FoVeOOS 2010), Paris, France, June 2010.
- JMLUnit: The Next Generation, with Rinkesh Nagmoti. Accepted by 10th International Conference on Quality Software (QSIC 2010), Zhangjiajie, China, July 2010, but withdrawn for lack of travel funding.
- Building Reliable Software with Applied Formal Methods: A Brief Overview. National Taiwan University, Taipei, Taiwan, January 2010.
- A Verification-centric Software Development Process for Java, with Joseph R. Kiniry. 9th International Conference on Quality Software (QSIC 2009), Jeju, Korea, August 2009.
- Building Reliable Software with Applied Formal Methods: A Brief Overview. KITECH, Seoul, South Korea, August 2009.
- Automatic Web Services Generation, with Ernest Cho and Sam Chung. 42nd Hawai’i International Conference on System Sciences (HICSS-42), Waikoloa, Hawai’i, January 2009.
- Secret Ninja Formal Methods, with Joseph R. Kiniry. 15th International Symposium on Formal Methods (FM '08), Turku, Finland, May 2008.
Complete publication lists by category are available on separate pages (at left).