Publications
Export 1 results:
Author Title [ Type
Filters: First Letter Of Title is V and Author is Muhammad, A. [Clear All Filters]
Verification-Aided Regression Testing,
, ISSTA, 06/2014, (2014)
The Lab is funded by Swiss National Science Foundation, Foundation Tasso, Hasler Foundation, EU-COST initiative and EU FP7/Pincette.