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
Industrial Software Engineering
Safety and Security
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)
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)
Runtime Verification and Simulation
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)