Learn More
Current software remodularisation tools only operate on abstractions of a software system. In this paper, we investigate the actual impact of automated remodularisation on source code using a tool that automatically applies remodularisations as refactorings. This shows us that a typical remodularisation (as computed by the Bunch tool) will require changes(More)
This paper is concerned with the challenge of reorganising a software system into modules that both obey sound design principles and are sensible to domain experts. The problem has given rise to several unsupervised automated approaches that use techniques such as clustering and Formal Concept Analysis. Although results are often partially correct, they(More)
LegUp [1] is an open-source high-level synthesis (HLS) tool that accepts a C program as input and automatically synthesizes it into a hybrid system. The hybrid system comprises an embedded processor and custom accelerators that realize user-designated compute-intensive parts of the program with improved throughput and energy efficiency. In this paper, we(More)
Caenorhabditis elegans CEP-1 and its mammalian homolog p53 are critical for responding to diverse stress signals. In this study, we found that cep-1 inactivation suppressed the prolonged lifespan of electron transport chain (ETC) mutants, such as isp-1 and nuo-6, but rescued the shortened lifespan of other ETC mutants, such as mev-1 and gas-1. We compared(More)
Where a software component is updated or replaced regression testing is required. Regression test sets can contain considerable redundancy. This is especially true in the case where no formal regression test set exists and the new component must instead be compared against patterns of behaviour derived from in-use log data from the previous version.(More)
INTRODUCTION Pyomyositis, or isolated abscess formation within a skeletal muscle, is a relatively common condition in tropical climates but it is only encountered rarely in temperate zones. CASE PRESENTATION We present a case of non-tropical pyomyositis of the gluteal muscle in a 26-year-old, previously healthy man from the United Kingdom, who initially(More)
State machines are a popular method of representing a system at a high level of abstraction that enables developers to gain an overview of the system they represent and quickly understand it. Several techniques have been developed to reverse engineer state machines from software, so as to produce a concise and up-to-date document of how a system works.(More)
The challenge of inferring state machines from log data or execution traces is well-established, and has led to the development of several powerful techniques. Current approaches tend to focus on the inference of conventional finite state machines or, in few cases, state machines with guards. However, these machines are ultimately only partial, because they(More)