[IEEE 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - OH, USA (2014.3.31-2014.4.4)] 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops - ArbitCheck: A Highly Automated Property-Based Testing Tool for Java
Yatoh, Kohsuke, Sakamoto, Kazunori, Ishikawa, Fuyuki, Honiden, ShinichiYear:
2014
Language:
english
DOI:
10.1109/icstw.2014.68
File:
PDF, 294 KB
english, 2014