This paper presents the design and architecture of a network emulator whose links'
parameters (such as delay and bandwidth) vary at different time instances. The emulator can …

Specification-based testing approaches create test data without having any prior knowledge
of the program's structure. However, the quality of this test data isn't always reliable enough …

Virtual Machines (VMs) are modern programming language implementations. Testing and
debugging a VM is a laborious task without the proper tooling. This is particularly true for …

We present a network emulator for dynamic link networks, ie, networks whose parameter
values vary; for example, satellite communication networks where bandwidth capacity …

The system verification program generation device 20 is equipped with a search unit 21 that
searches a system design for execution entities and parameters of a verification program …