Titlebook: Software Engineering and Formal Methods; SEFM 2015 Collocated Domenico Bianculli,Radu Calinescu,Bernhard Rumpe Conference proceedings 2015

Jubilation

Software Engineering and Formal Methods978-3-662-49224-6Series ISSN 0302-9743 Series E-ISSN 1611-3349

BADGE

tinnitus

Learning-Based Testing of Distributed Microservice Architectures: Correctness and Fault Injectioncounter-party credit risk implemented as a distributed microservice architecture. We describe the experimental set-up, as well as test results. From this experiment, we draw some conclusions about prospects for future research in learning-based testing.

拱形面包

预示

昏迷状态

枯燥

救护车

GONG

ETHER

The Synergy Between User Experience Design and Software Testingatic approach to testing where using formal models enables automatic generation of test cases and test oracle. Although the results of applying MBT in practice are promising, creating formal models is an obstacle for wide-spread use of MBT in industry. In this paper we address how the cooperation be