SISL: Concolic Testing of Structured Binary Input Formats via Partial Specification.

Sören Tempel Vladimir Herdt Rolf Drechsler

Published in: ATVA (2022)

Keyphrases

test case generation
artificial intelligence
feature selection
metadata
formal verification
software testing
high level
neural network
input data
search space
software development
decision trees
test set
test cases
structured data
website
partial information
multimedia
asynchronous circuits
databases