Haskell Compiler Testing Automation Based on Equivalence-Modulo-Inputs Method
Alastair F. Donaldson
◽
Paul Thomson
◽
Vasyl Teliman
◽
Stefano Milizia
◽
André Perez Maselco
◽
...
Alexey Kalinov
◽
Alexandre Kossatchev
◽
Alexander Petrenko
◽
Mikhail Posypkin
◽
Vladimir Shishko
1985 ◽
Vol 28
(10)
◽
pp. 1054-1058
◽
Robin Morisset
◽
Pankaj Pawan
◽
Francesco Zappa Nardelli
1980 ◽
Vol 10
(11)
◽
pp. 897-918
◽
A. Celentano
◽
S. Crespi Reghizzi
◽
P. Della Vigna
◽
C. Ghezzi
◽
G. Granata
◽
...
Xinwei Wu
◽
Peng Zhang
◽
Qiang Huang
◽
Qirong Ma
◽
Guanglei Shao
◽
...
2019 ◽
Vol 14
(1)
◽
pp. 1-20
◽
Yixuan Tang
◽
Zhilei Ren
◽
Weiqiang Kong
◽
He Jiang
Junjie Chen
◽
Guancheng Wang
◽
Dan Hao
◽
Yingfei Xiong
◽
Hongyu Zhang
◽
...