We present a static analysis framework for inference of security-related program properties. Within this framework we design and implement ownership, immutability and information ...
Software developers’ work is much more interesting and multifarious in practice than formal definitions of software development processes imply. Rational models of work are ofte...
Software inspection is one of the best practices for detecting and removing defects early in the software development process. We present a tool to support geographically distribu...
In the foreseeable future, software testing will remain one of the best tools we have at our disposal to ensure software dependability. Empirical studies are crucial to software t...
Major research challenges in discovering Web services include, provisioning of services across multiple or heterogeneous registries, differentiating between services that share si...