Theme Section on Model-Based Testing; Special Section on ECMFA and ICMT at STAF 2016; BPMDS 2016 Special Section