PySymGym: An Infrastructure to Train AI-Powered Navigation Assistant for Symbolic Execution Engine.

Anna Chistyakova, Maxim Nigmatulin, Ekaterina Shemetova, Danil Parfenov, David Akhmedov, Semyon V. Grigorev

Browse the full ICSE paper archive.