|
UniTESK Lab. on conference "New Generation Internet'' |
|
Tuesday, 14 October 2003 |
On October 6--10 2nd International Conference "New Generation Internet'' was held in Yaroslavl, Russia. A report on testing IPv6
implementation by means of formal methods was given at the conference.
|
|
|
UniTESK tools - only representatives of software testing tools on Softool |
|
Monday, 06 October 2003 |
SofTool-2003 exhibition came to the end. UniTESK tools were the only representatives of software testing tools. They generated interest among both visitors and members of the exhibition. A presenation "UniTESK testing tools'' was given for concerned with the technology.
(see presentation) |
|
|
UniTESK testing tools on Softool |
|
Wednesday, 24 September 2003 |
On September 30 - October 4 UniTESK testing tools will be presented on
SofTool-2003 exhibition, Moscow.
Welcome to stand E05 of Institute for System Programming of RAS! |
|
|
Monday, 22 September 2003 |
Questions about CTesK now can be addressed to CTesK support forum. Users of this product and everyone interested in the technology are invited.
|
|
|
UniTESK testing tools on FM 2003 |
|
Wednesday, 03 September 2003 |
On September 8 - 12 UniTESK testing tools will be presented on FM 2003: the 12th International FME
Symposium, Pisa, Italy. |
|
|
Sir Tony Hoare in UniTESK Lab |
|
Monday, 07 July 2003 |
Professor Sir Tony Hoare has visited UniTESK Lab. Team in order to get familiar with program verification projects. (see photos)
|
|
|
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. |
|
|
Conference "Microsoft technologies in scientific researches and higher education'' |
|
Wednesday, 11 June 2003 |
|
On the 16th of June A. Demakov will give a report "Application of UniTESK technology for test development for .NET components'' at "Microsoft technologies in scientific researches and higher education'' conference. |
|
|
Monday, 28 April 2003 |
|
UniTESK has been presented to Computer Society of India. UniTesK technology and supporting tools have been presented on lecture “Specification-based Testing Methods in Real-life Software Development Process” for Chennai Chapter of Computer Society of India. CSI members valued the UniTESK technology very much and were interested in adapting the approach for their software development processes. |
|
|
Tuesday, 15 April 2003 |
|
CTesK training course, April 8–11. The training course was conducted to 8 post-graduate students of Prof. W. J. Paul, Saarland University (Germany), engaged in software and hardware verification. The students obtained certificates upon awarding the qualification “Tester of software systems.” (more about the training course) |
|
|
|
<< Start < Prev 1 2 Next > End >>
|
| Results 51 - 63 of 63 |
