C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
GenCoG: A DSL-Based Approach to Generating Computation Graphs for TVM Testing.
Zihan Wang
Pengbo Nie
Xinyuan Miao
Yuting Chen
Chengcheng Wan
Lei Bu
Jianjun Zhao
Published in:
ISSTA (2023)
Keyphrases
</>
graph matching
subgraph isomorphism
efficient computation
median graph
generation process
graph theoretic
software testing
graph representation
directed graph
test set
data mining
test cases
probabilistic model
relational databases
graph clustering
automatically generating
training set
pattern recognition