Full Text Documents Search Links IFIP website IFIP TC6 Open DL

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