Login / Signup
MOBS: multi-operator observation-based slicing using lexical approximation of program dependence.
Seongmin Lee
David W. Binkley
Nicolas Gold
Syed S. Islam
Jens Krinke
Shin Yoo
Published in:
ICSE (Companion Volume) (2018)
Keyphrases
</>
program slicing
domain specific
computer programs
approximation error
natural language processing
closed form
upper approximation
approximation algorithms
relative error
fault localization
information retrieval
test cases
formal verification
approximation schemes
laplacian operator
syntactic categories