Irith Pomeranz Sudhakar M. Reddy State persistence: a property for guiding test generation. 523-528 2009 ACM Great Lakes Symposium on VLSI http://doi.acm.org/10.1145/1531542.1531660 conf/glvlsi/2009 db/conf/glvlsi/glvlsi2009.html#PomeranzR09b