Automatic Software Repair: a Bibliography

This article presents a survey on automatic software repair. Automatic software repair consists of automatically finding a solution to software bugs without human intervention. This article considers all kinds of repairs. First, it discusses behavioral repair where test suites, contracts, models, and crashing inputs are taken as oracle. Second, it discusses state repair, also known as runtime repair or runtime recovery, with techniques such as checkpoint and restart, reconfiguration, and invariant restoration. The uniqueness of this article is that it spans the research communities that contribute to this body of knowledge: software engineering, dependability, operating systems, programming languages, and security. It provides a novel and structured overview of the diversity of bug oracles and repair operators used in the literature

Semantic-based policy engineering for autonomic systems

This paper presents some important directions in the use of ontology-based semantics in achieving the vision of Autonomic Communications. We examine the requirements of Autonomic Communication with a focus on the demanding needs of ubiquitous computing environments, with an emphasis on the requirements shared with Autonomic Computing. We observe that ontologies provide a strong mechanism for addressing the heterogeneity in user task requirements, managed resources, services and context. We then present two complimentary approaches that exploit ontology-based knowledge in support of autonomic communications: service-oriented models for policy engineering and dynamic semantic queries using content-based networks. The paper concludes with a discussion of the major research challenges such approaches raise

Healing the Hurt: Trauma-Informed Approaches to the Health of Boys and Young Men of Color

From discrimination and poverty to alcoholism and assault, trauma in its varied forms plays a major part in the lives of Latino and African-American boys and young men. This paper outlines the ways in which violence prevention, family support, health care, foster care, and juvenile justice can incorporate a trauma-informed approach to improve the physical and mental health of young men and boys

A Critical Review of "Automatic Patch Generation Learned from Human-Written Patches": Essay on the Problem Statement and the Evaluation of Automatic Software Repair

At ICSE'2013, there was the first session ever dedicated to automatic program repair. In this session, Kim et al. presented PAR, a novel template-based approach for fixing Java bugs. We strongly disagree with key points of this paper. Our critical review has two goals. First, we aim at explaining why we disagree with Kim and colleagues and why the reasons behind this disagreement are important for research on automatic software repair in general. Second, we aim at contributing to the field with a clarification of the essential ideas behind automatic software repair. In particular we discuss the main evaluation criteria of automatic software repair: understandability, correctness and completeness. We show that depending on how one sets up the repair scenario, the evaluation goals may be contradictory. Eventually, we discuss the nature of fix acceptability and its relation to the notion of software correctness.Comment: ICSE 2014, India (2014

Size Matters: Microservices Research and Applications

In this chapter we offer an overview of microservices providing the introductory information that a reader should know before continuing reading this book. We introduce the idea of microservices and we discuss some of the current research challenges and real-life software applications where the microservice paradigm play a key role. We have identified a set of areas where both researcher and developer can propose new ideas and technical solutions.Comment: arXiv admin note: text overlap with arXiv:1706.0735

Developing a distributed electronic health-record store for India

The DIGHT project is addressing the problem of building a scalable and highly available information store for the Electronic Health Records (EHRs) of the over one billion citizens of India

Cultural matter in the development of an interactive multimedia self-paced educational health program for aboriginal health workers

Aboriginal and Torres Strait islander health workers are key providers of primary health services to Aboriginal communities especially in remote and rural areas. They are often overloaded with competing demands. There has been limited attention given to the maintenance and ongoing enhancement of their skills and knowledge following the completion of formal training. A culturally appropriated interactive multimedia self-paced health program as a mechanism to improve the accessibility and the use of scientific data and information for health purposes is proposed as a basic method for better supporting Aboriginal and Torres Strait Islander primary health care workers in their practice locations. This paper explores different approaches for the development of a culturally appropriate interactive multimedia educational health program for Aboriginal and Torres Strait islander health workers and it also explore cultural matters concerning program development in the light of existing literature

Do tablets cure the pedagogy headache?

Tablet devices have made a huge impact in schools and in 2015 they were predicted to outsell personal computers (Gartner, 2014). 70 per cent of UK schools are estimated to be using tablets (BBC, online) and across Europe, “laptops, tablets and net-books are becoming pervasive” (EU schoolnet, 2014). As these devices become established in schools they both support and develop existing practice (Burden, Hopkins, Male, Martin and Trala, 2012; Baran, 2014), but are also starting to challenge some existing models of thinking and pedagogy (Fullan and Langworth, 2014; Kearney, Schuck, Burden and Aubusson, 2012) and also teachers’ attitudes towards learning and teaching (Ertmer, 1999; Burden and Hopkins, 2015). In offering opportunities for learning to become more authentic, personal and collaborative (Kearney et al., 2012) there are opportunities for teachers to start to redesign the ways in which learning is taking place (Puentedura, 2010; McCormick and Scrimshaw, 2001). Traxler defines mobile learning as “an educational process, in which handheld devices or palmtops are the only or dominant used technology tools” (2007: 2) and Kearney et al. (2012) argue that it has the potential to revolutionise the learning process in allowing individuals to determine their own independent paradigms and frameworks of learning. These devices are also sophisticated producers of digital artefacts and children and teachers are capable of being co-producers of learning materials