1. Complete Guide to Test Automation : Techniques, Practices, and Patterns for Building and Maintaining Effective Software Projects /: Techniques, Practices, and Patterns for Building and Maintaining Effective Software Projects. (2018) Authors: Axelrod, Arnon Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. How to reduce the cost of software testing. (2018) Other Names: Heusser, Matthew; Kulkarni, Govind Record Type: Book Extent: 1 online resource (340 pages), (40 illustrations) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Lectures on runtime verification : introductory and advanced topics /: introductory and advanced topics. (2018) Editors: Bartocci, Ezio; Falcone, Yliès Record Type: Book Extent: 1 online resource (VII, 233 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Metriken für das Testreporting : Analyse und Reporting für wirkungsvolles Testmanagement /: Analyse und Reporting für wirkungsvolles Testmanagement. (2018) Authors: Witte, Frank Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Model checking software : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings /: 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings. (2018) Editors: Gallardo, María del Mar; Merino, Pedro Other Names: International SPIN Workshop, 25th Record Type: Book Extent: 1 online resource (xvi, 347 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Software analysis, testing, and evolution : 8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23-24, 2018, Proceedings /: 8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23-24, 2018, Proceedings. (2018) Editors: Bu, Lei; Xiong, Yingfei Other Names: SATE (Conference), 8th Record Type: Book Extent: 1 online resource (x, 219 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Software fault prediction : a road map /: a road map. (2018) Authors: Kumar, Sandeep; Rathore, Santosh Singh Record Type: Book Extent: 1 online resource (xi, 72 pages), 8 illustrations, 1 illustration in color View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Software testing : a craftman's approach /: a craftman's approach. (2018) Authors: Jorgensen, Paul Record Type: Book Extent: 1 online resource, illustrations (black and white) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Software testing : a craftman's approach /: a craftman's approach. (2018) Authors: Jorgensen, Paul Record Type: Book Extent: 1 online resource (494 pages), (181 illustrations) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Tests and proofs : 12th International Conference, TAP 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings /: 12th International Conference, TAP 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings. (2018) Editors: Dubois, Catherine; Wolff, Burkhart, 1962- Other Names: TAP (Conference), 12th; STAF (Federation of conferences) Record Type: Book Extent: 1 online resource (xiv, 185 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗