Modal Testing: Theory and Practice