Computer software - Congresses. - Testing
Overview
| Works: | 18 works in 14 publications in 14 languages | |
|---|---|---|
Titles
Verified software = theories, tools, experiments : Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, proceedings /
by:
(Language materials, printed)
Testing - practice and research techniques = 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010, proceedings /
by:
(Language materials, printed)
Testing software and systems = 22nd IFIP WG 6.1 international conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010 : proceedings /
by:
(Language materials, printed)
Hardware and software: verification and testing = 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009 : revised selected papers /
by:
(Electronic resources)
Tests and proofs = 6th International Conference, TAP 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings /
by:
(Electronic resources)
Model checking software = 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012 : proceedings /
by:
(Electronic resources)
Testing software and systems = 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012 : proceedings /
by:
(Electronic resources)
Tests and proofs = 8th International Conference, TAP 2014, held as Part of STAF 2014, York, UK, July 24-25, 2014 : proceedings /
by:
(Electronic resources)
Future internet testing = first International Workshop, FITTEST 2013, Istanbul, Turkey, November 12, 2013 : revised selected papers /
by:
(Electronic resources)
Model checking software = 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015 : proceedings /
by:
(Electronic resources)
Runtime verification = 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015 : proceedings /
by:
(Electronic resources)
Testing Software and Systems = 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015 : proceedings /
by:
(Electronic resources)
Model checking software = 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016 : proceedings /
by:
(Electronic resources)
Tests and proofs = 10th International Conference, TAP 2016, held as part of STAF 2016, Vienna, Austria, July 5-7, 2016 : proceedings /
by:
(Electronic resources)
Tests and proofs = 9th International Conference, TAP 2015, held as part of STAF 2015, L'Aquila, Italy, July 22-24, 2015 : proceedings /
by:
(Electronic resources)
Runtime verification = second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers /
by:
(Electronic resources)
Show more
Fewer
Subjects