Computer software - Congresses. - Testing

Testing Software and Systems = 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015 : proceedings / by: (書目-電子資源)

Model checking software = 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016 : proceedings / by: (書目-電子資源)

Tests and proofs = 10th International Conference, TAP 2016, held as part of STAF 2016, Vienna, Austria, July 5-7, 2016 : proceedings / by: (書目-電子資源)

Tests and proofs = 9th International Conference, TAP 2015, held as part of STAF 2015, L'Aquila, Italy, July 22-24, 2015 : proceedings / by: (書目-電子資源)

Tests and proofs = 8th International Conference, TAP 2014, held as Part of STAF 2014, York, UK, July 24-25, 2014 : proceedings / by: (書目-電子資源)

Future internet testing = first International Workshop, FITTEST 2013, Istanbul, Turkey, November 12, 2013 : revised selected papers / by: (書目-電子資源)

Runtime verification = 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014 : proceedings / by: (書目-電子資源)

Agile methods = large-scale development, refactoring, testing, and estimation : XP 2014 International Workshops, Rome, Italy, May 26-30, 2014 : revised selected papers / by: (書目-電子資源)