Les dejo un link interesante sobre algo que no conocía: Model-Based Testing. En MS Research hay herramienta y todo (que según dicen ahi la vienen usando diariamente desde 2003 en forma interna).
http://research.microsoft.com/specexplorer/ Este paper tiene teoría y caso de ejemplo: http://research.microsoft.com/research/pubs/view.aspx?type=Technical%20Report&id=912 Saludos, Luis
