Hojun Jaygarl, Carl K. Chang, Sunghun Kim: Practical Extensions of a Randomized Testing Tool. COMPSAC (1) 2009: 148-153