|
On March 17-24 UniTESK technology and new versions of UniTESK tools will be presented on CeBIT, Hannover as a part of the Russian Ministry of industry, science, and technologies exposition. Welcome to Halle 5, Stand E48. |
|
|
CTesK 2.0 has been released |
|
CTesK 2.0 has been released. The new version supports testing of asynchronous systems and contains full SEC semantic checker, automatic memory garbage collector for specification types and a new report generator. The tool can be used in both Microsoft Visual Studio 6.0 IDE and command line. |
|
|
Case studies are published |
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 |
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 |
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. |
|
|
|
<< Start < Prev 1 2 3 4 5 6 7 8 9 10 Next > End >>
|
| Results 64 - 72 of 82 |
