Incremental Test Case Generation for UML-RT Models Using Symbolic Execution.

Eric James Rapos, Jrgen Dingel

Browse the full ICST paper archive.