Dynamic Solution of Linear Constraints for Test Case Generation.

Marko Ernsting, Tim A. Majchrzak, Herbert Kuchen

Browse the full TASE paper archive.