Mousse: a system for selective symbolic execution of programs with untamed environments.

Yingtong Liu Hsin-Wei Hung Ardalan Amiri Sani

Published in: EuroSys (2020)

Keyphrases

symbolic execution
static analysis
test data generation
test generation
specification language
source code
data flow
test cases
neural network
real world
data model
software engineering
programming language
open source