弗拉基米尔·希什科夫
人员信息
优化列表
2000 – 2009
2003 【c2】 亚历克谢·亚。 卡利诺夫 , 亚历山大·科萨切夫 , 亚历山大·彼得伦科 , 米哈伊尔·波西普金 , 弗拉基米尔·希什科夫 :
使用ASM规范进行编译器测试。 抽象状态机 2003 : 415 【c1】 亚历克谢·亚。 卡利诺夫 , 亚历山大·科萨切夫 , 亚历山大·彼得伦科 , 米哈伊尔·波西普金 , 弗拉基米尔·希什科夫 :
Coverage-driven自动编译器测试套件生成。 LDTA@ETAPS(预计到达时间) 2003 : 500-514