ArbitCheck: A Highly Automated Property-Based Testing Tool for Java.

Kohsuke Yatoh Kazunori Sakamoto Fuyuki Ishikawa Shinichi Honiden

Published in: ICST Workshops (2014)

Keyphrases

unit testing
search based testing
source code
neural network
automated analysis
test cases
desirable properties
java applet
software testing
general purpose
web services
website
user friendly
semi automated
distributed object
object oriented
object oriented programming language