Software Specification and Verification Laboratory

Research Projects

• UTJML Project
  • Automation of unit testing
  • Specification of method call sequences
  • Canica: An IDE for JML
• Milaap Project
• Potential projects for students (available only for the utep.edu domain)

Members

• Current members
  • Yoonsik Cheon
  • Myoung Y. Kim (PhD, since Fall 2004)
  • Guillermo Flores (PhD, since Summer 2007)
  • Poonam D. Agarwal (MS, since Spring 2006)
  • Amritam Sarcar (MS, since Spring 2008)
  • Yong Wang (MS, since Spring 2008)

• Past members
  • Antonio Cortes (MS, Fall 2007 - Spring 2008)
  • Carlos E. Rubio-Medrano (PhD, Spring 2008; MS, Spring 2006 - Fall 2007)
  • Angelica Perez (MS, Spring 2004 - Summer 2006)
  • Ashaveena Perumandla (MS, Summer 2004 - Fall 2005)

For Members

• Call for Papers
  • List of CFPs (locally maintained)
  • ACM SIGSOFT: [events] [calendar]
  • IEEE CS conference calendar
  • List of software engineering conferences
• Bibliographic Databases
• Lab Repository
  • Accessing CVS repository
  • Browse CVS repository
  • Request CVS accounts

Last modified: $Id: index.html,v 1.28 2008/02/02 17:18:23 cheon Exp $