Issue 2008 (2)

Proceedings of the Spring/Summer Young Researchers' Colloquium on Software Engineering

This issue contains papers presented at the Second Spring Young Researchers' Colloquium on Software Engineering (SYRCoSE’2008) held in St. Petersburg, Russia during May 29-30, 2008. The selection was based on peer reviewing by program committee. Both regular and research-in-progress papers were considered acceptable for this colloquium. The topics of the colloquium include industrial software engineering, safety and security, automata-based programming, formal and simulation-based verification, test generation, analysis of programs, and others.


Spring Young Researchers' Colloquiums on Software Engineering (SYRCoSE) began in 2007. The main goal of the colloquiums is to bring together young researchers in the field of software engineering from different universities and research institutes, their scientific advisers, and other professors to give young researchers a possibility to present their recent work, to discuss results, and to gain an experience of presentations and discussions.

SYRCoSE’2008 held 29-30 May, 2008 in St. Petersburg, Russia. The event is organized by Saint-Petersburg State University and Institute for System Programming of RAS with support of Russian Foundation for Basic Research (grant № 08-07-06025-Г).

This year we have received 27 submissions to the SYRCoSE colloquium. Each submission was carefully refereed by at least two reviewers. After a discussion, the Program Committee has selected 23 papers for presentation at the colloquium. The papers are presented by researchers from Belarusian State University of Informatics and Radioelectronics, Higher School of Economics, Institute for System Programming of RAS, Lobachevsky State University of Nizhni Novgorod, Moscow Engineering Physics Institute (State University), Moscow State University, Saint-Petersburg State Polytechnic University, Saint-Petersburg State University of Information Technologies, Mechanics and Optics, “Politehnica” University of Timisoara, and Tomsk State University. The papers cover different important topics such as industrial software engineering, safety and security, automata-based programming, analysis of programs, formal and simulation-based verification, test generation, and others.

Finally, we would like to thank all young researchers presented papers for SYRCoSE’2008 and their scientific advisers (if applicable). We would also like to thank all PC members, reviewers, and members of Organizing Committee for their excellent and efficient work.

Alexander S. Kamkin, Alexander K. Petrenko and Andrey N. Terekhov
May 2008

Industrial Software Engineering

P. Drobintsev, V. Kotlyarov, A. Karpov, Y. Yusupov. Usage of CASE Approach for Guaranteeing of Software Quality. Volume 1, pp. 7-10. DOI: 10.15514/SYRCOSE-2008-2-1.

D. Silakov. Linux Distributions and Applications Analysis During Linux Standard Base Development. Volume 1, pp. 11-18. DOI: 10.15514/SYRCOSE-2008-2-2. (Presentation)

P. Sedov. CMMI® Oriented Organization Training CASE Development. Volume 1, pp. 19-22. DOI: 10.15514/SYRCOSE-2008-2-3.

A. Ksenzov. On Methods of Visual Feedback Organization in Unmanned Aviation.  Volume 1, pp. 23-25. DOI: 10.15514/SYRCOSE-2008-2-4.

Safety and Security

D. Kazachkin, D. Gamayunov. Network Traffic Analysis Optimization at Signature-Based Intrusion Detection Systems. Volume 1, pp. 27-31. DOI: 10.15514/SYRCOSE-2008-2-5. (Presentation)

A. Savelieva, S. Avdoshin. Formal Methods and Tools for Evaluating Cryptographic Systems Security. Volume 1, pp. 33-36. DOI: 10.15514/SYRCOSE-2008-2-6. (Presentation)

S. Seleznev, A. Mikhaylov. The Security Protocols Analyzer Using Extensions of SPi-Calculus. Volume 1, pp. 37-39. DOI: 10.15514/SYRCOSE-2008-2-7. (Presentation)

Automata-Based Programming

A. Klebanov. Automata-Based Programming Technology Extension for Generation of JML Annotated Java Card Code. Volume 1, pp. 41-44. DOI: 10.15514/SYRCOSE-2008-2-8. (Presentation)

A. Astafurov, A. Shalyto. Declarative Approach to Implementing Automata Classes in Imperative Programming Languages. Volume 1, pp. 45-49. DOI: 10.15514/SYRCOSE-2008-2-9.

A. Davydov, D. Sokolov, F. Tsarev, A. Shalyto. Application of Genetic Algorithms for Construction of Moore Automaton and Systems of Interacting Mealy Automata in «Artificial Ant» Problem. Volume 1, pp. 51-54. DOI: 10.15514/SYRCOSE-2008-2-10. (Presentation)

D. Kochelaev, B. Khasanzyanov, B. Yaminov, A. Shalyto. Instrumental Tool for Automata Based Software Development UniMod 2. Volume 1, pp. 55-58. DOI: 10.15514/SYRCOSE-2008-2-11. (Presentation)

E. Mandrikov, V. Kulev. Development of Software System for State Machine Generation Using Genetic Algorithms. Volume 1, pp. 59-60. DOI: 10.15514/SYRCOSE-2008-2-12.

Formal Verification

Y. Yusupov, V. Kotlyarov. Automated Creation of Verification Model for C-Programs. Volume 2, pp. 7-10. DOI: 10.15514/SYRCOSE-2008-2-13. (Presentation)

A. Khoroshilov, V. Mutilin, V. Shcherbina, O. Strikov, S. Vinogradov, V. Zakharov. How to Cook an Automated System for Linux Driver Verification. Volume 2, pp. 11-14. DOI: 10.15514/SYRCOSE-2008-2-14. (Presentation)

E. Kurbatsky. Verification of Automata-Based Programs. Volume 2, pp. 15-17. DOI: 10.15514/SYRCOSE-2008-2-15.

Runtime Verification and Simulation

O. Stepanov, A. Shalyto. A Method for Automatic Runtime Verification of Automata-Based Programs. Volume 2, pp. 19-23. DOI: 10.15514/SYRCOSE-2008-2-16. (Presentation)

M. Chupilko, A. Kamkin, D. Vorobyev. Methodology and Experience of Simulation-Based Verification of Microprocessor Units Based on Cycle-Accurate Contract Specifications. Volume 2, pp. 25-31. DOI: 10.15514/SYRCOSE-2008-2-17. (Presentation)

A. Shabaldin, D. Timchenko. Error Generator for Communication Lines in Local Network Simulation Tool. Volume 2, pp. 33-36. DOI: 10.15514/SYRCOSE-2008-2-18.

Test Generation

E. Chernov. Extension of Interface Signature Descriptions for Automatic Test Generation. Volume 2, pp. 37-42. DOI: 10.15514/SYRCOSE-2008-2-19. (Presentation)

E. Kornikhin. Test Data Generation for Arithmetic Subsystem of CPUs MIPS64. Volume 2, pp. 43-46. DOI: 10.15514/SYRCOSE-2008-2-20.

M. Gromov. A Novel Method for Derivation of a Test with Guaranteed Coverage for LTS. Volume 2, pp. 47-49. DOI: 10.15514/SYRCOSE-2008-2-21. (Presentation)

Analysis of Programs

P. Bulychev, M. Minea. Duplicate Code Detection Using Anti-Unification. Volume 2, pp. 51-54. DOI: 10.15514/SYRCOSE-2008-2-22. (Presentation)

E. Knyazev. Automated Source Code Changes Classification for Effective Code Review and Analysis. Volume 2, pp. 55-59. DOI: 10.15514/SYRCOSE-2008-2-23. (Presentation)