Visual constraint diagrams: runtime conformance checking of UML object models versus implementations

Model based functional testing using pattern directed filmstrips

“…Diagrams have been proposed as the basis for constraints in [9] however these are not based on a standard notation such as UML. Visual constraint diagrams are described in [13] as the basis of system verification.…”