Half-day tutorial presented at the The 11th IASTED International Conference on Software Engineering (SE 2012) in Crete, Greece on 18 June 2012.Read less