Full Text Documents

Search


Table of Contents
Testing Software and Systems
Khaled El-Fakih, Gerassimos Barlas, Nina Yevtushenko (Eds.)
Front Matter

Model Based Testing


Checking Experiments for Finite State Machines with Symbolic Inputs
Alexandre Petrenko, Adenilso Simao
3-18
Using Multiple Adaptive Distinguishing Sequences for Checking Sequence Generation
Canan Güniçen, Guy-Vincent Jourdan, Hüsnü Yenigün
19-34
Model-Based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts
Imen Boudhiba, Christophe Gaston, Pascale Gall, Virgile Prévosto
35-51

Test Derivation Methods


Graph Methods for Generating Test Cases with Universal and Existential Constraints
Sylvain Hallé, Edmond Chance, Sébastien Gaboury
55-70
Reducing the Cost of Grammar-Based Testing Using Pattern Coverage
Cleverton Hentz, Jurgen Vinju, Anamaria Moreira
71-85
Automated Test Design for Boundaries of Product Line Variants
Stephan Weißleder, Florian Wartenberg, Hartmut Lackner
86-101

Monitoring and Fault Localization


Guiding testers' hands in monitoring tools : application of testing approaches on SIP
Xiaoping Che, Huu Nghia Nguyen, Stephane Maag, Fatiha Zaidi
105-123
Testing for Distinguishing Repair Candidates in Spreadsheets – the Mussco Approach
Rui Abreu, Simon Außerlechner, Birgit Hofer, Franz Wotawa
124-140
Novel Insights on Cross Project Fault Prediction Applied to Automotive Software
Harald Altinger, Steffen Herbold, Jens Grabowski, Franz Wotawa
141-157

Model and System Testing


Inferring Finite State Machines Without Reset Using State Identification Sequences
Roland Groz, Adenilso Simao, Alexandre Petrenko, Catherine Oriat
161-177
mu2: A Refactoring-Based Mutation Testing Framework for Erlang
Ramsay Taylor, John Derrick
178-193
A Survey on Testing for Cyber Physical System
Sara Abbaspour Asadollah, Rafia Inam, Hans Hansson
194-207

Real-Time Systems


Test-Data Generation for Testing Parallel Real-Time Systems
Muhammad Aziz, Syed Shah
211-223
Selective Test Generation Approach for Testing Dynamic Behavioral Adaptations
Mariam Lahami, Moez Krichen, Hajer Barhoumi, Mohamed Jmaiel
224-239

Short Papers


Heuristics for deriving adaptive homing and distinguishing sequences for nondeterministic finite state machines
Natalia Kushik, Husnu Yenigun
243-248
Genetic Algorithm Application for Enhancing State-Sensitivity Partitioning
Ammar Sultan, Salmi Baharom, Abdul Ghani, Jamilah Din, Hazura Zulzalil
249-256
A Negative Input Space Complexity Metric as Selection Criterion for Fuzz Testing
Martin Schneider, Marc-Florian Wendland, Andreas Hoffmann
257-262
A Practical Evaluation Method of Network Traffic Load for Capacity Planning
Takeshi Kitahara, Shuichi Nawata, Masaki Suzuki, Norihiro Fukumoto, Shigehiro Ano
263-268

 

 


Designed by Inria-IES Team : http://hal.inria.fr/    Hosted by HAL : http://hal.archives-ouvertes.fr/