Programs of a software product line can be synthesized by composing features which implement a unit of program functionality. In most product lines, only some combination of featu...
The suggestions made by current IDE's code completion features are based exclusively on static type system of the programming language. As a result, often proposals are made ...
Program input syntactic structure is essential for a wide range of applications such as test case generation, software debugging and network security. However, such important info...
We present a context- and path-sensitive algorithm for detecting memory leaks in programs with explicit memory management. Our leak detection algorithm is based on an underlying e...
The use of communities provides a scalable solution for gathering and managing functionally-equivalent Web services. In order to ensure single access to the community, a community...
Michael Mrissa, Philippe Thiran, Chirine Ghedira, ...