(2014) Regression Test Selection for Distributed Software Histories.
In: Computer Aided Verification - 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings.
Conference:
CAV Computer Aided Verification
Official URL: https://doi.org/10.1007/978-3-319-08867-9_19
Item Type: | Conference or Workshop Item (A Paper) (Paper) |
---|---|
Conference: | CAV Computer Aided Verification |
Depositing User: | Sebastian Weisgerber |
Date Deposited: | 22 Feb 2018 11:11 |
Last Modified: | 22 Feb 2018 15:13 |
URI: | https://publications.cispa.saarland/id/eprint/2341 |
Actions
Actions (login required)
View Item |