Live briefing
Everything about Csmith
Test case generation tool
Csmith is a test case generation tool. It can generate random C programs that statically and dynamically conform to the C99 standard. It is used for stress-testing compilers, static analyzers, and other tools that process C code. It is a free, open source, permissively licensed C compiler fuzzer developed by researchers at the University of Utah. It was previously called Randprog. Wikipedia →
🧭 Start here: a 6-step reading path
- Read the overview: CsmithA 5-minute orientation
- Pick up a classic book: Regionalism in EnglandThe most-reprinted book on the subject
- Read the landmark paper: Practice Professional Development Planning:A Guide for Primary CareAuthors:Practice Professional Development Planning:A Guide for Primary CarePWilcock , CCampion CSmith and SElston Radcliffe Medical Press104£19.9518577580561857758056Cited 0 times
- Go sideways: John RegehrA closely related topic
- Go sideways: Compiler-compilerA closely related topic
📖 Definitions
No dictionary entry for this exact phrase.
🗂️ The subject at a glance
No outline available.
🏆 Landmark papers (most cited)
Practice Professional Development Planning:A Guide for Primary CareAuthors:Practice Professional Development Planning:A Guide for Primary CarePWilcock , CCampion CSmith and SElston Radcliffe Medical Press104£19.9518577580561857758056
Complex Socket Deformities Advances in ophthalmic plastic and reconstructive surgeryStephen LBosniak (Editor) and Byron CSmith (Founding Editor). New York: McGraw‐Hill Health Professions Division, 1992. pp. 310. Aust $175.00, NZ $219.51 + GST. ISBN: 0‐07‐105383‐2
Fatigue crack propagation in rapidly solidified aluminium alloys at 25°C and 300°CSmith, H. H., Michel, D. J. and Reed, J. R.Metall. Trans. A Nov. 1989 20A, (11), 2425–2430
Neutron irradiation effects on fatigue crack propagation in alloy 718 at 650°CSmith, H. H. and Michel, D. J. J. Nucl. Mater. June 1987 149, (1), 109–112
📚 Books worth reading
Regionalism in EnglandSmith, Brian C. · 1964
Geographic information systems and librariesClinic on Library Applications of Data Processing (32nd 1995 University of Illinois at Urbana-Champaign) · 1996- 📕Smith's English atlas · 1804
- 📕GamesCynthia Smith · 1988
Nathaniel Smith of Vermont and some of his descendants, circa 1775-1985Smith, Gary V. · 1985- 📕Arkansas SmithsWilla Thomas Sorensen · 1986
Ranked by number of editions on Open Library, a rough measure of how lasting a book is.
🔗 Related topics
- John Regehr John Regehr is a computer scientist specializing in compiler correctness and undefined behavior. As of 2016[update], he is a professor at the University…
- Compiler-compiler In computer science, a compiler-compiler or compiler generator is a programming tool that creates a parser, interpreter, or compiler from some form of…
- Programming tool A programming tool or software development tool is a computer program that is used to develop another computer program, usually by helping the developer…
- Cobra (programming language) Free and open-source software portal Cobra is a discontinued general-purpose, object-oriented programming language. Cobra is designed by Charles Esterbrook…
- Random testing Random testing is a black-box software testing technique where programs are tested by generating random, independent inputs. Results of the output are…
- Random test generator Random test generators (often abbreviated RTG or ISG for Instruction Stream Generator or Instruction Sequence Generator) are a type of computer software…
- Java Modeling Language The Java Modeling Language (JML) is a specification language for Java programs, using Hoare style pre- and postconditions and invariants, that follows…
- Lint (software) Lint is a Unix utility that performs static program analysis on C language source code. The software gives its name to modern computing tools responsible…