EUFicient Reachability in Software with Arrays.

Denis Bueno Arlen Cox Karem A. Sakallah

Published in: FMCAD (2020)

Keyphrases

software development
software maintenance
software package
data mining
multi agent
test cases
software tools
data sets
user interface
source code
software systems
software developers
software design
transitive closure