I am thiking of persuing my masters( which will start this fall) by researching model based testing. a greate resource that i found could be foun at
http://www.geocities.com/model_based_testing/
There is alot of articles lying around, i will dive into this soon .
