Testing Software and Systems

1. Front Matter

   Pages I-XIV

   PDF

2. Model Based Testing

   1. Front Matter

      Pages 1-1

      PDF

   2. Checking Experiments for Finite State Machines with Symbolic Inputs

      • Alexandre Petrenko, Adenilso Simao

      Pages 3-18

   3. Using Multiple Adaptive Distinguishing Sequences for Checking Sequence Generation

      • Canan Güniçen, Guy-Vincent Jourdan, Hüsnü Yenigün

      Pages 19-34

   4. Model-Based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts

      • Imen Boudhiba, Christophe Gaston, Pascale Le Gall, Virgile Prevosto

      Pages 35-51

3. Test Derivation Methods

   1. Front Matter

      Pages 53-53

      PDF

   2. Graph Methods for Generating Test Cases with Universal and Existential Constraints

      • Sylvain Hallé, Edmond La Chance, Sébastien Gaboury

      Pages 55-70

   3. Reducing the Cost of Grammar-Based Testing Using Pattern Coverage

      • Cleverton Hentz, Jurgen J. Vinju, Anamaria M. Moreira

      Pages 71-85

   4. Automated Test Design for Boundaries of Product Line Variants

      • Stephan Weißleder, Florian Wartenberg, Hartmut Lackner

      Pages 86-101

4. Monitoring and Fault Localization

   1. Front Matter

      Pages 103-103

      PDF

   2. Guiding Testers’ Hands in Monitoring Tools: Application of Testing Approaches on SIP

      • Xiaoping Che, Stephane Maag, Huu Nghia Nguyen, Fatiha Zaïdi

      Pages 105-123

   3. Testing for Distinguishing Repair Candidates in Spreadsheets – the Mussco Approach

      • Rui Abreu, Simon Außerlechner, Birgit Hofer, Franz Wotawa

      Pages 124-140

   4. Novel Insights on Cross Project Fault Prediction Applied to Automotive Software

      • Harald Altinger, Steffen Herbold, Jens Grabowski, Franz Wotawa

      Pages 141-157

5. Model and System Testing

   1. Front Matter

      Pages 159-159

      PDF

   2. Inferring Finite State Machines Without Reset Using State Identification Sequences

      • Roland Groz, Adenilso Simao, Alexandre Petrenko, Catherine Oriat

      Pages 161-177

   3. mu2: A Refactoring-Based Mutation Testing Framework for Erlang

      • Ramsay Taylor, John Derrick

      Pages 178-193

   4. A Survey on Testing for Cyber Physical System

      • Sara Abbaspour Asadollah, Rafia Inam, Hans Hansson

      Pages 194-207

6. Real-Time Systems

   1. Front Matter

      Pages 209-209

      PDF

   2. Test-Data Generation for Testing Parallel Real-Time Systems

      • Muhammad Waqar Aziz, Syed Abdul Baqi Shah

      Pages 211-223

   3. Selective Test Generation Approach for Testing Dynamic Behavioral Adaptations

      • Mariam Lahami, Moez Krichen, Hajer Barhoumi, Mohamed Jmaiel

      Pages 224-239

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.

• 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

• 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

Policies and ethics