Return to Article Details A Constraint-Solving Approach for Achieving Minimal-Reset Transition Coverage of Smartcard Behaviour Download Download PDF