In this paper we analyze the application of parallel and sequential evolutionary algorithms (EAs) to the automatic test data generation problem. The problem consists of automatica...
We present the overall design of an object-oriented library for use when developing tracing capable applications. The library is implemented as java classes and consists of de niti...
Patterns are investigated in relation to development of applications and frameworks in the context of analysis, design, and implementation. The results are based on a framework fo...
This paper considers a variety of new technologies for discrete-event simulation software development. Environments and languages for web based simulation are reviewed. Web based ...
Verifying security properties of protocols requires developers to manually create protocol-specific intruder models, which could be tedious and error prone. We present Slede, a ve...