MBT Reading Group

Current Papers

• January 28, 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

• January 14, 2016: Model Checking Lots of Systems: Efficient Verification of Temporal Properties in Software Product Lines
• 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