|
Case studies are published |
|
Wednesday, 21 January 2004 |
Case studies are published on industrial, experimental, and pilot projects conducted with use of UniTESK technology.<br/>
(see case studies on CTesK and OTK tools) |
|
|
1st European Conference on Model Driven Software Engineering |
|
Monday, 15 December 2003 |
On December 11 the paper "UniTESK: Model Based Testing in Industrial Practice'' has been presented at the 1st European Conference on Model Driven Software Engineering in Nuremberg, Germany. The paper has aroused interest of Microsoft, IBM Research Laboratory (Haifa), IST programme specialists and other participants of the conference.<br/>
(see the presentation) |
|
|
UniTESK Lab held training for Intel |
|
Friday, 12 December 2003 |
On November 24--28 a training was conducted for Intel corporation on test generators creating for automated testing of analyzing and optimizing
compilers with OTK tool. Participants of the training mentioned its high effectiveness. During the design work (16 hours) the participants was able to build tests for two complex components of a real-world optimizing Intel compiler. |
|
|
1st South-East European Workshop on Formal Methods |
|
Wednesday, 19 November 2003 |
On November 20 a report Rapid Training on Specification Based Testing Tools'' will be given at the 1st South-East European Workshop on Formal
"Agile Formal Methods: Practical, Rigorous Methods for a changing world}'' in Thessaloniki, Greece.
(see the article) |
|
|
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)
|
|
|
|
<< Start < Prev 1 2 Next > End >>
|
| Results 51 - 67 of 67 |
