1. Model-based Testing using Microsoft’s Spec Explorer Tool: A Case StudyDharmalingam Ganesan© 2014 Fraunhofer USA, Inc. Center for Experimental Software Engineering1…