Computer software - Congresses. - Testing
Overview
| Works: | 64 works in 51 publications in 51 languages | |
|---|---|---|
Titles
Tests and proofssecond international conference, TAP 2008, Prato, Italy, April 9-11, 2008 : proceedings /
by:
(Electronic resources)
Formal Approaches to Software Testing (vol. # 3997)5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers /
by:
(Electronic resources)
Formal Approaches to Software Testing and Runtime VerificationFirst Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers /
by:
(Electronic resources)
Testing of Software and Communicating Systems20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings /
by:
(Electronic resources)
Formal Approaches to Software Testing4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers /
by:
(Electronic resources)
Formal approaches to software testingThird International Workshop on Formal Approaches to Testing of Software : FATES 2003 : Montreal, Quebec, Canada, October 6th, 2003 : revised papers /
by:
(Electronic resources)
Tests and proofsthird international conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009 ; proceedings /
by:
(Electronic resources)
Tests and proofs4th international conference, TAP 2010, Malaga, Spain, July 1-2, 2010 : proceedings /
by:
(Electronic resources)
Testing techniques in software engineeringSecond Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007 : revised lectures /
by:
(Electronic resources)
Verified softwaretheories, tools, experiments : Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, proceedings /
by:
(Electronic resources)
Testing - practice and research techniques5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010, proceedings /
by:
(Electronic resources)
Testing software and systems22nd IFIP WG 6.1 international conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010 : proceedings /
by:
(Electronic resources)
Hardware and software: verification and testing5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009 : revised selected papers /
by:
(Electronic resources)
Tests and proofs5th international conference, TAP 2011, Zurich, Switzerland, June 30 - July 1, 2011 : proceedings /
by:
(Electronic resources)
Testing software and systems23rd IFIP WG 6.1 international conference, ICTSS 2011, Paris, France, November 7-10, 2011 : proceedings /
by:
(Electronic resources)
Runtime verificationsecond International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers /
by:
(Electronic resources)
Tests and proofs6th International Conference, TAP 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings /
by:
(Electronic resources)
Model checking software19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012 : proceedings /
by:
(Electronic resources)
Testing software and systems24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012 : proceedings /
by:
(Electronic resources)
Future internet testingfirst International Workshop, FITTEST 2013, Istanbul, Turkey, November 12, 2013 : revised selected papers /
by:
(Electronic resources)
Tests and proofs8th International Conference, TAP 2014, held as Part of STAF 2014, York, UK, July 24-25, 2014 : proceedings /
by:
(Electronic resources)
Runtime verification5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014 : proceedings /
by:
(Language materials, printed)
Agile methodslarge-scale development, refactoring, testing, and estimation : XP 2014 International Workshops, Rome, Italy, May 26-30, 2014 : revised selected papers /
by:
(Electronic resources)
Tests and proofs9th International Conference, TAP 2015, held as part of STAF 2015, L'Aquila, Italy, July 22-24, 2015 : proceedings /
by:
(Electronic resources)
Model checking software22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015 : proceedings /
by:
(Electronic resources)
Runtime verification6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015 : proceedings /
by:
(Electronic resources)
Testing Software and Systems27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015 : proceedings /
by:
(Electronic resources)
Model checking software23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016 : proceedings /
by:
(Electronic resources)
Tests and proofs10th International Conference, TAP 2016, held as part of STAF 2016, Vienna, Austria, July 5-7, 2016 : proceedings /
by:
(Electronic resources)
Runtime verification16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016 : proceedings /
by:
(Electronic resources)
Testing software and systems28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016 : proceedings /
by:
(Electronic resources)
Tests and proofs11th International Conference, TAP 2017, held as part of STAF 2017, Marburg, Germany, July 19-20, 2017 : proceedings /
by:
(Electronic resources)
Runtime verification17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017 : proceedings /
by:
(Electronic resources)
Testing software and systems29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017 : proceedings /
by:
(Electronic resources)
Tools and methods of program analysis4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017 : revised selected papers /
by:
(Electronic resources)
Model checking software25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018 : proceedings /
by:
(Electronic resources)
Testing software and systems30th IFIP WG 6.1 International Conference, ICTSS 2018, Cadiz, Spain, October 1-3, 2018 : proceedings /
by:
(Electronic resources)
Runtime verification18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018 : proceedings /
by:
(Electronic resources)
Software analysis, testing, and evolution8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23-24, 2018 : proceedings /
by:
(Electronic resources)
Model checking software26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Runtime verification19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019 : proceedings /
by:
(Electronic resources)
Tests and proofs12th International Conference, TAP 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018 : proceedings /
by:
(Electronic resources)
Tests and proofs14th International Conference, TAP 2020, held as part of STAF 2020, Bergen, Norway, June 22-23, 2020 : proceedings /
by:
(Electronic resources)
Runtime verification20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020 : proceedings /
by:
(Electronic resources)
Testing software and systems31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019 : proceedings /
by:
(Electronic resources)
Testing software and systems32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020 : proceedings /
by:
(Electronic resources)
Tools and methods of program analysis5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7-9, 2019 : revised selected papers /
by:
(Electronic resources)
Tests and proofs15th International Conference, TAP 2021, held as part of STAF 2021, virtual event, June 21-22, 2021 : proceedings /
by:
(Electronic resources)
Model checking software27th International Symposium, SPIN 2021, virtual event, July 12, 2021 : proceedings /
by:
(Electronic resources)
Runtime verification21st International Conference, RV 2021, virtual event, October 11-14, 2021 : proceedings /
by:
(Electronic resources)
Testing software and systems33rd IFIP WG 6. 1 International Conference, ICTSS 2021, London, UK, November 10-12, 2021 : proceedings /
by:
(Electronic resources)
Tests and proofs16th International Conference, TAP 2022, held as part of STAF 2022, Nantes, France, July 5, 2022 : proceedings /
by:
(Electronic resources)
Model checking software28th International Symposium, SPIN 2022, virtual event, May 21, 2022 : proceedings /
by:
(Electronic resources)
Runtime verification22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022 : proceedings /
by:
(Electronic resources)
Model checking software29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023 : proceedings /
by:
(Electronic resources)
Tests and proofs17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023 : proceedings /
by:
(Electronic resources)
Testing software and systems35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023 : proceedings /
by:
(Electronic resources)
Runtime verification23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023 : proceedings /
by:
(Electronic resources)
Tools and methods of program analysis6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021 : revised selected papers /
by:
(Electronic resources)
Tests and proofs18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024 : proceedings /
by:
(Electronic resources)
Runtime verification24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024 : proceedings /
by:
(Electronic resources)
Show more
Fewer
Subjects