import static org.junit.Assert.*; import org.junit.contrib.quickcheck.*; import org.junit.runner.RunWith; @RunWith(QuickCheck.class) public class MathUtilsTest { @Property public void testAdditionCommutative(int a, int b) { assertEquals(a + b, b + a); } }