This page contains the papers presented at the 2nd Spring Young Researchers' Colloquium on Software Engineering (SYRCoSE 2008) held in St. Petersburg on May 29-30, 2008.

Industrial Software Engineering

P. Drobintsev, V. Kotlyarov, A. Karpov, and Y. Yusupov.
Usage of CASE Approach for Guaranteeing of Software Quality.
Volume 1, pp. 7-10.

D. Silakov.
Linux Distributions and Applications Analysis During Linux Standard Base Development.
Volume 1, pp. 11-18. (Presentation)

P. Sedov.
CMMI® Oriented Organization Training CASE Development.
Volume 1, pp. 19-22.

A. Ksenzov.
On Methods of Visual Feedback Organization in Unmanned Aviation.
Volume 1, pp. 23-25.

Safety and Security

D. Kazachkin and D. Gamayunov.
Network Traffic Analysis Optimization at Signature-Based Intrusion Detection Systems.
Volume 1, pp. 27-31. (Presentation)

A. Savelieva.
Formal Methods and Tools for Evaluating Cryptographic Systems Security.
Volume 1, pp. 33-36. (Presentation)

S. Seleznev and A. Mikhaylov.
The Security Protocols Analyzer Using Extensions of SPi-Calculus.
Volume 1, pp. 37-39. (Presentation)

Automata-Based Programming

A. Klebanov.
Automata-Based Programming Technology Extension for Generation of JML Annotated Java Card Code.
Volume 1, pp. 41-44. (Presentation)

A. Astafurov and A. Shalyto.
Declarative Approach to Implementing Automata Classes in Imperative Programming Languages.
Volume 1, pp. 45-49.

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

D. Kochelaev, B. Khasanzyanov, B. Yaminov, and A. Shalyto.
Instrumental Tool for Automata Based Software Development UniMod 2
Volume 1, pp. 55-58. (Presentation)

E. Mandrikov and V. Kulev.
Development of Software System for State Machine Generation Using Genetic Algorithms.
Volume 1, pp. 59-60.

Formal Verification

Y. Yusupov and V. Kotlyarov.
Automated Creation of Verification Model for C-Programs.
Volume 2, pp. 7-10. (Presentation)

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

E. Kurbatsky.
Verification of Automata-Based Programs.
Volume 2, pp. 15-17.

Runtime Verification and Simulation

O. Stepanov and A. Shalyto.
A Method for Automatic Runtime Verification of Automata-Based Programs.
Volume 2, pp. 19-23. (Presentation)

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

A. Shabaldin and D. Timchenko.
Error Generator for Communication Lines in Local Network Simulation Tool.
Volume 2, pp. 33-36.

Test Generation

E. Chernov.
Extension of Interface Signature Descriptions for Automatic Test Generation.
Volume 2, pp. 37-42. (Presentation)

E. Kornikhin.
Test Data Generation for Arithmetic Subsystem of CPUs MIPS64.
Volume 2, pp. 43-46.

M. Gromov.
A Novel Method for Derivation of a Test with Guaranteed Coverage for LTS.
Volume 2, pp. 47-49.(Presentation)

Analysis of Programs

P. Bulychev and M. Minea.
Duplicate Code Detection Using Anti-Unification.
Volume 2, pp. 51-54. (Presentation)

E. Knyazev.
Automated Source Code Changes Classification for Effective Code Review and Analysis.
Volume 2, pp. 55-59. (Presentation)