Editors:
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9447)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Conference series link(s): ICTSS: IFIP International Conference on Testing Software and Systems
Conference proceedings info: ICTSS 2015.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (18 papers)
-
Front Matter
-
Monitoring and Fault Localization
-
Front Matter
-
About this book
Keywords
- formal software verification
- functional testing
- model based testing
- software engineering
- software validation
- adaptive systems
- code based testing
- coverage metrics
- distributed systems
- equivalence checking
- fault models
- formal methods
- model checking
- mutation testing
- product line
- quality assurance
- security testing
- software defect analysis
- software testing and debugging
- validation
Editors and Affiliations
-
Dept. of Comp. Sci.&Engg. Coll. of Engg, American Univ of Sharjah, Sharjah, United Arab Emirates
Khaled El-Fakih, Gerassimos Barlas
-
Department of Information Technologies, Tomsk State University, Tomsk, Russia
Nina Yevtushenko
Bibliographic Information
Book Title: Testing Software and Systems
Book Subtitle: 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings
Editors: Khaled El-Fakih, Gerassimos Barlas, Nina Yevtushenko
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-25945-1
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: IFIP International Federation for Information Processing 2015
Softcover ISBN: 978-3-319-25944-4Published: 10 November 2015
eBook ISBN: 978-3-319-25945-1Published: 07 November 2015
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIV, 269
Number of Illustrations: 69 illustrations in colour
Topics: Software Engineering, Computer Communication Networks, Programming Languages, Compilers, Interpreters, Special Purpose and Application-Based Systems, Logics and Meanings of Programs, Management of Computing and Information Systems