Abstract is missing.
- Validation Obligations: A Novel Approach to Check Compliance between Requirements and their Formal SpecificationAtif Mashkoor, Michael Leuschel, Alexander Egyed. 1-5 [doi]
- Inconsistency-Tolerating Guidance for Software Engineering ProcessesChristoph Mayr-Dorn, Roland Kretschmer, Alexander Egyed, Ruben Heradio, David Fernández-Amoros. 6-10 [doi]
- A Cognitive and Machine Learning-Based Software Development Paradigm Supported by ContextGlaucia Melo dos Santos, Paulo S. C. Alencar, Donald D. Cowan. 11-15 [doi]
- Stop Building Castles on a Swamp! The Crisis of Reproducing Automatic Search in Evidence-Based Software EngineeringZheng Li. 16-20 [doi]
- Bridging the Gap Between Clone-and-Own and Software Product LinesTimo Kehrer, Thomas Thüm, Alexander Schultheiß, Paul Maximilian Bittner. 21-25 [doi]
- ADEPT: A Socio-Technical Theory of Continuous IntegrationOmar Elazhary, Margaret-Anne D. Storey, Neil A. Ernst, Elise Paradis. 26-30 [doi]
- An Axiomatic Approach to Detect Information Leaks in Concurrent ProgramsSandip Ghosal, R. K. Shyamasundar. 31-35 [doi]
- Exploring the Efficiency of Self-Organizing Software Teams with Game TheoryClay Stevens, Jared Soundy, Hau Chan. 36-40 [doi]
- On Automatic Parsing of Log RecordsJared Rand, Andriy V. Miranskyy. 41-45 [doi]
- Semi-Automated Test-Case Propagation in Fork EcosystemsMukelabai Mukelabai, Thorsten Berger, Paulo Borba. 46-50 [doi]
- Two Elements of Pair Programming SkillFranz Zieris, Lutz Prechelt. 51-55 [doi]
- Towards Domain-Specific Modelling Environments Based on Augmented RealityLéa Brunschwig, Rubén Campos-López, Esther Guerra, Juan de Lara. 56-60 [doi]
- Software Ticks Need No SpecificationsChristoph Reichenbach. 61-65 [doi]
- What Are We Really Testing in Mutation Testing for Machine Learning? A Critical ReflectionAnnibale Panichella, Cynthia C. S. Liem. 66-70 [doi]
- Toward Speeding up Mutation Analysis by Memoizing Expensive MethodsAli Ghanbari 0001, Andrian Marcus. 71-75 [doi]
- Towards Evidence-Based Testability MeasurementsLuca Guglielmo, Andrea Riboni, Giovanni Denaro. 76-80 [doi]
- DIRECTDEBUG: Automated Testing and Debugging of Feature ModelsViet Man Le, Alexander Felfernig, Mathias Uta, David Benavides 0001, José A. Galindo, Thi Ngoc Trang Tran. 81-85 [doi]
- Towards Modal Software EngineeringRamy Shahin. 86-90 [doi]
- Secure Software Development in the Era of Fluid Multi-party Open Software and ServicesIvan Pashchenko, Riccardo Scandariato, Antonino Sabetta, Fabio Massacci. 91-95 [doi]
- Towards a Model-Integrated Runtime Monitoring Infrastructure for Cyber-Physical SystemsMichael Vierhauser, Hussein Marah, Antonio Garmendia, Jane Cleland-Huang, Manuel Wimmer. 96-100 [doi]
- Should you Upgrade Official Docker Hub Images in Production Environments?Sara Gholami, Hamzeh Khazaei, Cor-Paul Bezemer. 101-105 [doi]
- Mining Software Repositories with a Collaborative Heuristic RepositoryHlib Babii, Julian Aron Prenner, Laurin Stricker, Anjan Karmakar, Andrea Janes, Romain Robbes. 106-110 [doi]