Abstract. This paper proposes a fuzzy-rough method of maintaining CaseBased Reasoning (CBR) systems. The methodology is mainly based on the idea that a large case library can be tr...
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...
The paper presents a semi-automated technique for feature location in source code. The technique is based on combining information from two different sources: an execution trace, ...
Often, software architects impose a particular style on the software systems they design. For large software systems, they would like to ensure that the design continues to confor...
The FermaT transformation system, based on research carried out over the last twelve years at Durham University and Software Migrations Ltd., is an industrial-strength formal tran...