Amazon cover image
Image from Amazon.com

Testing software and systems : 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings / Hüsnü Yenigün, Cemal Yilmaz, Andreas Ulrich (eds.).

By: Contributor(s): Material type: TextTextSeries: Lecture notes in computer science ; 8254. | LNCS sublibrary. SL 2, Programming and software engineering.Publisher: Heidelberg : Springer, 2013Description: 1 online resource (xiv, 291 pages) : illustrationsContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783642417078
  • 3642417078
  • 364241706X
  • 9783642417061
Other title:
  • ICTSS 2013
Subject(s): Genre/Form: Additional physical formats: Printed edition:: No titleDDC classification:
  • 005.1/4 23
LOC classification:
  • QA76.76.T48 I28 2013
NLM classification:
  • QA 76.76.T48
Online resources:
Contents:
Model-Based Testing. Using Logic Coverage to Improve Testing Function Block Diagrams / Eduard Paul Enoiu, Daniel Sundmark and Paul Pettersson -- Automatic Grammar-Based Test Generation / Hai-Feng Guo and Zongyan Qiu -- Adaptive Homing and Distinguishing Experiments for Nondeterministic Finite State Machines / Natalia Kushik, Khaled El-Fakih and Nina Yevtushenko -- Exhaustive Model-Based Equivalence Class Testing / Wen-ling Huang and Jan Peleska -- Testing Timed and Concurrent Systems. Remote Testing of Timed Specifications / Alexandre David [and others] -- An Implementation Relation and Test Framework for Timed Distributed Systems / Christophe Gaston, Robert M. Hierons and Pascale Le Gall -- Unfolding-Based Test Selection for Concurrent Conformance / Hernán Ponce de León, Stefan Haar and Delphine Longuet -- Test Suite Selection and Effort Estimation. Predicting the Size of Test Suites from Use Cases: An Empirical Exploration / Mourad Badri, Linda Badri and William Flageol -- Chaining Test Cases for Reactive System Testing / Peter Schrammel, Tom Melham and Daniel Kroening -- Variations over Test Suite Reduction / Dennis Güttinger [and others] -- Tools and Languages. Case Studies in Learning-Based Testing / Lei Feng [and others] -- Techniques and Toolset for Conformance Testing against UML Sequence Diagrams / João Pascoal Faria, Ana C.R. Paiva and Mário Ventura de Castro -- Parallel SMT-Constrained Symbolic Execution for Eclipse CDT/Codan / Andreas Ibing -- Challenges of Testing Periodic Messages in Avionics Systems Using TTCN-3 / Bernard Stepien and Liam Peyton -- Debugging. Guided Algebraic Specification Mining for Failure Simplification / Alexander Elyasov, I.S. Wishnu B. Prasetya and Jurriaan Hage -- Spectrum-Based Fault Localization for Diagnosing Concurrency Faults / Feyzullah Koca, Hasan Sözer and Rui Abreu -- A Dynamic Approach to Locating Memory Leaks / Kostyantyn Vorobyov, Padmanabhan Krishnan and Phil Stocks -- Short Contributions. Towards a GUI Test Model Using State Charts and Programming Code / Daniel Mauser, Alexander Klaus and Konstantin Holl -- A Tool for Supporting Developers in Analyzing the Security of Web-Based Security Protocols / Giancarlo Pellegrino, Luca Compagna and Thomas Morreggia -- Finding Errors in Python Programs Using Dynamic Symbolic Execution / Samir Saprav [and others].
Summary: 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 papers are organized in topical sections on model-based testing, testing timed and concurrent systems, test suite selection and effort estimation, tools and languages, and debugging.
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library eBook LNCS Available
Total holds: 0

International conference proceedings.

Includes author index.

Model-Based Testing. Using Logic Coverage to Improve Testing Function Block Diagrams / Eduard Paul Enoiu, Daniel Sundmark and Paul Pettersson -- Automatic Grammar-Based Test Generation / Hai-Feng Guo and Zongyan Qiu -- Adaptive Homing and Distinguishing Experiments for Nondeterministic Finite State Machines / Natalia Kushik, Khaled El-Fakih and Nina Yevtushenko -- Exhaustive Model-Based Equivalence Class Testing / Wen-ling Huang and Jan Peleska -- Testing Timed and Concurrent Systems. Remote Testing of Timed Specifications / Alexandre David [and others] -- An Implementation Relation and Test Framework for Timed Distributed Systems / Christophe Gaston, Robert M. Hierons and Pascale Le Gall -- Unfolding-Based Test Selection for Concurrent Conformance / Hernán Ponce de León, Stefan Haar and Delphine Longuet -- Test Suite Selection and Effort Estimation. Predicting the Size of Test Suites from Use Cases: An Empirical Exploration / Mourad Badri, Linda Badri and William Flageol -- Chaining Test Cases for Reactive System Testing / Peter Schrammel, Tom Melham and Daniel Kroening -- Variations over Test Suite Reduction / Dennis Güttinger [and others] -- Tools and Languages. Case Studies in Learning-Based Testing / Lei Feng [and others] -- Techniques and Toolset for Conformance Testing against UML Sequence Diagrams / João Pascoal Faria, Ana C.R. Paiva and Mário Ventura de Castro -- Parallel SMT-Constrained Symbolic Execution for Eclipse CDT/Codan / Andreas Ibing -- Challenges of Testing Periodic Messages in Avionics Systems Using TTCN-3 / Bernard Stepien and Liam Peyton -- Debugging. Guided Algebraic Specification Mining for Failure Simplification / Alexander Elyasov, I.S. Wishnu B. Prasetya and Jurriaan Hage -- Spectrum-Based Fault Localization for Diagnosing Concurrency Faults / Feyzullah Koca, Hasan Sözer and Rui Abreu -- A Dynamic Approach to Locating Memory Leaks / Kostyantyn Vorobyov, Padmanabhan Krishnan and Phil Stocks -- Short Contributions. Towards a GUI Test Model Using State Charts and Programming Code / Daniel Mauser, Alexander Klaus and Konstantin Holl -- A Tool for Supporting Developers in Analyzing the Security of Web-Based Security Protocols / Giancarlo Pellegrino, Luca Compagna and Thomas Morreggia -- Finding Errors in Python Programs Using Dynamic Symbolic Execution / Samir Saprav [and others].

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 papers are organized in topical sections on model-based testing, testing timed and concurrent systems, test suite selection and effort estimation, tools and languages, and debugging.

Online resource; title from PDF title page (SpringerLink, viewed November 4, 2013).

Powered by Koha