Login / Signup
An Equivalence Checking Method for C Descriptions Based on Symbolic Simulation with Textual Differences.
Takeshi Matsumoto
Hiroshi Saito
Masahiro Fujita
Published in:
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2005)
Keyphrases
</>
input data
data sets
computational complexity
pairwise
evolutionary algorithm
high precision
method for automatically generating
learning algorithm
high level
cost function
computational cost
computationally efficient
segmentation method
mathematical model
fully automatic