ICTSS C

19 papers

YearTitle / Authors
2015A Negative Input Space Complexity Metric as Selection Criterion for Fuzz Testing.
Martin A. Schneider, Marc-Florian Wendland, Andreas Hoffmann
2015A Practical Evaluation Method of Network Traffic Load for Capacity Planning.
Takeshi Kitahara, Shuichi Nawata, Masaki Suzuki, Norihiro Fukumoto, Shigehiro Ano
2015A Survey on Testing for Cyber Physical System.
Sara Abbaspour Asadollah, Rafia Inam, Hans Hansson
2015Automated Test Design for Boundaries of Product Line Variants.
Stephan Weißleder, Florian Wartenberg, Hartmut Lackner
2015Checking Experiments for Finite State Machines with Symbolic Inputs.
Alexandre Petrenko, Adenilso da Silva Simão
2015Genetic Algorithm Application for Enhancing State-Sensitivity Partitioning.
Ammar Mohammed Sultan, Salmi Baharom, Abdul Azim Abdul Ghani, Jamilah Din, Hazura Zulzalil
2015Graph Methods for Generating Test Cases with Universal and Existential Constraints.
Sylvain Hallé, Edmond La Chance, Sébastien Gaboury
2015Guiding Testers' Hands in Monitoring Tools: Application of Testing Approaches on SIP.
Xiaoping Che, Stephane Maag, Huu Nghia Nguyen, Fatiha Zaïdi
2015Heuristics for Deriving Adaptive Homing and Distinguishing Sequences for Nondeterministic Finite State Machines.
Natalia Kushik, Hüsnü Yenigün
2015Inferring Finite State Machines Without Reset Using State Identification Sequences.
Roland Groz, Adenilso da Silva Simão, Alexandre Petrenko, Catherine Oriat
2015Model-Based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts.
Imen Boudhiba, Christophe Gaston, Pascale Le Gall, Virgile Prevosto
2015Novel Insights on Cross Project Fault Prediction Applied to Automotive Software.
Harald Altinger, Steffen Herbold, Jens Grabowski, Franz Wotawa
2015Reducing the Cost of Grammar-Based Testing Using Pattern Coverage.
Cleverton Hentz, Jurgen J. Vinju, Anamaria Martins Moreira
2015Selective Test Generation Approach for Testing Dynamic Behavioral Adaptations.
Mariam Lahami, Moez Krichen, Hajer Barhoumi, Mohamed Jmaiel
2015Test-Data Generation for Testing Parallel Real-Time Systems.
Muhammad Waqar Aziz, Syed Abdul Baqi Shah
2015Testing Software and Systems - 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings
Khaled El-Fakih, Gerassimos D. Barlas, Nina Yevtushenko
2015Testing for Distinguishing Repair Candidates in Spreadsheets - the Mussco Approach.
Rui Abreu, Simon Außerlechner, Birgit Hofer, Franz Wotawa
2015Using Multiple Adaptive Distinguishing Sequences for Checking Sequence Generation.
Canan Güniçen, Guy-Vincent Jourdan, Hüsnü Yenigün
2015mu2: A Refactoring-Based Mutation Testing Framework for Erlang.
Ramsay Taylor, John Derrick