Junjie Chen, Alastair F. Donaldson, Andreas Zeller, Hongyu Zhang. Testing and Verification of Compilers (Dagstuhl Seminar 17502). Dagstuhl Reports, 7(12):50-65, 2017. [doi]
@article{ChenDZZ17, title = {Testing and Verification of Compilers (Dagstuhl Seminar 17502)}, author = {Junjie Chen and Alastair F. Donaldson and Andreas Zeller and Hongyu Zhang}, year = {2017}, doi = {10.4230/DagRep.7.12.50}, url = {https://doi.org/10.4230/DagRep.7.12.50}, researchr = {https://researchr.org/publication/ChenDZZ17}, cites = {0}, citedby = {0}, journal = {Dagstuhl Reports}, volume = {7}, number = {12}, pages = {50-65}, }