SC Harvester Papers Database Interface

Boundary Value Exploration for Software Analysis

Felix Dobslaw, F. D. O. Neto, R. Feldt. In: 2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). 2020

Abstract: For software to be reliable and resilient, it is widely accepted that tests must be created and maintained alongside the software itself. One safeguard from vulnerabilities and failures in code is to ensure correct behavior on the boundaries between subdomains of the input space. So-called boundary value analysis (BVA) and boundary value testing (BVT) techniques aim to exercise those boundaries an...

Engineering AI Systems: A Research Agenda

J. Bosch, I. Crnkovic, H. Olsson. In: ArXiv. 2020

Abstract: Artificial intelligence (AI) and machine learning (ML) are increasingly broadly adopted in industry. However, based on well over a dozen case studies, we have learned that deploying industry-strength, production quality ML models in systems proves to be challenging. Companies experience challenges related to data quality, design methods and processes, performance of models as well as deployment an...

Perception and Acceptance of an Autonomous Refactoring Bot

Marvin Wyrich, R. Hebig, S. Wagner, R. Scandariato. In: ArXiv. 2020

Abstract: The use of autonomous bots for automatic support in software development tasks is increasing. In the past, however, they were not always perceived positively and sometimes experienced a negative bias compared to their human counterparts. We conducted a qualitative study in which we deployed an autonomous refactoring bot for 41 days in a student software development project. In between and at the e...

Going digital: Disruption and transformation in software‐intensive embedded systems ecosystems

H. Olsson, J. Bosch. In: Journal of Software: Evolution and Process. 2020

Abstract: Digitalization is transforming industry to an extent that we have only seen the beginnings of. Across domains, companies experience rapid changes to their existing practices due to new technologies and new entrants that current businesses. While digitalization brings endless opportunities, it comes with challenges that require companies to strategically engage with partners in their surrounding ec...

Why and How to Balance Alignment and Diversity of Requirements Engineering Practices in Automotive

Rebekka Wohlrab, E. Knauss, Patrizio Pelliccione. In: ArXiv. 2020

Abstract: In large-scale automotive companies, various requirements engineering (RE) practices are used across teams. RE practices manifest in Requirements Information Models (RIM) that define what concepts and information should be captured for requirements. Collaboration of practitioners from different parts of an organization is required to define a suitable RIM that balances support for diverse practice...

Enhancing Fault Detection in Time Sensitive Networks using Machine Learning

Nitin Desai, S. Punnekkat. In: 2020 International Conference on COMmunication Systems & NETworkS (COMSNETS). 2020

Abstract: Time sensitive networking (TSN) is gaining attention in industrial automation networks since it brings essential real-time capabilities to the Ethernet layer. Safety-critical realtime applications based on TSN require both timeliness as well as fault-tolerance guarantees. The TSN standard 802.1CB introduces seamless redundancy mechanisms for time-sensitive data whereby each data frame is sequenced...

Addressing the Node Discovery Problem in Fog Computing

Vasileios Karagiannis, Nitin Desai, Stefan Schulte, S. Punnekkat. In: . 2020

DATA DRIVEN ANOMALY CONTROL DETECTION FOR RAILWAY PROPULSION CONTROL SYSTEMS

Ajna Hodzic, T. Nolte, Aida Čaušević, Claes Lindskog. 2020

Abstract: The popularity of railway transportation has been on the rise over the past decades, as it has been able to provide safe, reliable, and highly available service. The main challenge within this domain is to reduce the costs of preventive maintenance and improve operational efficiency. To tackle these challenges, one needs to investigate and provide new approaches to enable quick and timely data col...

Enhancing State-of-the-art Safety Case Patterns to Support Change Impact Analysis

Carmen Cârlan, B. Gallina. In: . 2020

Abstract: The new generation of safety-critical systems will be interconnected, having other systems as collaborating partners for achieving common goals (e.g., interconnected cyber-physical systems such as ......

The AMASS Tool Platform: An Innovative Solution for Assurance and Certication of Cyber-Physical Systems

J. Vara, Eugenio Parra, A. Ruiz, B. Gallina. In: . 2020

Making Safe Concert Security-informed to Enable Multi-Concern Modelling

B. Gallina, Z. Haider. In: . 2020

Towards Explainable, Compliant and Adaptive Human-Automation Interaction

B. Gallina, Görkem Paçaci, David Johnson, S. McKeever, A. Hamfelt et al. 2020

Co-engineering of Safety and Security Life cycles for Engineering Automotive Security-informed Safe Systems

R. Bramberger, B. Gallina, Christoph Schmittner. In: . 2020

Bytecode-Based Multiple Condition Coverage: An Initial Investigation

Srujana Bollina, Gregory Gay. In: . 2020

Generating Diverse Test Suites for Gson Through Adaptive Fitness Function Selection

H. Almulla, Gregory Gay. In: . 2020