Testing software and systems : :: SCD d'Orléans

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

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

This book constitutes the refereed proceedings of the 25th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2013, held in Istanbul, Turkey, in November 2013. The 17 revised full papers presented together with 3 short papers were carefully selected from 68 submissions. The...

保存先:

書誌詳細
その他の著者:	Yenigün, Hüsnü (出版デイレクター), Yilmaz, Cemal (出版デイレクター), Ulrich, Andreas (出版デイレクター)
フォーマット:	Livre numérique
言語:	Anglais
出版事項:	Berlin, Heidelberg : Springer Berlin Heidelberg [20..]. Cham : Springer Nature
版:	1st ed. 2013.
シリーズ:	Programming and Software Engineering 8254
オンライン･アクセス:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
注記:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Testing Software and Systems, Texte imprimé, 9783642417061 • Testing Software and Systems, Texte imprimé, 9783642417085

類似資料

Hardware and Software: Verification and Testing : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

Software Testing Strategies : Accelerating software delivery with continuous testing and integration
著者:: Leloudas, Panagiotis, 19..-
出版事項: (2025)

Hardware and software : verification and testing : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, proceedings

Software Testing : A Self-Teaching Introduction
著者:: Chopra, Rajiv
出版事項: (2018)

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
著者:: Petrenko, Alexandre

Testing of communicating systems : 15th IFIP international conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003 : proceedings

Software Testing Strategies : A testing guide for the 2020s
著者:: Heusser, Matthew, 等
出版事項: (2023)

Software testing, verification & reliability.
出版事項: (1992)

Testing of communicating systems : 16th IFIP international conference, TestCom 2004, Oxford, UK, March 17-19, 2004 : proceedings

Distributed applications and interoperable systems : 4th IFIP WG6.1 International Conference, DAIS 2003, Paris, France, November 17-21, 2003 : proceedings

Embedded Software Testing : Developing reliable software from fundamentals to AI-based techniques
著者:: Gruenfelder, Stephan, 等
出版事項: (2026)

Interactive storytelling : 6th International Conference, ICIDS 2013, Istanbul, Turkey, November 6-9, 2013, Proceedings
著者:: Koenitz, Hartmut
出版事項: (2013)

Software testing, verification & reliability : STVR.

Formal methods and software engineering : 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 November 1, 2013, proceedings

Software Testing and Quality Assurance : Exploring testing levels, test tools, automation, and quality metrics for improved software quality (English Edition)
著者:: Jain, Dinesh, 等
出版事項: (2025)

Distributed Applications and Interoperable Systems : 13th IFIP WG 6.1 International Conference, DAIS 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings

Software composition : 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013 : proceedings

Software Language Engineering : 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings

Formal methods for open object-based distributed systems : 6th IFIP WG 6.1 international conference, FMOODS 2003, Paris, France, November 19-21, 2003 : proceedings

Engineering Secure Software and Systems : 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings
著者:: Jürjens, Jan
出版事項: (2013)

Software engineering for resilient systems : 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013 : proceedings

Software architecture : 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013 : proceedings

Software Engineering and Formal Methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings

Safe and Secure Software Reuse : 13th International Conference on Software Reuse, ICSR 2013, Pisa, June 18-20. Proceedings

Formal techniques for networked and distributed systems - FORTE 2002 : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings

Formal Techniques for Distributed Systems : Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, held as part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings
出版事項: (2013)

Formal techniques for networked and distributed systems : FORTE 2004 : 24th IFIP WG 6.1 international conference, Madrid, Spain, September 27-30, 2004 : proceedings

Theory and applications of satisfiability testing : SAT 2013 : 16th International Conference, Helsinki, Finland, July 8-12, 2013 : proceedings
著者:: Jarvisalo, Matti
出版事項: (2013)

Stochastic differential systems : proceedings of the IFIP-WG 7/1 working conference, Eisenach, GDR, April 6-13, 1986
出版事項: (1987)

Stochastic differential systems : proceedings of the IFIP-WG 7/1 working conference Eisenach, GDR, April 6 13, 1986

Reliable software technologies : Ada-Europe 2013 : 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013 : Proceedings

Fundamental approaches to software engineering : 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013 : proceedings

Software reuse : advances in software reusability : 6th international conference, ICSR-6, Vienna, Austria, June 27-29, 2000 : proceedings

COTS-based software systems : second international conference, ICCBSS 2003, Ottawa, Canada, February 10-13, 2003 : proceedings

Product-Focused Software Process Improvement : 14th International Conference, PROFES 2013, Paphos, Cyprus, June 12-14, 2013. Proceedings

Foundations of Software Science and Computation Structures : 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
出版事項: (2013)

Stochastic systems and optimization : proceedings of the 6th IFIP WG 7.1 Working Conference, Warsaw, Poland, September 12-16, 1988
出版事項: (1989)

Stochastic systems and optimization : proceedings of the 6th IFIP WG 7.1 working conference Warsaw, Poland, September 12 16, 1988

COTS-based software systems : First International Conference, ICCBSS 2002 Orlando, FL, USA, February 4 6, 2002 : proceedings

Requirements Engineering: Foundation for Software Quality : 19th International Working Conference, REFSQ 2013, Essen, Germany, April 8-11, 2013. Proceedings

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales