Login / Signup
Extending equivalence transformation based program generator for random testing of C compilers.
Shogo Takakura
Mitsuyoshi Iwatsuji
Nagisa Ishiura
Published in:
A-TEST@ESEC/SIGSOFT FSE (2018)
Keyphrases
</>
test cases
symbolic execution
programming language
hardware and software
computer systems
search based software testing
general purpose
test set
code generation
software testing
test suite
pseudorandom
static analysis
computer programs
uniformly distributed
database
control program
databases