Contemporary computing applications have an increasing level of concurrency; new
techniques are demanded to tackle the challenge of testing the plentiful interactions that …

The complexity of the development of modern automobiles is steadily increasing, especially
due to the topic of automated driving functions. Unlike former driver assistance systems …

Executable test cases start at the beginning of testing as abstract requirements representing
the system behavior. The manual development of these test cases is labor-intensive, error …

In this paper, we introduce Circus2CSP, a tool that automatically translates Circus into CSP
_ M CSP M, with an implementation based on a published manual translation scheme. This …

Executable test cases originate at the onset of testing as abstract requirements that
represent system behavior. Their manual development is time-consuming, susceptible to …

Among several approaches aiming at the correctness of systems, model-checking is one
technique to formally assess system models regarding their desired/undesired behavioural …

Abstract The Model-Driven Engineering (MDE) has been used in recent years to promote
better results in the development of Web Applications, in the field that has been called Model …

The constant growth of technology associated with computing and the need for increasingly
secure software has increased the demand for process verification systems, especially in the …

Virtual robot programming environments provide a visual interface for programming and
simulating educational robots. Nowadays, simulation is the only way to assess the robot …

분산 시스템은 물리적으로 분산된 컴퓨터들이 네트워크에 의해 유기적으로 연결된 것을
의미한다. 유무선 인터넷의 보편적인 사용으로 인해 사용자는 언제 어디서나 분산 서비스의 …