1. 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) ↗
2. 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) ↗
3. 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) ↗
4. Tools and methods of program analysis : 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised selected papers /: 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised selected papers. (2018) Editors: Itsykson, Vladimir; Ščedrov, Andrej, 1955-; Zakharov, Victor Other Names: International Conference on Tools and Methods of Program Analysis, 4th Record Type: Book Extent: 1 online resource (xviii, 209 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Runtime verification : 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings /: 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings. (2018) Editors: Colombo, Christian; Leucker, Martin Other Names: RV (Conference), 18th Record Type: Book Extent: 1 online resource (xi, 470 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Testing software and systems : 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings /: 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings. (2018) Editors: Medina-Bulo, Inmaculada; Merayo, M. G (Mercedes G.); Hierons, Robert M Other Names: ICTSS (Conference), 30th Record Type: Book Extent: 1 online resource (xii, 171 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗