2014

Agile methods : large-scale development, refactoring, testing, and estimation : XP 2014 international workshops, Rome, Italy, May 26-30, 2014 : revised selected papers

Workshop on Principles of Large-scale Agile Development (2014 : Rome, Italy)

Cham ; New York : Springer, [2014]

 

2005

Formal approaches to software testing : 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004, revised selected papers

FATES 2004 (2004 : Linz, Austria)
First edition
New York, NY ; [Great Britain] : Springer, 2005

Request It 

2005

Formal approaches to software testing : 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004 : revised selected papers

FATES 2004 (2004 : Linz, Austria)



 

2006

Formal approaches to software testing : 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 ; revised selected papers

FATES 2005 (2005 : Edinburgh, Scotland)

Berlin ; New York, NY : Springer, [2006]

Request It 

2006

Formal approaches to software testing : 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 : revised selected papers

FATES 2005 (2005 : Edinburgh, Scotland)



 

2006

Formal approaches to software testing and runtime verification : first combined international workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006 ; revised selected papers

FATES/RV 2006 (2006 : Seattle, Wash.)



 

2014

Future internet testing : first International Workshop, FITTEST 2013, Istanbul, Turkey, November 12, 2013, Revised selected papers

FITTEST (Workshop) (1st : 2013 : Istanbul, Turkey)

Cham : Springer, 2014

 

2011

Hardware and software, verification and testing : 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009 : revised selected papers

International Haifa Verification Conference (5th : 2009 : Haifa, Isarel)



 

 

IEEE International Conference on Software Testing, Verification and Validation Workshops

IEEE International Conference on Software Testing, Verification, and Validation Workshops, author

Los Alamitos, California : IEEE Computer Society

 

2012

Model checking software : 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings

International SPIN Workshop (19th : 2012 : Oxford, England)



 

2013

Model checking software : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings

International SPIN Workshop (20th : 2013 : Stony Brook, N.Y.)



 

2015

Model checking software : 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings

International SPIN Workshop (22nd : 2015 : Stellenbosch, South Africa)

Cham : Springer, 2015

 

2016

Model checking software : 23rd International Symposium, SPIN 2016, co-located with ETAPS 2016, Eindhoven, the Netherlands, April 7-8, 2016, Proceedings

International SPIN Workshop (23rd : 2016 : Eindhoven, Netherlands)

Switzerland : Springer, 2016

 

2018

Model checking software : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings

International SPIN Workshop (25th : 2018 : Málaga, Spain)

Cham, Switzerland : Springer, 2018

 

2019

Model checking software : 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings

International SPIN Workshop (26th : 2019 : Beijing, China)

Cham, Switzerland : Springer, 2019

 

2021

Model checking software : 27th International Symposium, SPIN 2021 : virtual event, July 12, 2021 : proceedings

International SPIN Workshop (27th : 2021 : Online)

Cham : Springer, [2021]

 

2022

Model checking software : 28th International Symposium, SPIN 2022, virtual event, May 21, 2022, Proceedings

International SPIN Workshop (28th : 2022 : Online)



 

2023

Model checking software : 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings

International SPIN Workshop (29th : 2023 : Paris, France)

Cham, Switzerland : Springer, 2023

 

2009

Proceedings, Testing, Academic & Industrial Conference--Practice And Research Techniques

Testing: Academic & Industrial Conference--Practice and Research Techniques, author

Los Alamitos, California. : IEEE Computer Society, 2006-2009

 

2013

Runtime verification : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, proceedings

RV (Conference) (4th : 2013 : Rennes, France)

Heidelberg : Springer, 2013

 

2014

Runtime verification : 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings

RV (Conference) (5th : 2014 : Toronto, Ontario)

Cham : Springer, 2014

 

2015

Runtime verification : 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings

RV (Conference) (6th : 2015 : Vienna, Austria)

Cham : Springer, 2015

 

2007

Runtime verification : 7th international workshop, RV 2007, Vanco[u]ver, Canada, March 13, 2007 : revised selected papers

RV (Workshop) (7th : 2007 : Vancouver, B.C.)



 

2016

Runtime verification : 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings

RV (Conference) (16th : 2016 : Madrid, Spain)

Cham, Switzerland : Springer, 2016

 

2017

Runtime verification : 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings

RV (Conference) (17th : 2017 : Seattle, Wash.)

Cham, Switzerland : Springer, 2017

 

2018

Runtime verification : 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings

RV (Conference) (18th : 2018 : Limassol, Cyprus)

Cham, Switzerland : Springer, 2018

 

2019

Runtime verification : 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings

RV (Conference) (19th : 2019 : Porto, Portugal)

Cham, Switzerland : Springer, 2019

 

2020

Runtime verification : 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings

RV (Conference) (20th : 2020 : Online)

Cham : Springer, 2020

 

2021

Runtime verification : 21st international conference, RV 2021, virtual event, October 11-14, 2021 : proceedings

RV (Conference) (21st : 2021 : Online)

Cham : Springer, [2021]

 

2022

Runtime verification : 22nd international conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, proceedings

RV (Conference) (22nd : 2022 : Tʻbilisi, Georgia : Online)

Cham : Springer, [2022]

 

2023

Runtime verification : 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings

RV (Conference) (23rd : 2023 : Thessalonikē, Greece)

Cham, Switzerland : Springer, 2023

 

2012

Runtime verification : second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers

RV (Conference) (2nd : 2011 : San Francisco, Calif.)



 

2013

Runtime verification : third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised selected papers

RV (Conference) (3rd : 2012 : Istanbul, Turkey)



 

2018

Software analysis, testing, and evolution : 8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23-24, 2018, Proceedings

SATE (Conference) (8th : 2018 : Shenzhen Shi, China)

Cham, Switzerland : Springer, 2018

 

1984

Software validation : inspection, testing, verification, alternatives : proceedings of the Symposium on Software Validation held in Darmstadt, FRG, September 25-30, 1983

Symposium on Software Validation (1983 : Darmstadt, Germany)

Amsterdam ; New York : Elsevier Science Publishers B.V. for Gesellschaft für Mathematik und Datemverarbeitung, Bonn ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1984

Request It 

2007

Testing of software and communicating systems : 19th IFIP TC6/WG6.1 international conference, TestCom 2007, 7th international workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007 : proceedings

IFIP TC6/WG6.1 International Conference on Testing of Communicating Systems (19th : 2007 : Tallinn, Estonia)



 

2008

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

IFIP TC6/WG6.1 International Conference on Testing of Communicating Systems (20th : 2008 : Tokyo, Japan)



 

2010

Testing--practice and research techniques : 5th international academic and industrial conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010 : proceedings

Testing: Academic & Industrial Conference--Practice and Research Techniques (5th : 2010 : Windsor, England)



 

2010

Testing software and systems : 22nd IFIP WG 6.1 international conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010 : proceedings

ICTSS 2010 (2010 : Natal, Brazil)



 

2011

Testing software and systems : 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, proceedings

ICTSS 2011 (2011 : Paris, France)



 

2012

Testing software and systems : 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings

ICTSS 2012 (2012 : Aalborg, Denmark)



 

2013

Testing software and systems : 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings

ICTSS (Conference) (25th : 2013 : Istanbul, Turkey)

Heidelberg : Springer, 2013

 

2015

Testing software and systems : 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings

ICTSS (Conference) (27th : 2015 : Sharjah and Dubai, United Arab Emirates)

Cham : Springer, 2015

 

2016

Testing software and systems : 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings

ICTSS (Conference) (28th : 2016 : Graz, Austria)

Cham, Switzerland : Springer, 2016

 

2017

Testing software and systems : 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings

ICTSS (Conference) (29th : 2017 : Saint Petersburg, Russia)

Cham, Switzerland : Springer, 2017

 

2018

Testing software and systems : 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings

ICTSS (Conference) (30th : 2018 : Cádiz, Spain)

Cham, Switzerland : Springer, 2018

 

2019

Testing software and systems : 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019, Proceedings

ICTSS (Conference) (31st : 2019 : Paris, France)

Cham, Switzerland : Springer, 2019

 

2020

Testing software and systems : 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020 : proceedings

ICTSS (Conference) (32nd : 2020 : Online)

Cham, Switzerland : Springer, [2020]

 

2022

Testing software and systems : 33rd IFIP WG 6. 1 International Conference, ICTSS 2021, London, UK, November 10-12, 2021, Proceedings

ICTSS (Conference) (33rd : 2021 : Online)



 

2023

Testing software and systems : 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings

ICTSS (Conference) (35th : 2023 : Bergamo, Italy)

Cham : Springer, 2023