Titlebook: Software Engineering and Formal Methods; 17th International C Peter Csaba Ölveczky,Gwen Salaün Conference proceedings 2019 Springer Nature

inflame

Object-Centric Process Mining: Dealing with Divergence and Convergence in Event Data and operational support are used to improve performance and compliance. Process mining starts from recorded events that are characterized by a case identifier, an activity name, a timestamp, and optional attributes like resource or costs. In many applications, there are multiple candidate identifie

切掉

Relating Session Types and Behavioural Contracts: The Asynchronous Casee existence of a fully abstract interpretation of session types into a fragment of contracts, that maps session subtyping into binary compliance-preserving contract refinement. In this way, the recent undecidability result for asynchronous session subtyping can be used to obtain an original undecida

Countermand

跳脱衣舞的人

initiate

Circumscribe

Friction

NEG

Mutation Testing with Hyperpropertiesodel or source code of the system under test. A test case kills a mutant if the behavior of the mutant deviates from the original system when running the test. In this work, we use hyperproperties—which allow to express relations between multiple executions—to formalize different notions of . for bo

消毒

Test Model Coverage Analysis Under Uncertaintyest itself is non-deterministic. The same test case may then trigger multiple possible execution paths, depending on some internal decisions made by the software. Consequently, performing precise test analyses, e.g. to calculate the test coverage, are not possible. This can be mitigated if developer

LAVE

Learning Minimal DFA: Taking Inspiration from RPNI to Improve SAT Approach problems in computer science. Although the problem is known to be NP-complete, it can be solved efficiently with a SAT solver especially when it is used incrementally. We propose an incremental SAT solving approach for DFA inference in which general heuristics of a solver for assigning free variabl