Automated Fixing of Programs with Contracts

This paper describes AutoFix, an automatic debugging technique that can fix faults in general-purpose software. To provide high-quality fix suggestions and to enable automation of the whole debugging process, AutoFix relies on the presence of simple specification elements in the form of contracts (such as pre- and postconditions). Using contracts enhances the precision of dynamic analysis techniques for fault detection and localization, and for validating fixes. The only required user input to the AutoFix supporting tool is then a faulty program annotated with contracts; the tool produces a collection of validated fixes for the fault ranked according to an estimate of their suitability. In an extensive experimental evaluation, we applied AutoFix to over 200 faults in four code bases of different maturity and quality (of implementation and of contracts). AutoFix successfully fixed 42% of the faults, producing, in the majority of cases, corrections of quality comparable to those competent programmers would write; the used computational resources were modest, with an average time per fix below 20 minutes on commodity hardware. These figures compare favorably to the state of the art in automated program fixing, and demonstrate that the AutoFix approach is successfully applicable to reduce the debugging burden in real-world scenarios.Comment: Minor changes after proofreadin

A Knowledge Transfer Partnership - the development of a Bespoke Enterprise Resource Planning System in the UK

Abstract. A Knowledge Transfer Partnerships (KTP) is a UK-wide programme designed to enable businesses to improve their competitiveness, productivity and performance. A KTP achieves this through the forming of a Partnership between a business and an academic institution. The aim is to enable businesses to access skills and expertise from academics and embed this knowledge in their businesses in order to develop the business. The knowledge sought is embedded into the business through a project, or projects, undertaken by a recently qualified person (known as the Associate). Part funding is provided by the government towards the Associate’s salary and towards the release of an Academic supervisor who works a half a day a week at the company. KTPs can vary in length from 6 months to three years, depending on the needs of the business and the desired outcomes. Therefore a KTP enables new capability to be embedded into the business and has benefited and continues to benefit a wide range of businesses across many sectors in the UK, including micro sized, small and large businesses across many sectors. This paper describes a Knowledge Transfer Partnership project between the University of Hertfordshire and a small and medium sized enterprise (SME) based in Cambridgeshire, UK.Final Accepted Versio

The Design and Implementation of a bespoke Enterprise Resource Planning System (ERP) for an acoustical engineering company

This paper will describe the tasks completed so far as part of a Knowledge Transfer Partnership between the University of Hertfordshire and Acoustical Control Engineers (ACE) a ‘small and medium sized enterprise’ (SME) based in Cambridgeshire, UK. ACE’s 25 personnel design, manufacture and install noise and vibration control systems to solve a wide range of acoustic problems. The projects undertaken include acoustic enclosures for supermarket refrigeration plant and for generators used in many situations, together with other more diverse applications such as controlling noise in the workplace and even on a luxury boat. Before the current KTP project the company used some partially computerised systems consisting of spreadsheets to perform acoustic analyses, pricing and project management functions supplemented with a paper based system to ‘fill the gaps’. Enterprise Resource Planning (ERP) systems provide an integrated database for all parts of the organisation allowing decisions to be based on a complete understanding of the organisation’s information, avoiding the problems due to duplication of data and ensuring that the consequences of decisions in one part of the organisation are reflected in the planning and control systems of the rest of the organisation. ERP systems became popular from the 1990’s mainly in relatively large organisations due to the complexity and cost of these systems. This project is unusual in that rather than adapting an off-the-shelf ERP solution to ACE’s very specific and specialised requirements we are taking an ERP development approach in an SME whose legacy systems are made up of spreadsheet and paper based systems. For the software development an Agile approach has been used. Agile involves software development methods based on iterative and incremental development. The initial attempt was to start developing the ERP from an Open Source ERP Source Code; however this effort was futile as a result of the bespoke nature of ACE’s business and product lines. Mapping ACE’s data model to the database which any existing ERP system could be adapted to, proved to be a very difficult problem. Therefore, developing the ERP from first principles was inevitable. Several of the ERP modules have been developed, user training has taken place and the core modules have been signed off. The project is due to complete in September 2014 and by this time we will have further information on how the ERP system has increased the competitiveness of the company, as well as experience of introducing an ERP into an SME. However, as would be expected the work undertaken developing the system so far has had several significant effects on ACE and acted as a catalyst for change in various parts of ACE’s business.Non peer reviewe

A research review of quality assessment for software

Measures were recommended to assess the quality of software submitted to the AdaNet program. The quality factors that are important to software reuse are explored and methods of evaluating those factors are discussed. Quality factors important to software reuse are: correctness, reliability, verifiability, understandability, modifiability, and certifiability. Certifiability is included because the documentation of many factors about a software component such as its efficiency, portability, and development history, constitute a class for factors important to some users, not important at all to other, and impossible for AdaNet to distinguish between a priori. The quality factors may be assessed in different ways. There are a few quantitative measures which have been shown to indicate software quality. However, it is believed that there exists many factors that indicate quality and have not been empirically validated due to their subjective nature. These subjective factors are characterized by the way in which they support the software engineering principles of abstraction, information hiding, modularity, localization, confirmability, uniformity, and completeness

Transferring Collective Knowledge: Collective and Fragmented Teaching and Learning in the Chinese Auto Industry

Collective knowledge, consisting of tacit group-embedded knowledge, is a key element of organizational capabilities. This study undertakes a multiple-case study of the transfer of collective knowledge, guided by a set of tentative constructs and propositions derived from organizational learning theory. By focusing on the group-embeddedness dimension of collective knowledge, we direct our attention to the source and recipient communities. We identify two sets of strategic choices concerning the transfer of collective knowledge: collective vs. fragmented teaching, and collective vs. fragmented learning. The empirical context of this study is international R&D capability transfer in the Chinese auto industry. From the case evidence, we find the expected benefits of collective teaching and collective learning, and also discover additional benefits of these two strategies, including the creation of a bridge network communication infrastructure. The study disclosed other conditions underlying the choice of strategies of transferring collective knowledge, including transfer effort and the level of group-embeddedness of the knowledge to be taught or re-embedded. The paper provides a group-level perspective in understanding organizational capabilities, as well as a set of refined constructs and propositions concerning strategic choices of transferring collective knowledge. The study also provides a rich description of the best practices and lessons learned in transferring organizational capabilities.http://deepblue.lib.umich.edu/bitstream/2027.42/39804/3/wp420.pd

Methodologies and Tools to Evaluate Issues Relating to Land-Use and / or Social Aspects of Urban Transportation Policies: An accessibility Concept Linked Approach

Transportation policy issues are important in urban areas since they try to answer growing preoccupations. Nevertheless, do assessment tools enable the evaluation of social equity? In the French case, assessment methodologies - cost-benefit analysis - have been developed to make allowance for more elements. Even if economic and environment aspects could be evaluated for each urban transport system user, analysis does not linger over individual impacts. The question of social equity is either in the background or is not analysed, in both transportation policies and methodologies assessment. However, literature review and decision-maker's speeches on equality show us a re-emergence of the social field in transportation policies. This appears with values of individual “rights” and “chance”. By consequence, we interpret the equal opportunity between individuals by the accessibility concept. Accessibility is one of the basic approaches to the question of the social aspects in transportation policies. In order to take into account for social field and to answer accessibility to what, for whom and how?” indicators based on a “differentiated accessibility” could be established. These indicators would propose a tool that would make it possible to light the decision makers and to account for individual inequalities, considered in terms of chances to profit from the amenities of an urban area that they need to achieve their goals.Accessibility ; Assessment ; Equity ; Methods ; Social field

Rethinking Marketing Programs for Emerging Markets

We point to a fundamental inconsistency in the emerging market strategies of multinational firms. On the one hand, they seek billions of new consumers in the emerging markets of China, India, Indonesia, and Latin America; on the other, their marketing programs are scarcely adapted for these markets. The result is low market penetration, low market shares, and poor profitability. These multinationals are trapped by their own devices in gilded cages, serving the affluent few and ignoring the potential of billions of new consumers that attracted them in the first place. In this paper, we propose that, in order to attract billions of new consumers, the marketing programs of multinationals need to be rethought from the ground up. We identify three key factors that characterize emerging markets: (1) low incomes, (2) variability in consumers and infrastructure, and (3) the relative cheapness of labor, which is often substituted for capital. We draw on numerous case studies from around the world to illustrate how to incorporate these realities into marketing programs. We conclude with a discussion of the implications of such an approach for the multinational's core strategic assumptions.http://deepblue.lib.umich.edu/bitstream/2027.42/39704/3/wp320.pd

Safety of localizing epilepsy monitoring intracranial electroencephalograph electrodes using MRI: radiofrequency-induced heating

Purpose: To investigate heating during postimplantation localization of intracranial electroencephalograph (EEG) electrodes by MRI. Materials and Methods: A phantom patient with a realistic arrangement of electrodes was used to simulate tissue heating during MRI. Measurements were performed using 1.5 Tesla (T) and 3T MRI scanners, using head- and body-transmit RF-coils. Two electrode-lead configurations were assessed: a standard condition with external electrode-leads physically separated and a fault condition with all lead terminations electrically shorted. Results: Using a head-transmit-receive coil and a 2.4 W/kg head-average specific absorption rate (SAR) sequence, at 1.5T the maximum temperature change remained within safe limits (<1°C). Under standard conditions, we observed greater heating (2.0°C) at 3T on one system and similar heating (<1°C) on a second, compared with the 1.5T system. In all cases these temperature maxima occurred at the grid electrode. In the fault condition, larger temperature increases were observed at both field strengths, particularly for the depth electrodes. Conversely, with a body-transmit coil at 3T significant heating (+6.4°C) was observed (same sequence, 1.2/0.5 W/kg head/body-average) at the grid electrode under standard conditions, substantially exceeding safe limits. These temperature increases neglect perfusion, a major source of heat dissipation in vivo. Conclusion: MRI for intracranial electrode localization can be performed safely at both 1.5T and 3T provided a head-transmit coil is used, electrode leads are separated, and scanner-reported SARs are limited as determined in advance for specific scanner models, RF coils and implant arrangements. Neglecting these restrictions may result in tissue injury