Home/Journals/Proceedings of the Spring/Summer young researchers' colloquium on software engineering
Proceedings of the Spring/Summer young researchers' colloquium on software engineering
Print ISSN
2311-7230
Country
RU
Journal Info
Publisher
Institute for System Programming of the Russian Academy of Sciences (ISPRAS)
25
Articles
0
Volumes
Published Works
Recent Articles
Article
DPMine/C: C++ Library and Graphical Frontend for DPMine Workflow Language
Sergey Andreevich Shershakov
20140
Article
Extended Finite State Machine based Test Derivation Strategies for Telecommunication Protocols
Natalia Kushik, Anton Kolomeez, Ana Rosa Cavalli
20140
Article
An Architecture of Effective Discrete-Event Simulation Engine for Early Validation of Avionics Systems
Denis Buzdalov
20140
Article
Generation of a Set of Event Logs with Noise
Ivan Shugurov, Alexey Alexandrovich Mitsyuk
20140
Article
Minimizing the Number of Static Verifier Traces to Reduce Time for Finding Bugs in Linux Kernel Modules
Vitaly Mordan, Evgeny Novikov
20140
Article
NPNtool: Modelling and Analysis Toolset for Nested Petri Nets
Leonid Wladimirovich Dworzanski, Daniil Frumin
20130
Article
MicroTESK: An Extendable Framework for Test Program Generation
Alexander Kamkin, Tatiana Sergeeva, Andrei Tatarnikov
20130
Article
MetaLanguage: a Tool for Creating Visual Domain-Specific Modeling Languages
Alexander Sukhov, Lyudmila Nickolaevna Lyadova
20120
Article
Multistroke Mouse Gestures Recognition in QReal metaCASE Technology
Maria Osechkina, Y. V. Litvinov, Timofey Bryksin
20120
Article
MicroTESK: An ADL-Based Reconfigurable Test Program Generator for Microprocessors
Alexander Kamkin, Andrei Tatarnikov
20120
Article
The Problem of Creating Multi-Tenant Database Clusters
Evgeny Boytsov, Valery A. Sokolov
20120
Article
Detecting Faults in TFTP Implementations using Finite State Machines with Timeouts
Maxim Zhigulin, Svetlana A. Prokopenko, Maria Forostyanova
20120