Kohsuke Yatoh, Kazunori Sakamoto, Fuyuki Ishikawa, Shinichi Honiden. ArbitCheck: A Highly Automated Property-Based Testing Tool for Java. In 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation, Workshops Proceedings, March 31 - April 4, 2014, Cleveland, Ohio, USA. pages 405-412, IEEE Computer Society, 2014. [doi]
Abstract is missing.