Yuri Gurevich (Microsoft Research) visit UniTESK Lab |
Saturday, 21 June 2003 |
Yuri Gurevich (Microsoft Research) has meet with UniTESK Development Team. UniTESK Lab. testing tools have been presented to him and compared with testing tools based on Abstract State Machines (developed by Yuri Gurevich team). The problem of distributed systems specification and testing had the main place on the meeting.
|
|