1. Model checking software : 23rd International Symposium, SPIN 2016, co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings /: 23rd International Symposium, SPIN 2016, co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings. (2016) Editors: Bošnački, Dragan, 1963-; Wijs, Anton Other Names: International SPIN Workshop, 23rd; ETAPS (Conference), 19th Record Type: Book Extent: 1 online resource (xvi, 245 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Testing software and systems : 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings /: 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings. (2016) Editors: Wotawa, Franz; Nica, Mihai; Kushik, Natalia Other Names: ICTSS (Conference), 28th Record Type: Book Extent: 1 online resource (xviii, 257 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Runtime verification : 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings /: 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings. (2016) Editors: Falcone, Yliès; Sánchez, César Other Names: RV (Conference), 16th Record Type: Book Extent: 1 online resource (xxi, 512 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Tests and proofs : 10th International Conference, TAP 2016, held as a part of STAF 2016, Vienna, Austria, July 5-7, 2016. Proceedings /: 10th International Conference, TAP 2016, held as a part of STAF 2016, Vienna, Austria, July 5-7, 2016. Proceedings. (2016) Editors: Aichernig, Bernhard K, 1969-; Furia, Carlo A, 1979- Other Names: TAP (Conference), 10th; STAF (Federation of conferences) Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Trends in software testing. ([2016]) Editors: Mohanty, Hrushikesha; Mohanty, J. R; Balakrishnan, Arunkumar Record Type: Book Extent: 1 online resource (xvii, 176 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Testmanagement und softwaretest : Theoretische Grundlagen und praktische Umsetzung /: Theoretische Grundlagen und praktische Umsetzung. (©2016) Other Names: Witte, Frank Record Type: Book Extent: 1 online resource, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Software quality assurance : integrating testing, security, and audit /: integrating testing, security, and audit. (2016) Authors: Mahfuz, Abu Sayed Record Type: Book Extent: 1 online resource, illustrations (black and white) View Content: Available online (eLD content is only available in our Reading Rooms) ↗