NOTE: This site is archived content and is, for the most part, no longer being actively updated. Information on a permanent new home for JMLUnitNG will be available soon; the most recent version released before this site was archived will continue to be available here.
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, Daniel M. Zimmerman, Joseph R. Kiniry and Fintan Fairmichael. 24th IEEE-CS Conference on Software Engineering Education and Training, Waikiki, Honolulu, Hawaii. May 2011.
- Verified Gaming, Joseph R. Kiniry and Daniel M. Zimmerman. 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, Daniel M. Zimmerman. National Taiwan University, Taipei, Taiwan, January 2011.
- JMLUnit: The Next Generation, Daniel M. Zimmerman and Rinkesh Nagmoti. 1st International Conference on Formal Verification of Object-Oriented Software (FoVeOOS 2010), Paris, France, June 2010.
- JMLUnit: The Next Generation, Daniel M. Zimmerman and 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, Daniel M. Zimmerman. National Taiwan University, Taipei, Taiwan, January 2010.
- A Verification-centric Software Development Process for Java, Daniel M. Zimmerman and 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, Daniel M. Zimmerman. KITECH, Seoul, Korea, August 2009.
- Verification-centric Development in Java with JML and ESC/Java2, Daniel M. Zimmerman, Joseph R. Kiniry, Gary T. Leavens, and Erik Poll. 2009 European Joint Conferences on Theory and Practice of Software (ETAPS 2009), York, United Kingdom, March 2009. Accepted, but subsequently canceled due to attendance effects of economic downturn.
- Verification-centric Development in Java using BON, JML and ESC/Java2, Joseph R. Kiniry, David Cok, Fintan Fairmichael, Gary T. Leavens, Erik Poll, and Daniel M. Zimmerman. TOOLS-EUROPE 2008, Zürich, Switzerland, June/July 2008.
- Secret Ninja Formal Methods, Joseph R. Kiniry and Daniel M. Zimmerman. 15th International Symposium on Formal Methods (FM '08), Turku, Finland, May 2008.
- Verification-centric Development in Java using JML and ESC/Java2, Joseph R. Kiniry, Gary T. Leavens, Erik Poll and Daniel M. Zimmerman. 2008 European Joint Conferences on Theory and Practice of Software (ETAPS 2008), Budapest, Hungary, March/April 2008.