Towards optimal concolic testing.

Xinyu Wang Jun Sun Zhenbang Chen Peixin Zhang Jingyi Wang Yun Lin

Published in: ICSE (2018)

Keyphrases

dynamic programming
neural network
closed form
optimal control
optimal design
database
real time
decision making
knowledge base
website
optimal solution
expert systems
user interface