Configuration Lifting: Verification meets Software Configuration.

Hendrik Post Carsten Sinz

Published in: ASE (2008)

Keyphrases

machine learning
expert systems
software engineering
software maintenance
static analysis
software platform