Micro-scale Concolic Testing Framework for Automated Test Data Generation Based on Path Coverage.

Fangqing Liu Han Huang Yi Xiang

Published in: ICSE Companion (2024)

Keyphrases

test data generation
search based testing
test cases
symbolic execution
test suite
software testing
simulated annealing algorithm
test case generation
neural network
real world
objective function
simulated annealing