Purpose Testing business processes is crucial to assess the compliance of business
process models with requirements. Automating this task optimizes testing efforts and …

Abstract Model-based test case generation (MB-TCG) and prioritization (MB-TCP) utilize
models that represent the system under test (SUT) for test generation and prioritization in …

Context A hairy requirements engineering (RE) task involving natural language (NL)
documents is (1) a non-algorithmic task to find all relevant answers in a set of documents …

Abstract Risk-aware Business Process Management (R-BPM) has been addressed in
research since more than a decade. However, the integration of the two independent …

Mutation testing (MT) targets the assessment of test cases by measuring their efficiency to
detect faults. This technique involves modifying the program under test to emulate …

BPMN-based Process-Driven Applications (PDA) require less coding since they are not only
based on source code, but also on executable process models. Automated testing of such …

Test case generation for a given topic can be a challenging and time-consuming task,
particularly when the conversation about the topic includes boundary conditions and …

Software Industry is evolving at a very fast pace since last two decades. Many software
developments, testing and test case generation approaches have evolved in last two …

Purpose BPR is “the central reconsideration and thorough restructuring of business
procedures to enhance the critical and contemporary aspects of performance like the …

Commitments capture how an agent relates to another agent, whereas goals describe states
of the world that an agent is motivated to bring about. Commitments are elements of the …