Duncan Clarke Thierry Jéron Vlad Rusu Elena Zinovieva Automated Test and Oracle Generation for Smart-Card Applications. 58-70 2001 conf/esmart/2001 E-smart http://link.springer.de/link/service/series/0558/bibs/2140/21400058.htm db/conf/esmart/esmart2001.html#ClarkeJRZ01