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

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

Saved in:

Bibliographic Details
Meeting name:	ICTSS (Conference) (27th : 2015 : Sharjah and Dubai, United Arab Emirates)
Imprint:	Cham : Springer, 2015.
Description:	1 online resource (xiv, 269 pages) : color illustrations.
Language:	English
Series:	Lecture Notes in Computer Science, 0302-9743 ; 9447 LNCS sublibrary. SL 2, Programming and software engineering Lecture notes in computer science ; 9447. LNCS sublibrary. SL 2, Programming and software engineering.
Subject:	Computer software -- Testing -- Congresses. Software engineering -- Congresses. Computer science. Computer networks. Computers, Special purpose. Software engineering. Programming languages (Electronic computers) Computer logic. Management information systems. Computer logic. Computer networks. Computer science. Computer software -- Testing. Computers, Special purpose. Management information systems. Programming languages (Electronic computers) Software engineering. Conference papers and proceedings.
Format:	E-Resource Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/11097023

Hidden Bibliographic Details
Varying Form of Title:	ICTSS 2015
Other authors / contributors:	El-Fakih, Khaled, editor. Barlas, Gerassimos, editor. Yevtushenko, Nina, editor.
ISBN:	9783319259451 3319259458 9783319259444 331925944X
Digital file characteristics:	text file PDF
Notes:	International conference proceedings. Includes author index.
Summary:	This book constitutes the refereed proceedings of the 27th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2015, held in Sharjah and Dubai, United Arab Emirates, in November 2015. The 14 revised full papers and 4 short papers presented were carefully reviewed and selected from 42 submissions. The papers are organized in topical sections on model based testing, test derivation methods, monitoring and fault localization, model and system testing, and real-time systems.
Other form:	Printed edition: 9783319259444
Standard no.:	10.1007/978-3-319-25945-1

Similar Items

Static analysis : 27th International Symposium, SAS 2020, virtual event, November 18-20, 2020, proceedings /
Published: (2020)

Embedded Controller: Grundlagen und praktische Umsetzung für industrielle Anwendungen.
by: Asche, Rüdiger R.
Published: (2016)

Systemkonsolidierung und Datenmigration als Erfolgsfaktoren : HMD Best Paper Award 2014 /
by: Wachter, Sabine
Published: (2015)

Fields of logic and computation III : essays dedicated to Yuri Gurevich on the occasion of his 80th birthday /
Published: (2020)

Computer algebra in scientific computing : 23rd International Workshop, CASC 2021, Sochi, Russia, September 13-17, 2021, Proceedings /
Published: (2021)

Computer algebra in scientific computing : 21st International Workshop, CASC 2019, Moscow, Russia, August 26-30, 2019, Proceedings /
Published: (2019)

Computer algebra in scientific computing : 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018, Proceedings /
Published: (2018)

Computer Algebra in Scientific Computing : 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings /
Published: (2017)

Computer Algebra in Scientific Computing : 22nd International Workshop, CASC 2020, Linz, Austria, September 14-18, 2020, Proceedings /
Published: (2020)

Evaluation of novel approaches to software engineering : 15th international conference, ENASE 2020, Prague, Czech Republic, May 5-6, 2020 : revised selected papers /
Published: (2021)

Theoretical aspects of computing - ICTAC 2020 : 17th international colloquium, Macau, China, November 30 - December 4, 2020, proceedings /
Published: (2020)

Software verification : 12th international conference, VSTTE 2020, and 13th international workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, revised selected papers /
Published: (2020)

Internet of Things, Smart Spaces, and Next Generation Networks and Systems : 20th International Conference, NEW2AN 2020, and 13th Conference, ruSMART 2020, St. Petersburg, Russia, August 26-28, 2020, Proceedings, Part I /
Published: (2020)

Projektübergreifendes Applikationsmanagement - Der strategische Applikationslebenszyklus am Beispiel des BMW Q-Cockpit: HMD Best Paper Award 2014.
by: Andreas Györy
Published: (2016)

SDL 2015: Model-Driven Engineering for Smart Cities : 17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Proceedings /
Published: (2015)

Verification, model checking, and abstract interpretation : 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021, proceedings /
Published: (2021)

Embedded software timing : methodology, analysis and practical tips with a focus on automotive /
by: Gliwa, Peter
Published: (2021)

Modeling and Using Context : 10th International and Interdisciplinary Conference, CONTEXT 2017, Paris, France, June 20-23, 2017, Proceedings /
Published: (2017)

Model-based engineering of collaborative embedded systems : extensions of the SPES methodology /
Published: (2021)

Software technologies : applications and foundations : STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, revised selected papers /
Published: (2018)

Leveraging applications of formal methods, verification and validation : Applications : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings. Part III /
Published: (2020)

Applied computer sciences in engineering : 7th Workshop on Engineering Applications, WEA 2020, Bogota, Colombia, October 7-9, 2020, Proceedings /
Published: (2020)

Risk Assessment and Risk-Driven Testing : Third International Workshop, RISK 2015, Berlin, Germany, June 15, 2015. Revised Selected Papers /
Published: (2015)

Semantic Systems. The Power of AI and Knowledge Graphs : 15th International Conference, SEMANTiCS 2019, Karlsruhe, Germany, September 9-12, 2019, Proceedings /
Published: (2019)

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

Software Technologies : 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, revised selected papers /
Published: (2015)

Automotive software architectures : an introduction /
by: Staron, Miroslaw
Published: (2021)

Model-based safety and assessment : 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14-16, 2020, Proceedings /
Published: (2020)

Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems : 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings /
Published: (2016)

OpenSHMEM and related technologies : big compute and big data convergence : 4th Workshop, OpenSHMEM 2017, Annapolis, MD, USA, August 7-9, 2017, Revised selected papers /
Published: (2018)

Globalizing Domain-Specific Languages : International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers /
Published: (2015)

Programming languages with applications to biology and security : essays dedicated to Pierpaolo Degano on the occasion of His 65th Birthday /
Published: (2015)

Model-Based Safety and Assessment : 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings /
Published: (2019)

Model-Based Safety and Assessment : 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings /
Published: (2017)

Formal Methods and Software Engineering : 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings /
Published: (2015)

Architectural Design : Conception and Specification of Interactive Systems /
by: Vissers, Chris A., 1941-
Published: (2016)

Hardware and software : verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings /
Published: (2016)

Hardware and Software: Verification and Testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings /
Published: (2015)

Real-Time C++ : efficient object-oriented and template microcontroller programming /
by: Kormanyos, Christopher Michael
Published: (2018)

Human-computer interaction : user interface design, development and multimodality : 19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings. Part I /
Published: (2017)