Back to Results
First PageMeta Content
Lisp programming language / Logic in computer science / Programming language semantics / Reduction strategy / Predicate logic / Operational semantics / Robert Bruce Findler / Free variables and bound variables / Eval / Programming language theory / Software engineering / Computing


Randomized Testing in PLT Redex Casey Klein Robert Bruce Findler University of Chicago
Add to Reading List

Document Date: 2009-07-24 12:05:06

Open Document

File Size: 308,40 KB

Share Result on Facebook

Currency

USD / /

/

Facility

terminal E / The complex / PLT Redex Casey Klein Robert Bruce Findler University of Chicago / /

IndustryTerm

search space corresponding / bug search space / function applications / search space sizes / formal systems / software engineers / search space / random test case generation tool / search space size / /

Organization

University of Chicago / Northwestern University / /

/

Position

Redex programmer / model / where appropriate / designer / Evaluator / /

ProgrammingLanguage

Haskell / C / PLT Scheme / Prolog / L / /

Technology

html / ASCII / GUI / /

URL

http /

SocialTag