|
Model-Based Testing Workshop 2013 |
|
Monday, 25 March 2013 |
|
Researches of the Software Engineering Department participated in the 8th Model-Based Testing Workshop held in Rome, Italy on the 19 of March. The workshop was associated with ETAPS conference and hosted by Sapienza University of Rome. One section report on theme "Runtime Verification Based on Executable Models: On-the-Fly Matching of Timed Traces" was delivered by Mikhail Chupilko and Alexander Kamkin. Victor Kulamin made report with Jens Grabowski (University of Gottingen, Germany), Alain-Georges Vouffo Feudjio (Thales, Germany), Antal Wu-Hen-Chang (Ericsson, Hungary) and Milan Zoric (ETSI, France) on theme "Towards the Usage of MBT at ETSI".
Further information is available here. |
|
|
Monday, 24 December 2012 |
|
The 7th Spring/Summer Young Researcher’ Colloquium on Software Engineering (SYRCoSE 2013) will be held in Kazan, Russia in May 30-31, 2013. The event is organized by Institute for System Programming of RAS, Saint-Petersburg State University and Kazan National Research Technical University named after A.N. Tupolev (KNRTU-KAI), former Kazan Aviation Institute (KAI). It is supported by Intel, Russian Foundation for Basic Research and Nizhny Novgorod Foundation for Education and Research Assistance. We invite students, post-graduates and young PhDs (up to 35 years of age) to participate the colloquium. More information is available here.
|
|
|
ETSI Model-Based Testing User Conference |
|
Tuesday, 02 October 2012 |
|
On September 25-27, 2012 research worker of the Software Engineering Department Victor Kuliamin attended the ETSI Model-Based Testing User Conference, held in Tallinn, Estonia. For more information about the conference click here. |
|
|
Friday, 29 June 2012 |
|
On 11-14 June 2012 research worker of the Software Engineering Department Nikolay Pakulin made a presentation on “Networked testbed for hybrid systems” at the EU-Russian Workshop held in St. Petersburg, Russia. |
|
|
11th ETSI TTCN-3 User Conference |
|
Monday, 18 June 2012 |
|
On 11-14 June 2012 research worker of the Software Engineering Department Nikolay Pakulin attended the 11th ETSI TTCN-3 User Conference and Model Based Testing Workshop held in Bangalore, India. At the conference Nikolay made a presentation on “ETSI Update on TTCN-3 Language Evolution and Tool Conformance Testing” and gave a talk at seminar “Integrated Modular Avionics - a New Challenge for MBT” . |
|
|
Thursday, 24 May 2012 |
|
On May, 30-31 Spring Young Researchers Colloquium on Software
Engineering (SYRCoSE) will take place in Perm, Russia. SYRCoSE is a
colloquium on software engineering targeted at young researchers
(students, postgraduates, young PhD specialists, etc.). The main goal of
the colloquium is to help young specialists to meet each other, to get
more information on work of their colleagues, to exchange their
experience, and to practice in presenting their results at international
conferences and workshops. All works are reviewed by the committee. The
working language of the colloquium is English. |
|
|
Meeting of the working group on the standardization of the model based testing |
|
Monday, 21 May 2012 |
On May, 14 in Germany research worker of the Software Engineering Department Victor Kuliamin attended the meeting of the Working group on the standardization of the model based testing issues.
Also a regular meeting of the Working group on the using of the model based testing for the creation of the tests for telecommunication protocols standards checking was held on May, 14-18 in Germany. |
|
|
Visit to International University of Information Technologies in Almaty |
|
Monday, 14 May 2012 |
|
Workshop "Test Driven Development" was held on May, 11 at the 10th International Conference "Information Technologies and Management" in the International University of Information Technologies in Almaty, Kazakhstan. Workshop was conducted by senior researcher of Software Engineering Department of Institute for System Programming RAS Nicholay Pakulin for students and staff of the International University of Information Technologies. Also, Nicholas Pakulin made a presentation on "Model based conformance testing of communication protocols in common programming language". |
|
|
All-Russian Scientific Conference on Informatics |
|
Saturday, 28 April 2012 |
|
On April, 25 on the All-Russian Scientific Conference on Informatics СПИСОК-2012, Head of Software Engineering Department of Institute for System Programming RAS, Full Professor of System Programming Chair, Computer Science Department of Moscow State University, Dr. Alexander K. Petrenko made a presentation on "Models for the programs development - for business or a hobby?" 
|
|
|
Model Based Testing Workshop 2012 |
|
Wednesday, 04 April 2012 |
|
Model Based Testing Workshop, organized by Alexander Petrenko (ISP RAS, Russia) in collaboration with Holger Schlingloff (Fraungofer FIRST, Germany) was held on March, 25 at the ETAPS 2012 conference in Tallinn. Ina Schieferdecker, Head of the Competence Center for Modeling and Testing (MOTION) at the Fraunhofer Institute for Open Communication Systems (FOKUS), Berlin made a presentation on the topic “Model-Based Security Testing”. From Software Engineering Department of ISP RAS Yevgeny Gerlits made a presentation about “Model-Based Testing of Safety Critical Real-Time Control Logic Software”. 
|
|
|
