Abstract is missing.
- Equivalence Class Definition for Automated Testing of Satellite On-Board Image ProcessingUlrike Witteck, Denis Grießbach, Paula Herber. 3-25 [doi]
- What We Know About Software Architecture Styles in Continuous Delivery and DevOps?Maya Daneva, Robin Bolscher. 26-39 [doi]
- Analysing the Performance of Mobile Cross-platform Development Approaches Using UI Interaction ScenariosStefan Huber, Lukas Demetz, Michael Felderer. 40-57 [doi]
- Quantitative Analysis of Mutant EquivalenceAmani Ayad, Imen Marsit, Sara Tawfig, Ji Meng Loh, Mohamed-Nazih Omri, Ali Mili. 58-80 [doi]
- Distributed Frames: Pattern-Based Characterization of Functional Requirements for Distributed SystemsRoman Wirtz, Maritta Heisel, Marvin Wagner. 81-107 [doi]
- Efficient Diagnosis of Reconfigurable Systems with Incorrect Behavior and Faulty Components: A Case Study on SGridsYousra Hafidi, Laïd Kahloul, Mohamed Khalgui. 108-129 [doi]
- GA-PPI-Net: A Genetic Algorithm for Community Detection in Protein-Protein Interaction NetworksMarwa Ben M'Barek, Amel Borgi, Sana Ben Hamida, Marta Rukoz. 133-155 [doi]
- From Formal Test Objectives to TTCN-3 for Verifying ETCS Complex Software Control SystemsRabéa Ameur-Boulifa, Ana R. Cavalli, Stephane Maag. 156-178 [doi]
- Service Robots: A Unified Framework for Detecting, Opening and Navigating Through DoorsTatsuya Harada, Antonio Tejero-de-Pablos, Stefano Quer, Francesco Savarese. 179-204 [doi]
- Two-Stage Game Theoretic Approach for Energy Management in Networked MicrogridsIlyes Naidji, Olfa Mosbahi, Mohamed Khalgui, Abdelmalik Bachir. 205-228 [doi]