Work

Testing an optimising compiler by generating random lambda terms

Year: 2011

Type: conference-paper

Source: International Workshop on Automation of Software Test (AST)

DOI: 10.1145/1982595.1982615

Authors: Michał H. Pałka, Koen Claessen, Alejandro Russo, John Hughes

Institution: Chalmers University of Technology

Language: English

Topic: Software Testing and Debugging Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2125126351

FWCI: 3.338

Cites: 20

Cited by: 131

Related to: 10