Optimal migration theory is a framework used to evaluate trade-offs associated with migratory strategies. Two strategies frequently considered by are time minimizing, whereby completed as quickly possible, and energy energetically efficiently possible. Despite extensive literature dedicated generating analytical predictions about these strategies, identifying appropriate study systems empirical...

Model based testing is one of the promising technologies to meet the challenges imposed on software testing. In model based testing an implementation under test is tested for compliance with a model that describes the required behaviour of the implementation. This tutorial chapter describes a model based testing theory where models are expressed as labelled transition systems, and compliance is...