Login / Signup
Static and dynamic attribute slicing tool for object-oriented programs.
M. S. Lydia
I. Srinath
Jayadev Gyani
Published in:
ICWET (2010)
Keyphrases
</>
object oriented programs
specification languages
integration testing
attribute values
impact analysis
complex systems
formal specification