Papers tagged validation Concurrent and Compositional Generation of Test Plans from Use Cases High-Level Specifications: Lessons from Industry Browse All Keywords By Category