Limit search to available items
Add Marked to Bag Add All On Page Add Marked to My Lists
Subjects (1-48 of 48)
Computer software -- Testing -- Congresses.
1
E-book
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]

Rating:

 
 
2
Book
2005

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


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

Rating:

Request It 
 
Location Call no. Vol. Availability
 W'PONDS  005.14 Fat/Esf 2004  AVAILABLE
4
Book
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]

Rating:

Request It 
 
Location Call no. Vol. Availability
 W'PONDS  005.14 Fat/Esf 2005  AVAILABLE
5
E-book
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 : Springer, [2006]

Rating:

 
 
7
E-book
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

Rating:

 
 
8
E-book
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)
Berlin ; New York : Springer, [2011]

Rating:

 
 
9
E-book
2012

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


International SPIN Workshop (19th : 2012 : Oxford, England)
Berlin ; New York : Springer, [2012]

Rating:

 
 
10
E-book
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.)
Berlin ; New York : Springer, [2013]

Rating:

 
 
11
E-book
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

Rating:

 
 
12
E-book
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

Rating:

 
 
13
E-book
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

Rating:

 
 
14
E-book
2013

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


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

Rating:

 
 
15
E-book
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

Rating:

 
 
16
E-book
2015

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


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

Rating:

 
 
17
E-book
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.)
Berlin ; New York : Springer, [2007]

Rating:

 
 
18
E-book
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

Rating:

 
 
19
E-book
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

Rating:

 
 
20
E-book
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

Rating:

 
 
21
E-book
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.)
Berlin ; New York : Springer, [2012]

Rating:

 
 
22
E-book
2013

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


RV (Conference) (3rd : 2012 : Istanbul, Turkey)
Berlin ; New York : Springer, [2013]

Rating:

 
 
23
E-book
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

Rating:

 
 
24
Book
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

Rating:

Request It 
 
Location Call no. Vol. Availability
 W'PONDS  005.14 Sym/Sva 1983  AVAILABLE
25
E-book
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)
Berlin ; New York : Springer, [2007]

Rating:

 
 
27
E-book
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)
Berlin ; New York : Springer, [2010]

Rating:

 
 
29
E-book
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)
Berlin ; New York : Springer, [2011]

Rating:

 
 
30
E-book
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)
Berlin ; New York : Springer, [2012]

Rating:

 
 
31
E-book
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

Rating:

 
 
32
E-book
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

Rating:

 
 
33
E-book
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

Rating:

 
 
34
E-book
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

Rating:

 
 
35
E-book
2010

Testing techniques in software engineering : Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures


Pernambuco Summer School on Software Engineering (2nd : 2007 : Recife, Brazil)
Berlin ; Heidelberg : Springer-Verlag, [2010]

Rating:

 
 
36
E-book
2010

Tests and proofs : 4th international conference, TAP 2010, Malaga, Spain, July 1-2, 2010 ; proceedings


TAP 2010 (2010 : Málaga, Spain)
Berlin : Springer, [2010]

Rating:

 
 
37
E-book
2011

Tests and proofs : 5th international conference, TAP 2011, Zurich, Switzerland, June 30-July 1, 2011 : proceedings


TAP 2011 (2011 : Zurich, Switzerland)
Berlin ; Heidelberg ; New York : Springer, [2011]

Rating:

 
 
38
E-book
2012

Tests and proofs : 6th International Conference, TAP 2012, Prague, Czech Republic, May 31-June 1, 2012. Proceedings


TAP (Conference) (6th : 2012 : Prague, Czech Republic)
Berlin ; New York : Springer, [2012]

Rating:

 
 
39
E-book
2013

Tests and proofs : 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings


TAP (Conference) (7th : 2013 : Budapest, Hungary)
Berlin ; New York : Springer, [2013]

Rating:

 
 
40
E-book
2014

Tests and proofs : 8th International Conference, TAP 2014, held as part of STAF 2014, York, UK, July 24-25, 2014. Proceedings


TAP (Conference) (8th : 2014 : York, England)
Cham : Springer, 2014

Rating:

 
 
41
E-book
2015

Tests and proofs : 9th International Conference, TAP 2015, held as part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings


TAP (Conference) (9th : 2015 : L'Aquila, Italy)
Cham : Springer, 2015

Rating:

 
 
42
E-book
2016

Tests and proofs : 10th International Conference, TAP 2016, held as a part of STAF 2016, Vienna, Austria, July 5-7, 2016. Proceedings


TAP (Conference) (10th : 2016 : Vienna, Austria)
Switzerland : Springer, 2016

Rating:

 
 
43
E-book
2018

Tests and proofs : 12th International Conference, TAP 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings


TAP (Conference) (12th : 2018 : Toulouse, France)
Cham, Switzerland : Springer, 2018

Rating:

 
 
44
E-book
2007

Tests and proofs : first international conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007 : revised papers


TAP 2007 (2007 : Zurich, Switzerland)
Berlin ; New York : Springer, [2007]

Rating:

 
 
45
E-book
2008

Tests and proofs : second international conference, TAP 2008, Prato, Italy, April 9-11, 2008 : proceedings


TAP 2008 (2008 : Prato, Italy)
Berlin ; New York : Springer, 2008

Rating:

 
 
46
E-book
2009

Tests and proofs : third international conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009 : proceedings


TAP 2009 (2009 : Eidgenössische Technische Hochschule Zürich, Switzerland)
Berlin ; New York : Springer, [2009]

Rating:

 
 
47
E-book
2018

Tools and methods of program analysis : 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised selected papers


International Conference on Tools and Methods of Program Analysis (4th : 2017 : Moscow, Russia)
Cham, Switzerland : Springer, 2018

Rating:

 
 
48
E-book
2010

Verified software: theories, tools, experiments : third international conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010 : proceedings


VSTTE (Conference) (3rd : 2010 : Edinburgh, Scotland)
Berlin : Springer, 2010

Rating:

 
 
Add Marked to Bag Add All On Page
Locate in results