Software Testing Research Group: Meeting Times - Tuesday and Thursday at 6:30PM and Saturdays 1:00PM in ECS 212A.
CVM prototype meeting: Wednesday 3 - 5PM and Friday 3:30 - 5:30 PM in ECS 212.
Software Testing Research Group (STRG) (Faculty Coordinator) - All are welcome to our meetings. We usually discuss topics of interest to the members in the group, as well as give progress reports on current research projects.
CVM Research Group (Project Leader) - The
long term goal of this project is to develop a technology that allows
user to build executable communication-intensive models. This
technology includes the Communication Modeling Language (CML) and a platform to execute communication model, the Communication Virtual Machine (CVM).