Checking Java Assertions Using Automated Test-Case Generation.

Rafael Caballero, Manuel Montenegro, Herbert Kuchen, Vincent von Hof

Browse the full LOPSTR paper archive.