Computer software - Congresses. - Testing
Overview
| Works: | 32 works in 25 publications in 25 languages | |
|---|---|---|
Titles
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:
(Electronic resources)
Formal Approaches to Software Testing = 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers /
by:
(Language materials, printed)
Tests and proofs = second international conference, TAP 2008, Prato, Italy, April 9-11, 2008 : proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
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:
(Language materials, printed)
Tests and proofs = 4th international conference, TAP 2010, Malaga, Spain, July 1-2, 2010 : proceedings /
by:
(Language materials, printed)
Testing techniques in software engineering = Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007 : revised lectures /
by:
(Language materials, printed)
Testing software and systems = 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016 : proceedings /
by:
(Electronic resources)
Runtime verification = 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017 : proceedings /
by:
(Electronic resources)
Testing software and systems = 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017 : proceedings /
by:
(Electronic resources)
Model checking software = 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019 : proceedings /
by:
(Electronic resources)
Tests and proofs = 13th International Conference, TAP 2019, held as part of the third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019 : proceedings /
by:
(Electronic resources)
Runtime verification = 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019 : proceedings /
by:
(Electronic resources)
Tests and proofs = 14th International Conference, TAP 2020, held as part of STAF 2020, Bergen, Norway, June 22-23, 2020 : proceedings /
by:
(Electronic resources)
Tools and methods of program analysis = 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7-9, 2019 : revised selected papers /
by:
(Electronic resources)
Testing software and systems = 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019 : proceedings /
by:
(Electronic resources)
Runtime verification = 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020 : proceedings /
by:
(Electronic resources)
Tests and proofs = 15th International Conference, TAP 2021, held as part of STAF 2021, virtual event, June 21-22, 2021 : proceedings /
by:
(Electronic resources)
Runtime verification = 21st International Conference, RV 2021, virtual event, October 11-14, 2021 : proceedings /
by:
(Electronic resources)
Testing software and systems = 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020 : proceedings /
by:
(Electronic resources)
Model checking software = 28th International Symposium, SPIN 2022, virtual event, May 21, 2022 : proceedings /
by:
(Electronic resources)
Model checking software = 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023 : proceedings /
by:
(Electronic resources)
Testing software and systems = 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023 : proceedings /
by:
(Electronic resources)
Runtime verification = 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023 : proceedings /
by:
(Electronic resources)
Tools and methods of program analysis = 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021 : revised selected papers /
by:
(Electronic resources)
Runtime verification = 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016 : proceedings /
by:
(Electronic resources)
Tools and methods of program analysis = 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017 : revised selected papers /
by:
(Electronic resources)
Model checking software = 27th International Symposium, SPIN 2021, virtual event, July 12, 2021 : proceedings /
by:
(Electronic resources)
Testing software and systems = 33rd IFIP WG 6. 1 International Conference, ICTSS 2021, London, UK, November 10-12, 2021 : proceedings /
by:
(Electronic resources)
Tests and proofs = 16th International Conference, TAP 2022, held as part of STAF 2022, Nantes, France, July 5, 2022 : proceedings /
by:
(Electronic resources)
Runtime verification = 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022 : proceedings /
by:
(Electronic resources)
Tests and proofs = 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023 : proceedings /
by:
(Electronic resources)
Show more
Fewer
Subjects