Gagarski Kirill Alekseevich

Publications in Math-Net.Ru

1. Using a bounded model checker for test generation: how to kill two birds with one SMT-solver
   
   Model. Anal. Inform. Sist., 21:6 (2014),  83–93