Vol-4223⫷ Vol-4224 ⫸Vol-4225
urn:nbn:de:0074-4224-0


Vol-4224/Paper11⫷Vol-4224/Paper12⫸Vol-4224/Paper13
Symbat NurgaliyevaSanzhar KuandykZhuldyz BasheyevaMaxot RakhmetovRoman Hrmo

Integrating symbolic execution and machine learning for automated test generation in system-level programming languages vision