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 |
Hosted by HAL : 