[우수논문] CVL 기반의소프트웨어 프로덕트라인 가변성 검증을 위한 테스트 프로세스