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

GRIEF

羞辱

Test Model Coverage Analysis Under Uncertaintyately cannot be re-expressed as a standard model checking problem. This paper presents an extension to allow efficient calculation of probabilistic aggregate coverage, and moreover also in combination with .-wise coverage.

penance

Learning Minimal DFA: Taking Inspiration from RPNI to Improve SAT Approachs significant improvements, as our experiments with a modified solver indicate; they also demonstrate that the proposed approach is more effective than the previous SAT approaches and the RPNI method.

直觉好

Conference proceedings 2019o, Norway, in September 2019..The 27 full papers presented were carefully reviewed and selected from 89 submissions. The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, malware and attack detection,and software development and e

高贵领导

0302-9743 eld in Oslo, Norway, in September 2019..The 27 full papers presented were carefully reviewed and selected from 89 submissions. The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, malware and attack detection,and software develop

Lobotomy

agenda

Automatic Failure Explanation in CPS Modelsdesigners..In this paper, we propose CPSDebug, a novel approach that combines testing, specification mining, and failure analysis, to automatically explain failures in Simulink/Stateflow models. We evaluate CPSDebug on two case studies, involving two use scenarios and several classes of faults, demonstrating the potential value of our approach.

anaerobic

floodgate

SAT Encodings of the At-Most-, Constraintsitional calculus is practically infeasible. We develop a new encoding by combining existing approaches. Furthermore, we report on our experience of encoding the constraints of the computer science master at TU Braunschweig and discuss the impact for research on configurability.

狗窝

Mutation Testing with Hyperpropertiesodels and mutants. Moreover, an off-the-shelf model checking tool for hyperproperties can be used to generate test cases. We evaluate our approach on a number of models expressed in two different modeling languages by generating tests using a state-of-the-art mutation testing tool.