Recent Publications and Talks (in reverse chronological order)
- AspectJML: Modular Specification and Runtime Checking for Crosscutting Contracts, with Henrique Rebelo, Gary T. Leavens, Mehdi Bagherzadeh, Hridesh Rajan, Ricardo Massa Lima, Marcio Cornelio and Thomas Thum. 13th International Conference on Modularity (MODULARITY ’14), Lugano, Switzerland, April 2014.
- 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.
Complete publication lists by category are available on separate pages (at left).