Difference between revisions of "MBT Reading Group"
From CERES
| Line 1: | Line 1: | ||
== Current Papers == | == Current Papers == | ||
*'''January 28, 2016:''' [http://dl.acm.org/citation.cfm?id=1806850 Model Checking Lots of Systems: Efficient Verification of Temporal Properties in Software Product Lines] | *'''January 28, 2016:''' [http://dl.acm.org/citation.cfm?id=1806850 Model Checking Lots of Systems: Efficient Verification of Temporal Properties in Software Product Lines] | ||
| + | ** Moderator: Mahsa | ||
== Upcoming Papers == | == Upcoming Papers == | ||
| Line 10: | Line 11: | ||
== Previous Papers == | == Previous Papers == | ||
*'''January 14, 2016:''' [http://dl.acm.org/citation.cfm?id=1806850 Model Checking Lots of Systems: Efficient Verification of Temporal Properties in Software Product Lines] | *'''January 14, 2016:''' [http://dl.acm.org/citation.cfm?id=1806850 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:''' [http://link.springer.com/chapter/10.1007/978-3-319-25945-1_6 Automated Test Design for Boundaries of Product Line Variants] | *'''December 8, 2015:''' [http://link.springer.com/chapter/10.1007/978-3-319-25945-1_6 Automated Test Design for Boundaries of Product Line Variants] | ||
| + | ** Attendees: Mahsa, Masoumeh, Mohammad, Sebastian, Vanderson | ||
| + | ** Moderator: Vanderson | ||
*'''November 28, 2015:''' [http://dl.acm.org/citation.cfm?id=2580950 A Classification and Survey of Analysis Strategies for Software Product Lines] | *'''November 28, 2015:''' [http://dl.acm.org/citation.cfm?id=2580950 A Classification and Survey of Analysis Strategies for Software Product Lines] | ||
| + | ** Attendees: Mahsa, Masoumeh, Mohammad, Sebastian, Vanderson, Wojciech | ||
| + | ** Moderator: Sebastian | ||
Revision as of 16:44, 14 January 2016
Current Papers
- January 28, 2016: Model Checking Lots of Systems: Efficient Verification of Temporal Properties in Software Product Lines
- Moderator: Mahsa
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
- 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
