Difference between revisions of "MBT Reading Group"
From CERES
| Line 1: | Line 1: | ||
== Current Papers == | == Current Papers == | ||
| − | *'''March | + | *'''March 18, 2016:''' [http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=4339252 Feature Diagrams and Logics: There and Back Again] |
| − | ** Moderator: | + | ** Moderator: Vanderson |
== Upcoming Papers == | == Upcoming Papers == | ||
| Line 9: | Line 9: | ||
== Previous Papers == | == Previous Papers == | ||
| + | *'''March 2, 2016:''' [http://link.springer.com/chapter/10.1007%2F11561163_1 A Theory of Predicate-Complete Test Coverage and Generation] | ||
| + | ** Moderator: Masoumeh | ||
*'''February 10, 2016:''' [http://arxiv.org/abs/1511.05273 Towards Composition of Conformant Systems] | *'''February 10, 2016:''' [http://arxiv.org/abs/1511.05273 Towards Composition of Conformant Systems] | ||
** Attendees: Mahsa, Masoumeh, Mohammad, Sebastian, Vanderson | ** Attendees: Mahsa, Masoumeh, Mohammad, Sebastian, Vanderson | ||
Revision as of 16:56, 2 March 2016
Current Papers
- March 18, 2016: Feature Diagrams and Logics: There and Back Again
- Moderator: Vanderson
Upcoming Papers
- Feature Diagrams: A Survey and a Formal Semantics
- Feature Models, Grammars, and Propositional Formulas
- Feature Diagrams and Logics: There and Back Again
Previous Papers
- March 2, 2016: A Theory of Predicate-Complete Test Coverage and Generation
- Moderator: Masoumeh
- February 10, 2016: Towards Composition of Conformant Systems
- Attendees: Mahsa, Masoumeh, Mohammad, Sebastian, Vanderson
- Moderator: Mohammad
- January 28, 2016: Model Checking Lots of Systems: Efficient Verification of Temporal Properties in Software Product Lines
- Attendees: Mahsa, Masoumeh, Mohammad, Sebastian, Vanderson
- Moderator: Mahsa
- January 14, 2016: Model Checking Lots of Systems: Efficient Verification of Temporal Properties in Software Product Lines
- Attendees: Mahsa, Masoumeh, Mohammad, Sebastian, Vanderson
- Moderator: Mahsa
- December 8, 2015: Automated Test Design for Boundaries of Product Line Variants
- Attendees: Mahsa, Masoumeh, Mohammad, Sebastian, Vanderson
- Moderator: Vanderson
- November 28, 2015: A Classification and Survey of Analysis Strategies for Software Product Lines
- Attendees: Mahsa, Masoumeh, Mohammad, Sebastian, Vanderson, Wojciech
- Moderator: Sebastian
