Testing Software and Systems

1. Front Matter

   PDF

2. Model-Based Testing

   1. Using Logic Coverage to Improve Testing Function Block Diagrams

      • Eduard Paul Enoiu, Daniel Sundmark, Paul Pettersson

      Pages 1-16

   2. Automatic Grammar-Based Test Generation

      • Hai-Feng Guo, Zongyan Qiu

      Pages 17-32

   3. Adaptive Homing and Distinguishing Experiments for Nondeterministic Finite State Machines

      • Natalia Kushik, Khaled El-Fakih, Nina Yevtushenko

      Pages 33-48

   4. Exhaustive Model-Based Equivalence Class Testing

      • Wen-ling Huang, Jan Peleska

      Pages 49-64

3. Testing Timed and Concurrent Systems

   1. Remote Testing of Timed Specifications

      • Alexandre David, Kim G. Larsen, Marius Mikučionis, Omer L. Nguena Timo, Antoine Rollet

      Pages 65-81

   2. An Implementation Relation and Test Framework for Timed Distributed Systems

      • Christophe Gaston, Robert M. Hierons, Pascale Le Gall

      Pages 82-97

   3. Unfolding-Based Test Selection for Concurrent Conformance

      • Hernán Ponce de León, Stefan Haar, Delphine Longuet

      Pages 98-113

4. Test Suite Selection and Effort Estimation

   1. Predicting the Size of Test Suites from Use Cases: An Empirical Exploration

      • Mourad Badri, Linda Badri, William Flageol

      Pages 114-132

   2. Chaining Test Cases for Reactive System Testing

      • Peter Schrammel, Tom Melham, Daniel Kroening

      Pages 133-148

   3. Variations over Test Suite Reduction

      • Dennis Güttinger, Vitaly Kozyura, Dominik Kremer, Sebastian Wieczorek

      Pages 149-163

5. Tools and Languages

   1. Case Studies in Learning-Based Testing

      • Lei Feng, Simon Lundmark, Karl Meinke, Fei Niu, Muddassar A. Sindhu, Peter Y. H. Wong

      Pages 164-179

   2. Techniques and Toolset for Conformance Testing against UML Sequence Diagrams

      • João Pascoal Faria, Ana C. R. Paiva, Mário Ventura de Castro

      Pages 180-195

   3. Parallel SMT-Constrained Symbolic Execution for Eclipse CDT/Codan

      • Andreas Ibing

      Pages 196-206

   4. Challenges of Testing Periodic Messages in Avionics Systems Using TTCN-3

      • Bernard Stepien, Liam Peyton

      Pages 207-222

6. Debugging

   1. Guided Algebraic Specification Mining for Failure Simplification

      • Alexander Elyasov, I. S. Wishnu B. Prasetya, Jurriaan Hage

      Pages 223-238

   2. Spectrum-Based Fault Localization for Diagnosing Concurrency Faults

      • Feyzullah Koca, Hasan Sözer, Rui Abreu

      Pages 239-254

   3. A Dynamic Approach to Locating Memory Leaks

      • Kostyantyn Vorobyov, Padmanabhan Krishnan, Phil Stocks

      Pages 255-270

7. Short Contributions

   1. Towards a GUI Test Model Using State Charts and Programming Code

      • Daniel Mauser, Alexander Klaus, Konstantin Holl

      Pages 271-276

   2. A Tool for Supporting Developers in Analyzing the Security of Web-Based Security Protocols

      • Giancarlo Pellegrino, Luca Compagna, Thomas Morreggia

      Pages 277-282

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.

• distributed systems
• human machine interface
• model checking
• timed systems
• use cases

• Faculty of Engineering and Natural Sciences, Sabanci University, Istanbul, Turkey

  Hüsnü Yenigün, Cemal Yilmaz

• Corporate Technology, CT RTC SAD SDT-DE, Siemens AG, Munich,, Germany

  Andreas Ulrich

Policies and ethics