SpecTest: Specification-Based Compiler Testing.

Richard Schumi Jun Sun

Published in: FASE (2021)

Keyphrases

code generation
formal verification
programming language
test case generation
general purpose
application development
high level
test cases
real time
specification language
knowledge base
formal specification
test suite
formal methods
search engine
information retrieval
test data generation
neural network