English
Related papers

Related papers: Integrating Inspection and Test Processes Based on…

200 papers

Business Process Management and Operations Research are two research fields that both aim to enhance value creation in organizations. While Business Process Management has historically emphasized on providing precise models, Operations…

Software Engineering · Computer Science 2024-09-04 Michel Kunkler , Felix Schumann , Stefanie Rinderle-Ma

To ensure the quality of software systems, software engineers can make use of a variety of quality assurance approaches, such as software testing, modern code review, automated static analysis, and build automation. Each of these quality…

Software Engineering · Computer Science 2026-04-21 Ali Khatami , Andy Zaidman

Case studies are a popular and noteworthy type of research study in software engineering, offering significant potential to impact industry practices by investigating phenomena in their natural contexts. This potential to reach a broad…

Software Engineering · Computer Science 2024-02-14 Sergio Rico

Testing is a key concern when developing process-oriented solutions as it supports modeling experts who have to deal with increasingly complex models and scenarios such as cross-organizational processes. However, the complexity of the…

Software Engineering · Computer Science 2015-09-15 Kristof Böhmer , Stefanie Rinderle-Ma

Automated test execution scheduling is crucial in modern software development environments, where components are frequently updated with changes that impact their integration with hardware systems. Building test schedules, which focus on…

Software Engineering · Computer Science 2024-03-20 Arnaud Gotlieb , Morten Mossige , Helge Spieker

Accurate assessment of students' ability is the key task of a test. Assessments based on final responses are the standard. As the infrastructure advances, substantially more information is observed. One of such instances is the process data…

Applications · Statistics 2025-01-08 Susu Zhang , Zhi Wang , Jitong Qi , Jingchen Liu , Zhiliang Ying

In the last decade, the term instance-spanning constraint has been introduced in the process mining field to refer to constraints that span multiple process instances of one or several processes. Of particular relevance, in this setting, is…

Databases · Computer Science 2022-06-02 Heba Aamer , Marco Montali , Jan Van den Bussche

With the increasing number of internet-based resources and applications, the amount of attacks faced by companies has increased significantly in the past years. Likewise, the techniques to test security and emulate attacks need to be…

Cryptography and Security · Computer Science 2023-11-23 Daniel Dalalana Bertoglio , Arthur Gil , Juan Acosta , Julia Godoy , Roben Castagna Lunardi , Avelino Francisco Zorzo

Automation systems exist in many variants and may evolve over time in order to deal with different environment contexts or to fulfill changing customer requirements. This induces an increased complexity during design-time as well as tedious…

Software Engineering · Computer Science 2016-04-04 Matthias Kowal , Ina Schaefer

Understanding the context of crash occurrence in complex driving environments is essential for improving traffic safety and advancing automated driving. Previous studies have used statistical models and deep learning to predict crashes…

Computer Vision and Pattern Recognition · Computer Science 2024-12-18 Meng Wang , Zach Noonan , Pnina Gershon , Bruce Mehler , Bryan Reimer , Shannon C. Roberts

Conformance checking techniques let us find out to what degree a process model and real execution data correspond to each other. In recent years, alignments have proven extremely useful in calculating conformance statistics. Most techniques…

Artificial Intelligence · Computer Science 2019-12-12 Mohammadreza Fani Sani , Sebastiaan J. van Zelst , Wil M. P. van der Aalst

With the increased availability of condition monitoring data and the increased complexity of explicit system physics-based models, the application of data-driven approaches for fault detection and isolation has recently grown. While…

Systems and Control · Electrical Eng. & Systems 2020-01-01 Manuel Arias Chao , Chetan Kulkarni , Kai Goebel , Olga Fink

Model checking and testing are two areas with a similar goal: to verify that a system satisfies a property. They start with different hypothesis on the systems and develop many techniques with different notions of approximation, when an…

Logic in Computer Science · Computer Science 2013-04-19 M. C. Gaudel , R. Lassaigne , F. Magniez , M. de Rougemont

Context is an important factor in computer vision as it offers valuable information to clarify and analyze visual data. Utilizing the contextual information inherent in an image or a video can improve the precision and effectiveness of…

Computer Vision and Pattern Recognition · Computer Science 2025-04-01 Mahtab Jamali , Paul Davidsson , Reza Khoshkangini , Martin Georg Ljungqvist , Radu-Casian Mihailescu

When interacting with their software systems, users may have to deal with problems like crashes, failures, and program instability. Faulty software running in the field is not only the consequence of ineffective in-house verification and…

Software Engineering · Computer Science 2017-05-23 Luca Gazzola

As any scientific discipline, the software engineering (SE) research community strives to contribute to the betterment of the target population of our research: software producers and consumers. We will only achieve this betterment if we…

Software Engineering · Computer Science 2025-11-20 Julian Frattini , Hans-Martin Heyn , Robert Feldt , Richard Torkar

Software model checking has experienced significant progress in the last two decades, however, one of its major bottlenecks for practical applications remains its scalability and adaptability. Here, we describe an approach to integrate…

Software Engineering · Computer Science 2019-07-19 Felipe R. Monteiro , Mikhail R. Gadelha , Lucas C. Cordeiro

Over the last years, machine learning techniques have been applied to more and more application domains, including software engineering and, especially, software quality assurance. Important application domains have been, e.g., software…

Software Engineering · Computer Science 2021-04-30 Safa Omri , Carsten Sinz

A deviation detection aims to detect deviating process instances, e.g., patients in the healthcare process and products in the manufacturing process. A business process of an organization is executed in various contextual situations, e.g.,…

Artificial Intelligence · Computer Science 2022-11-01 Gyunam Park , Janik-Vasily Benzin , Wil M. P. van der Aalst

In the software industry, artificial intelligence (AI) has been utilized more and more in software development activities. In some activities, such as coding, AI has already been an everyday tool, but in software testing activities AI it…

Software Engineering · Computer Science 2025-04-08 Katja Karhu , Jussi Kasurinen , Kari Smolander
‹ Prev 1 3 4 5 6 7 10 Next ›