STAR: Stack Trace Based Automatic Crash Reproduction via Symbolic Execution.

Ning Chen Sunghun Kim

Published in: IEEE Trans. Software Eng. (2015)

Keyphrases

symbolic execution
test generation
test data generation
static analysis
specification language
open source
genetic algorithm
relational databases
domain independent
machine vision