Testing an Optimising Compiler by Generating Random Lambda Terms
Paper i proceeding, 2011
Författare
Michal Palka
Chalmers, Data- och informationsteknik, Programvaruteknik
Koen Lindström Claessen
Chalmers, Data- och informationsteknik, Programvaruteknik
Alejandro Russo
Chalmers, Data- och informationsteknik, Programvaruteknik
John Hughes
Chalmers, Data- och informationsteknik, Programvaruteknik
International Workshop on Automation of Software Test
Styrkeområden
Informations- och kommunikationsteknik
Ämneskategorier
Programvaruteknik
Datavetenskap (datalogi)