Student | Nigmatulin Maksim |
---|---|
Main field of study | 09.04.04 Software Engineering |
Qualification | Master |
Title | Development of a toolkit to train artificial neural networks to select an optimal path for symbolic execution |
Status | Published |
Editor | Candidate of Physics and Mathematics S.V.Grigorev |
Year | 2024 |