Veljko M. Milutinovic

Learn More
Modern software pervasively uses structurally complex data such as linked data structures. The standard approach to generating test suites for such software, manual generation of the inputs in the suite, is tedious and error-prone. This dissertation proposes a new approach for specifying properties of structurally complex test inputs; presents a technique(More)
W ireless technologies such as General Packet Radio Service, Wi-Fi, Home-RF, and Bluetooth make it possible to access the Web from mobile phones, print documents from PDAs, and synchronize data among various office devices. However, such applications rely at some point on mobility support routers or base stations, and it is often necessary to establish(More)