default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID27. ICTSS 2015: Sharjah and Dubai, United Arab Emirates
- Khaled El-Fakih, Gerassimos D. Barlas, Nina Yevtushenko:
Testing Software and Systems - 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings. Lecture Notes in Computer Science 9447, Springer 2015, ISBN 978-3-319-25944-4
Model Based Testing
- Alexandre Petrenko
, Adenilso da Silva Simão:
Checking Experiments for Finite State Machines with Symbolic Inputs. 3-18 - Canan Güniçen, Guy-Vincent Jourdan, Hüsnü Yenigün:
Using Multiple Adaptive Distinguishing Sequences for Checking Sequence Generation. 19-34 - Imen Boudhiba, Christophe Gaston, Pascale Le Gall, Virgile Prevosto:
Model-Based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts. 35-51
Test Derivation Methods
- Sylvain Hallé, Edmond La Chance, Sébastien Gaboury:
Graph Methods for Generating Test Cases with Universal and Existential Constraints. 55-70 - Cleverton Hentz, Jurgen J. Vinju, Anamaria Martins Moreira:
Reducing the Cost of Grammar-Based Testing Using Pattern Coverage. 71-85 - Stephan Weißleder, Florian Wartenberg, Hartmut Lackner:
Automated Test Design for Boundaries of Product Line Variants. 86-101
Monitoring and Fault Localization
- Xiaoping Che, Stephane Maag, Huu Nghia Nguyen, Fatiha Zaïdi:
Guiding Testers' Hands in Monitoring Tools: Application of Testing Approaches on SIP. 105-123 - Rui Abreu, Simon Außerlechner, Birgit Hofer, Franz Wotawa:
Testing for Distinguishing Repair Candidates in Spreadsheets - the Mussco Approach. 124-140 - Harald Altinger, Steffen Herbold, Jens Grabowski, Franz Wotawa:
Novel Insights on Cross Project Fault Prediction Applied to Automotive Software. 141-157
Model and System Testing
- Roland Groz, Adenilso da Silva Simão, Alexandre Petrenko, Catherine Oriat:
Inferring Finite State Machines Without Reset Using State Identification Sequences. 161-177 - Ramsay Taylor, John Derrick:
mu2: A Refactoring-Based Mutation Testing Framework for Erlang. 178-193 - Sara Abbaspour Asadollah, Rafia Inam, Hans Hansson:
A Survey on Testing for Cyber Physical System. 194-207
Real-Time Systems
- Muhammad Waqar Aziz, Syed Abdul Baqi Shah:
Test-Data Generation for Testing Parallel Real-Time Systems. 211-223 - Mariam Lahami, Moez Krichen, Hajer Barhoumi, Mohamed Jmaiel:
Selective Test Generation Approach for Testing Dynamic Behavioral Adaptations. 224-239
Short Papers
- Natalia Kushik, Hüsnü Yenigün:
Heuristics for Deriving Adaptive Homing and Distinguishing Sequences for Nondeterministic Finite State Machines. 243-248 - Ammar Mohammed Sultan, Salmi Baharom, Abdul Azim Abdul Ghani, Jamilah Din, Hazura Zulzalil:
Genetic Algorithm Application for Enhancing State-Sensitivity Partitioning. 249-256 - Martin A. Schneider, Marc-Florian Wendland, Andreas Hoffmann:
A Negative Input Space Complexity Metric as Selection Criterion for Fuzz Testing. 257-262 - Takeshi Kitahara, Shuichi Nawata, Masaki Suzuki, Norihiro Fukumoto, Shigehiro Ano:
A Practical Evaluation Method of Network Traffic Load for Capacity Planning. 263-268
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-05-27 02:06 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
