Modal Testing: Theory and Practice | Synapse