Difference between revisions of "MBT Reading Group"
From CERES
Line 14: | Line 14: | ||
== Previous Papers == | == Previous Papers == | ||
* '''August 30, 2016:''' [http://link.springer.com/chapter/10.1007/978-3-319-35122-3_1 Applying Incremental Model Slicing to Product-Line Regression Testing] | * '''August 30, 2016:''' [http://link.springer.com/chapter/10.1007/978-3-319-35122-3_1 Applying Incremental Model Slicing to Product-Line Regression Testing] | ||
− | |||
** Attendees: Hugo, Mahsa, Masoumeh, Mohammad, Sebastian, Vanderson | ** Attendees: Hugo, Mahsa, Masoumeh, Mohammad, Sebastian, Vanderson | ||
+ | ** Moderator: Sebastian | ||
* '''August 19, 2016:''' [http://www.sciencedirect.com/science/article/pii/S2352220816000158 Does this fault lead to failure? Combining refinement and input–output conformance checking in fault-oriented test-case generation] | * '''August 19, 2016:''' [http://www.sciencedirect.com/science/article/pii/S2352220816000158 Does this fault lead to failure? Combining refinement and input–output conformance checking in fault-oriented test-case generation] | ||
− | |||
** Attendees: Mahsa, Masoumeh, Mohammad, Sebastian, Wojciech | ** Attendees: Mahsa, Masoumeh, Mohammad, Sebastian, Wojciech | ||
+ | ** Moderator: Wojciech | ||
* '''June 10, 2016:''' [http://www.sciencedirect.com/science/article/pii/S2352220816000158 Does this fault lead to failure? Combining refinement and input–output conformance checking in fault-oriented test-case generation] | * '''June 10, 2016:''' [http://www.sciencedirect.com/science/article/pii/S2352220816000158 Does this fault lead to failure? Combining refinement and input–output conformance checking in fault-oriented test-case generation] | ||
** Attendee: Mahsa, Masoumeh, Mohammad, Sebastian, Vanderson | ** Attendee: Mahsa, Masoumeh, Mohammad, Sebastian, Vanderson |
Revision as of 14:01, 30 August 2016
Current Papers
- September 7, 2016: Towards Incremental Model Slicing for Delta-oriented Software Product Lines
- Moderator: Mahsa
Upcoming Papers
- Feature Diagrams: A Survey and a Formal Semantics
- Feature Models, Grammars, and Propositional Formulas
- Abstraction-driven Concolic Testing
- Hybrid Learning: Interface Generation through Static, Dynamic, and Symbolic Analysis
- A systematic study of automated program repair: Fixing 55 out of 105 bugs for $8 each
- IC3: Where Monolithic and Incremental Meet
- An Expressive Semantics of Mocking
Previous Papers
- August 30, 2016: Applying Incremental Model Slicing to Product-Line Regression Testing
- Attendees: Hugo, Mahsa, Masoumeh, Mohammad, Sebastian, Vanderson
- Moderator: Sebastian
- August 19, 2016: Does this fault lead to failure? Combining refinement and input–output conformance checking in fault-oriented test-case generation
- Attendees: Mahsa, Masoumeh, Mohammad, Sebastian, Wojciech
- Moderator: Wojciech
- June 10, 2016: Does this fault lead to failure? Combining refinement and input–output conformance checking in fault-oriented test-case generation
- Attendee: Mahsa, Masoumeh, Mohammad, Sebastian, Vanderson
- Moderator: Wojciech
- June 3, 2016: Perspectives on White-Box Testing: Coverage, Concurrency, and Concolic Execution
- Attendee: Mahsa, Masoumeh, Mohammad, Sebastian, Vanderson
- Moderator: Mohammad
- May 19, 2016: Feature Diagrams and Logics: There and Back Again
- Attendee: Mahsa, Masoumeh, Mohammad, Sebastian, Vanderson
- Moderator: Vanderson
- March 2, 2016: A Theory of Predicate-Complete Test Coverage and Generation
- Moderator: Masoumeh
- Attendee: Mahsa, Masoumeh, Mohammad, Sebastian, Vanderson
- 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