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

Behavioral types in programming languages

A recent trend in programming language research is to use behav- ioral type theory to ensure various correctness properties of large- scale, communication-intensive systems. Behavioral types encompass concepts such as interfaces, communication protocols, contracts, and choreography. The successful application of behavioral types requires a solid understanding of several practical aspects, from their represen- tation in a concrete programming language, to their integration with other programming constructs such as methods and functions, to de- sign and monitoring methodologies that take behaviors into account. This survey provides an overview of the state of the art of these aspects, which we summarize as the pragmatics of behavioral types

The moderator role of Gender in the Unified Theory of Acceptance and Use of Technology (UTAUT): A study on users of Electronic Document Management Systems

Venkatesh et al. [1] tried to integrate predictability capabilities from the different existing models of technology acceptance. This produced the Unified Theory of Acceptance and Use of Technology (UTAUT). This comprehensive model resulted in the identification of common aspects. It proposed several constructs with a greater explanatory power and analyzed moderating drivers, such as age, Gender, experience and voluntariness of use. By doing so, UTAUT identifies three major drivers of behavioral intention: performance expectancy, effort expectancy and social influence. On the other hand, facilitating conditions and behavioral intention were identified as determinant factors of actual use [1]. In addition to previous considerations about UTAUT, empirical research has scarcely analyzed the moderating role of Gender [2]. This is why this paper particularly aims to fill this gap. Hofstede [3] describes strength, competitiveness and guidance for material success as social roles linked to male values, whilst modesty, tenderness, sensitivity and concern for the quality of life are values associated with women. With respect to UTAUT, existing studies have shown that performance expectancy positively influences behavioral intention more strongly for men (cf. [4], [5], [6] and [7]). Moreover, it has been observed that effort expectancy positively influences behavioral intention more strongly for women (cf. [4], [5] and [6]), while social influence positively affects behavioral intention more strongly for women (cf. [5], [7] and [8]). In our research, with the aim of testing the moderating effects of Gender, a sample of 2,175 users of Electronic Document Management Systems (EDMS) in Portuguese municipalities was used. Taking into account that Gender is a categorical variable, we have adopted a multi-group or multi-sample analysis [9] -dividing the sample into two groups (male = 748; female = 1,427) and estimating each group of observations separately. Before comparing the groups, an analysis of the measurement invariance was carried out to make sure that the construct measures were invariant between both groups [10]. Once the metric invariance had been assessed, we carried out a set of multi-group analyses –interpreting statistically-significant differences in path coefficients as moderating effects. On the one hand, the parametric approach considering both equal variances and different variances has been used [11, 12]. On the other hand, we have applied non-parametric approaches exemplified by the permutation test [13], and Henseler’s PLS multi-group analysis [10, 12, 14]. This study notes slight differences in the results of the aforementioned methods. As a result, the moderating effect of Gender on the relation between performance expectancy and behavioral intention showed that this relationship is stronger among men than women. Finally, a discussion on the implications of Gender as a moderator for the UTAUT model is included

Modeling and simulation enabled UAV electrical power system design

With the diversity of mission capability and the associated requirement for more advanced technologies, designing modern unmanned aerial vehicle (UAV) systems is an especially challenging task. In particular, the increasing reliance on the electrical power system for delivering key aircraft functions, both electrical and mechanical, requires that a systems-approach be employed in their development. A key factor in this process is the use of modeling and simulation to inform upon critical design choices made. However, effective systems-level simulation of complex UAV power systems presents many challenges, which must be addressed to maximize the value of such methods. This paper presents the initial stages of a power system design process for a medium altitude long endurance (MALE) UAV focusing particularly on the development of three full candidate architecture models and associated technologies. The unique challenges faced in developing such a suite of models and their ultimate role in the design process is explored, with case studies presented to reinforce key points. The role of the developed models in supporting the design process is then discussed