ArbitCheck: A Highly Automated Property-Based Testing Tool for Java. - Kohsuke Yatoh; Kazunori Sakamoto; Fuyuki Ishikawa; Shinichi Honiden (ICST Workshops, 2014)

Feedback-controlled random test generation. - Kohsuke Yatoh; Kazunori Sakamoto; Fuyuki Ishikawa; Shinichi Honiden (ISSTA, 2015)