Verification of Software Product Lines with Delta-Oriented Slicing.

Daniel Bruns Vladimir Klebanov Ina Schaefer

Published in: FoVeOOS (2010)

Keyphrases

software product line
product line
future directions
goal driven
software engineering
learning methodologies
life cycle
adult literacy
formal verification
software development
model checking
object oriented
data mining
program slicing
database
mobile devices
training data
web services