Test System Interface ParallelTC TTCN-3 Test System

The International Telecommunications Union (ITU) and the Organization for Economic Cooperation and Development (OECD) provide Internet penetration statistics, which are collected from official national sources worldwide, and they are widely used to inform policymakers and researchers about the expansion of digital technologies. Nevertheless, these statistics are derived with methodologies, whic...

In this paper we describe an approach for automated modelbased test case and test data generation based on constraint types well known from bounded model checking. Our main contribution consists of a demonstration showing how this process can be considerably accelerated by using abstract interpretation techniques for preliminary explorations of the model state space. The techniques described su...

during the design and development of truck cabins, the safety of the driver and the front seat passenger in an accident is an important task and should be considered. the cab must be designed in such a way that in an accident a sufficient survival space is guaranteed. the aim of this study is to investigate the behavior of iran khodro (ikco) 2624 truck subjected to a complex crash test accordin...

quantitative identification of physical changes, developments and dynamic position of urban green space is considered as the first step in its planning. by means of the aerial photos taken in 1956, 1974, and 1994 as well as the quick bird satellite image captured in 2006, this study has dealt with changes in per capita green space in khorramabad during these years. first, geometric corrections ...