An Extensible Open-Source Compiler Infrastructure for Testing.
Daniel J. QuinlanShmuel UrRichard W. VuducPublished in: Haifa Verification Conference (2005)
Keyphrases
- open source
- open source software
- programming language
- source code
- case study
- code generation
- general purpose
- object oriented
- test set
- open standards
- highly flexible
- databases
- test cases
- software systems
- data types
- computing environments
- information exchange
- relational databases
- application specific
- core components
- website
- metadata
- neural network