MBT Reading Group
From CERES
Current Papers
- January 14, 2016: Model Checking Lots of Systems: Efficient Verification of Temporal Properties in Software Product Lines
Upcoming Papers
- Towards Composition of Conformant Systems
- Feature Diagrams: A Survey and a Formal Semantics
- Feature Models, Grammars, and Propositional Formulas
- Feature Diagrams and Logics: There and Back Again
Previous Papers
- December 8, 2015: Automated Test Design for Boundaries of Product Line Variants
- November 28, 2015: A Classification and Survey of Analysis Strategies for Software Product Lines
