Verification-based test case generation for information-flow properties.

Mihai Herda Shmuel S. Tyszberowicz Joachim Müssig Bernhard Beckert

Published in: SAC (2019)

Keyphrases

information flow
test case generation
flow analysis
communication networks
test cases
information security
information flows
social networks
data sets
software testing
multi threaded
object oriented systems
random walk
model checking
software engineering
case study
flow graph