Description |
1 online resource (xiv, 291 pages) : illustrations |
Series |
Lecture Notes in Computer Science, 0302-9743 ; 8254 |
|
LNCS sublibrary. SL 2, Programming and software engineering |
|
Lecture notes in computer science ; 8254. 0302-9743
|
|
LNCS sublibrary. SL 2, Programming and software engineering.
|
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 |
Analysis |
computerwetenschappen |
|
computer sciences |
|
informatiesystemen |
|
information systems |
|
programmeertalen |
|
programming languages |
|
systemen |
|
systems |
|
computernetwerken |
|
computer networks |
|
software engineering |
|
Information and Communication Technology (General) |
|
Informatie- en communicatietechnologie (algemeen) |
Notes |
International conference proceedings |
|
Includes author index |
|
Online resource; title from PDF title page (SpringerLink, viewed November 4, 2013) |
Subject |
Computer software -- Testing -- Congresses
|
|
Software engineering -- Congresses
|
|
Computer programs -- Validation.
|
|
Computer software -- Validation.
|
|
Computer software.
|
|
Computer programs.
|
|
Software Validation
|
|
Software
|
|
software.
|
|
Computer software -- Validation
|
|
Computer software
|
|
Computer programs -- Validation
|
|
Computer programs
|
|
Computer software -- Testing
|
|
Software engineering
|
|
Engineering & Applied Sciences.
|
|
Computer Science.
|
Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Yenigun, Husnu, editor
|
|
Yilmaz, Cemal, editor
|
|
Ulrich, Andreas (Engineer), editor.
|
ISBN |
9783642417078 |
|
3642417078 |
|
364241706X |
|
9783642417061 |
|