Computer software - Congresses. - Testing

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

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

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

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

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

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

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

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

Testing of Software and Communicating Systems = 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings/ by: (書目-語言資料,印刷品)

Formal approaches to software testing = Third International Workshop on Formal Approaches to Testing of Software : FATES 2003 : Montreal, Quebec, Canada, October 6th, 2003 : revised papers/ by: (書目-語言資料,印刷品)

Testing techniques in software engineering = Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007 : revised lectures / by: (書目-語言資料,印刷品)

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

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

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

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

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

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

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

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

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

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

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