Computer software - Congresses. - Testing

Testing - practice and research techniques5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010, proceedings / by: (書目-電子資源)

Testing software and systems22nd IFIP WG 6.1 international conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010 : proceedings / by: (書目-電子資源)

Hardware and software: verification and testing5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009 : revised selected papers / by: (書目-電子資源)

Tests and proofs5th international conference, TAP 2011, Zurich, Switzerland, June 30 - July 1, 2011 : proceedings / by: (書目-電子資源)

Testing software and systems23rd IFIP WG 6.1 international conference, ICTSS 2011, Paris, France, November 7-10, 2011 : proceedings / by: (書目-電子資源)

Runtime verificationsecond International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers / by: (書目-電子資源)

Tests and proofs6th International Conference, TAP 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings / by: (書目-電子資源)

Model checking software19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012 : proceedings / by: (書目-電子資源)

Testing software and systems24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012 : proceedings / by: (書目-電子資源)

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

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

Runtime verification5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014 : proceedings / by: (書目-語言資料,印刷品)

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

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

Model checking software22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015 : proceedings / by: (書目-電子資源)

Runtime verification6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015 : proceedings / by: (書目-電子資源)

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

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

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

Runtime verification16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016 : proceedings / by: (書目-電子資源)

Testing software and systems28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016 : proceedings / by: (書目-電子資源)

Tests and proofs11th International Conference, TAP 2017, held as part of STAF 2017, Marburg, Germany, July 19-20, 2017 : proceedings / by: (書目-電子資源)

Runtime verification17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017 : proceedings / by: (書目-電子資源)

Testing software and systems29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017 : proceedings / by: (書目-電子資源)

Tools and methods of program analysis4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017 : revised selected papers / by: (書目-電子資源)

Model checking software25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018 : proceedings / by: (書目-電子資源)

Testing software and systems30th IFIP WG 6.1 International Conference, ICTSS 2018, Cadiz, Spain, October 1-3, 2018 : proceedings / by: (書目-電子資源)

Runtime verification18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018 : proceedings / by: (書目-電子資源)

Software analysis, testing, and evolution8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23-24, 2018 : proceedings / by: (書目-電子資源)

Model checking software26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019 : proceedings / by: (書目-電子資源)

Tests and proofs13th International Conference, TAP 2019, held as part of the third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019 : proceedings / by: (書目-電子資源)

Runtime verification19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019 : proceedings / by: (書目-電子資源)

Tests and proofs12th International Conference, TAP 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018 : proceedings / by: (書目-電子資源)

Tests and proofs14th International Conference, TAP 2020, held as part of STAF 2020, Bergen, Norway, June 22-23, 2020 : proceedings / by: (書目-電子資源)

Runtime verification20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020 : proceedings / by: (書目-電子資源)

Testing software and systems31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019 : proceedings / by: (書目-電子資源)

Testing software and systems32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020 : proceedings / by: (書目-電子資源)

Tools and methods of program analysis5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7-9, 2019 : revised selected papers / by: (書目-電子資源)

Tests and proofs15th International Conference, TAP 2021, held as part of STAF 2021, virtual event, June 21-22, 2021 : proceedings / by: (書目-電子資源)

Model checking software27th International Symposium, SPIN 2021, virtual event, July 12, 2021 : proceedings / by: (書目-電子資源)

Runtime verification21st International Conference, RV 2021, virtual event, October 11-14, 2021 : proceedings / by: (書目-電子資源)

Testing software and systems33rd IFIP WG 6. 1 International Conference, ICTSS 2021, London, UK, November 10-12, 2021 : proceedings / by: (書目-電子資源)

Tests and proofs16th International Conference, TAP 2022, held as part of STAF 2022, Nantes, France, July 5, 2022 : proceedings / by: (書目-電子資源)

Model checking software28th International Symposium, SPIN 2022, virtual event, May 21, 2022 : proceedings / by: (書目-電子資源)

Runtime verification22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022 : proceedings / by: (書目-電子資源)

Model checking software29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023 : proceedings / by: (書目-電子資源)

Tests and proofs17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023 : proceedings / by: (書目-電子資源)

Testing software and systems35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023 : proceedings / by: (書目-電子資源)

Runtime verification23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023 : proceedings / by: (書目-電子資源)

Tools and methods of program analysis6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021 : revised selected papers / by: (書目-電子資源)