Volume 38, issue 6, part 2

Nikulshin P.A., Dubich E.V., Khoroshilov A.V. SyzAnalyzer: A tool for analysing difficult-to-reproduce errors in the Linux kernel pp. 7-20

Ishchenko A.D., Anureev I.S. Using static analysis to reduce the number of verification conditions generated for Reflex programs pp. 21-40

Zelenov S.V. Automated Test Case Generation for Optimizers Based on Attribute Grammar pp. 41-56

Pervunetskikh E.D. Using TLA+ and the Tsay-Li Framework for Building Transactional Memory Models pp. 57-66

Parshin M.A., Stepanov D.S. Automatic Test Generation from Execution State Using Large Language Models. pp. 67-92

Soloviov M.V., Drobyshevskiy M.D., Moiseikin A.D., Poltavtsev E.Y., Poturilo E.N., Khalko I.S. Glassbox Models for Graph Data: Taxonomy, Illustrative Analysis, and Perspectives on an Emerging Direction pp. 93-116

Kabakov V.A., Mitsyuk A.A. Goldfish: A Collaborative Web-Based Petri Net Editor with Real-Time Synchronization pp. 117-132

Avdoshin S.M., Pesotskaya E. Y. Artificial Intelligence for Software Engineering (AI4SE): A Review of Capabilities, Evaluation, and Verification Challenges pp. 133-146

Sentiurev M.A., Makarov I.A. On Activation Design for Improving Robustness and Effective Capacity in Neural Networks pp. 147-162

Bubenkov I.I., Bykov O.I., Matiushin D.A. Analysis of methods for constraining undesirable image generation in diffusion models pp. 163-186

Kostin M.A., Dovgalyuk P.M., Fursova N.I., Stepanov V.M. Metric selection for ranking functions from attack surface pp. 187-198

Kosogorov D.E., Kopylov D.E., Okhotin I.I., Poddubny A.I., Tobola K.V., Dorodnykh N.O., Mikhailov A.A. A Multimodal Graph-Based Approach for Retrieval Augmented Generation pp. 199-226

Egorova E.P. AIGame: Architecture of the Platform for Studying AI-Agent Interaction and Immersion pp. 227-238

Zaplatin O.A., Fedorov S.V., Loktev D.A. The virtual camera method for locating objects in the field of view of an ultra-wide-angle camera pp. 239-248

Matiushin D.A., Bykov O.I., Bubenkov I.I. Investigation of diffusion-based editing applied to data augmentation in image classification tasks pp. 249-274

Ionov T.R., Malykh V.A. MAESTRO: Multi-turn Agent Environment Synthesis for Training and Optimization pp. 275-284

Goncharova O.V. Principles of Building a Prosodic Annotation System Based on Parametric Data pp. 285-302

Kovylin S.V. Development of the ablative formant *naːnɨ in Selkup dialects pp. 303-316

Fast N.M., Krivonogov A.S., Koznov D.V. Domain-Specific Modeling for Measuring Stands pp. 317-332

Titova A.V., Karpov A.I. A parametric study of the numerical characteristics of a coupled CFD algorithm for predicting the dynamics of pneumohydraulic devices pp. 333-346

But I.I. Block-Structured AMR Implementation of Quasi-Gas Dynamic Algorithm for Compressible Flows pp. 347-362

Petrenko A.S. Quantum-resistant hash function BLAKE-PQ. Part 1 pp. 363-384