Difference between revisions of "MBT Reading Group"

From CERES
Jump to: navigation, search
 
(15 intermediate revisions by one user not shown)
Line 1: Line 1:
 
== Current Papers ==
 
== Current Papers ==
−
* '''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]
+
* ''' March 5, 2017 at 10.00 am:''' [https://www.isf.cs.tu-bs.de/cms/team/thuem/papers/2017-VaMoS-Lity.pdf Optimizing Product Orders Using Graph Algorithms for Improving Incremental Product-Line Analysis]
−
** Moderator: Wojciech
+
** Moderator: Mahsa
  
 
== Upcoming Papers ==
 
== Upcoming Papers ==
Line 7: Line 7:
 
* [http://link.springer.com/chapter/10.1007/11554844_3 Feature Models, Grammars, and Propositional Formulas]
 
* [http://link.springer.com/chapter/10.1007/11554844_3 Feature Models, Grammars, and Propositional Formulas]
 
* [http://link.springer.com/chapter/10.1007/978-3-662-49122-5_16 Abstraction-driven Concolic Testing]
 
* [http://link.springer.com/chapter/10.1007/978-3-662-49122-5_16 Abstraction-driven Concolic Testing]
−
* [https://www.isf.cs.tu-bs.de/cms/team/thuem/papers/2016-ICSR-Lity.pdf Applying Incremental Model Slicing to Product-Line Regression Testing]
 
−
* [http://dl.acm.org/citation.cfm?id=2483783 Hybrid Learning: Interface Generation through Static, Dynamic, and Symbolic Analysis]
 
−
* [http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6227211 A systematic study of automated program repair: Fixing 55 out of 105 bugs for $8 each]
 
 
* [https://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD11/papers/inv3.pdf IC3: Where Monolithic and Incremental Meet]
 
* [https://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD11/papers/inv3.pdf IC3: Where Monolithic and Incremental Meet]
−
 
+
* [http://ieeexplore.ieee.org/document/5119/?arnumber=5119 A Modal Process Logic]
 +
* [http://link.springer.com/chapter/10.1007/978-3-642-24372-1_20 Parametric Modal Transition Systems]
  
 
== Previous Papers ==
 
== Previous Papers ==
 +
* ''' February 13, 2017 at 11.00 am:''' Demo of [http://dl.acm.org/citation.cfm?id=587053 Isolating Cause-effect Chains from Computer Programs]
 +
** Attendees: Mahsa, Masoumeh, Mohammad, Sebastian
 +
** Moderator: Sebastian
 +
* ''' January 30, 2017 at 1.30 pm:'''  [http://dl.acm.org/citation.cfm?id=587053 Isolating Cause-effect Chains from Computer Programs]
 +
** Attendees: Masoumeh, Mohammad, Sebastian
 +
** Moderator: Sebastian
 +
* ''' November 21, 2016 at 1.30 pm:'''  [http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6227211 A Systematic Study of Automated Program Repair: Fixing 55 out of 105 Bugs for $8 Each]
 +
** Attendees: Mahsa, Masoumeh, Mohammad, Sebastian
 +
** Moderator: Sebastian
 +
* ''' November 8, 2016 at 1.30 pm:''' [http://dl.acm.org/citation.cfm?id=2483783 Hybrid Learning: Interface Generation through Static, Dynamic, and Symbolic Analysis]
 +
** Attendees: Mahsa, Masoumeh, Mohammad, Sebastian
 +
** Moderator: Masoumeh
 +
* ''' October 24, 2016 at 1.30 pm:''' [http://dl.acm.org/citation.cfm?id=2483783 Hybrid Learning: Interface Generation through Static, Dynamic, and Symbolic Analysis]
 +
** Attendees: Mahsa, Masoumeh, Mohammad, Sebastian
 +
** Moderator: Masoumeh
 +
* '''October 14, 2016:''' [http://link.springer.com/chapter/10.1007/978-3-642-54804-8_27 An Expressive Semantics of Mocking]
 +
** Attendees: Mahsa, Masoumeh, Mohammad, Sebastian, Vanderson, Wojciech
 +
** Moderator: Wojciech
 +
* '''September 7, 2016:''' [http://ieeexplore.ieee.org/document/7081871/?arnumber=7081871 Towards Incremental Model Slicing for Delta-oriented Software Product Lines]
 +
** Attendees: Hugo, Mahsa, Masoumeh, Mohammad, Sebastian, Vanderson
 +
** Moderator: Mahsa
 +
* '''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
 +
** 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]
 +
** 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

Latest revision as of 16:31, 1 March 2017

Current Papers

Upcoming Papers

Previous Papers

Retrieved from "https://wiki.hh.se/ceres/index.php?title=MBT_Reading_Group&oldid=6605"