Deep learning (DL) defines a new data-driven programming paradigm that constructs the
internal system logic of a crafted neuron network through a set of training data. We have …

Web-based Application Programming Interfaces (APIs) are often described using SOAP,
OpenAPI, and GraphQL specifications. These specifications provide a consistent way to …

With the continuous development of deep learning, more and more domains use deep
learning technique to solve key problems. The security issues of deep learning models have …

The two-phase commit (2PC) protocol is a key technique for achieving distributed
transactions in storage systems such as relational databases and distributed databases …

Following the Service-Oriented Architecture, a large number of diversified Cloud services
are exposed as Web APIs (Application Program Interface), which serve as the contracts …

The conformance testing of programming language implementations is crucial to support
correct and consistent execution environments. Because manually maintaining conformance …

We overview a framework for tracing asynchronous distributed component-based systems
with multiparty interactions managed by distributed schedulers. Neither the global state nor …

Implementing test suites for distributed software systems is a complex and time-consuming
task due to the number of test cases that need to be considered in order to obtain high …

For the innovation of financial operation and revenue management work, in the background
of the big data era, it should be necessary to establish an information‐based financial …

Abstract Model-based testing is a widely-used vital technique for testing software running in
a complex environment. In this paper, we propose extensions to existing model-based tools …