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

Associations between objectively measured and self‐reported sleep with academic and cognitive performance in adolescents: DADOS study

Adequate sleep has been positively related with health and school achievement out-comes during adolescence. The aim of this study was to investigate the associations ofobjectively measured and self‐reported sleep duration and quality with academic andcognitive performance in adolescents. This study was conducted with 257 adolescents(13.9 ± 0.3 years) from the DADOS study (Deporte, ADOlescencia y Salud). Objec-tively measured and self‐reported sleep duration and quality were obtained by a wrist‐worn GENEActiv accelerometer and the Spanish version of Pittsburgh Sleep QualityIndex questionnaire, respectively. Academic performance was analysed through schoolrecords using four indicators: math, language, science and grade point average score.Cognitive performance was measured using the Spanish version of the“SRA Test ofEducational Ability”. After Benjamini–Hochberg correction for the false discovery rate,objectively measured sleep duration was negatively associated with verbal ability (β=−0.179,p= .004), whilst self‐reported sleep quality was positively associated withacademic performance (βranging from 0.209 to 0.273; allp<.001). These associationsremained significant after further controlling for physical fitness and physical activity.Conversely, there were no associations between self‐reported sleep duration andobjective sleep quality with academic and cognitive performance. Our findings fit inline with previous research showing that sleep quality may play an important role onadolescents’academic performance. Further interventional research is needed to clar-ify the mechanisms by which sleep is related to academic performance in youth

High-Integrity Performance Monitoring Units in Automotive Chips for Reliable Timing V&V

As software continues to control more system-critical functions in cars, its timing is becoming an integral element in functional safety. Timing validation and verification (V&V) assesses softwares end-to-end timing measurements against given budgets. The advent of multicore processors with massive resource sharing reduces the significance of end-to-end execution times for timing V&V and requires reasoning on (worst-case) access delays on contention-prone hardware resources. While Performance Monitoring Units (PMU) support this finer-grained reasoning, their design has never been a prime consideration in high-performance processors - where automotive-chips PMU implementations descend from - since PMU does not directly affect performance or reliability. To meet PMUs instrumental importance for timing V&V, we advocate for PMUs in automotive chips that explicitly track activities related to worst-case (rather than average) softwares behavior, are recognized as an ISO-26262 mandatory high-integrity hardware service, and are accompanied with detailed documentation that enables their effective use to derive reliable timing estimatesThis work has also been partially supported by the Spanish Ministry of Economy and Competitiveness (MINECO) under grant TIN2015-65316-P and the HiPEAC Network of Excellence. Jaume Abella has been partially supported by the MINECO under Ramon y Cajal postdoctoral fellowship number RYC-2013-14717. Enrico Mezzet has been partially supported by the Spanish Ministry of Economy and Competitiveness under Juan de la Cierva-Incorporación postdoctoral fellowship number IJCI-2016- 27396.Peer ReviewedPostprint (author's final draft

Software reliability and dependability: a roadmap

Shifting the focus from software reliability to user-centred measures of dependability in complete software-based systems. Influencing design practice to facilitate dependability assessment. Propagating awareness of dependability issues and the use of existing, useful methods. Injecting some rigour in the use of process-related evidence for dependability assessment. Better understanding issues of diversity and variation as drivers of dependability. Bev Littlewood is founder-Director of the Centre for Software Reliability, and Professor of Software Engineering at City University, London. Prof Littlewood has worked for many years on problems associated with the modelling and evaluation of the dependability of software-based systems; he has published many papers in international journals and conference proceedings and has edited several books. Much of this work has been carried out in collaborative projects, including the successful EC-funded projects SHIP, PDCS, PDCS2, DeVa. He has been employed as a consultant t

An information assistant system for the prevention of tunnel vision in crisis management

In the crisis management environment, tunnel vision is a set of bias in decision makers’ cognitive process which often leads to incorrect understanding of the real crisis situation, biased perception of information, and improper decisions. The tunnel vision phenomenon is a consequence of both the challenges in the task and the natural limitation in a human being’s cognitive process. An information assistant system is proposed with the purpose of preventing tunnel vision. The system serves as a platform for monitoring the on-going crisis event. All information goes through the system before arrives at the user. The system enhances the data quality, reduces the data quantity and presents the crisis information in a manner that prevents or repairs the user’s cognitive overload. While working with such a system, the users (crisis managers) are expected to be more likely to stay aware of the actual situation, stay open minded to possibilities, and make proper decisions

Vision systems with the human in the loop

The emerging cognitive vision paradigm deals with vision systems that apply machine learning and automatic reasoning in order to learn from what they perceive. Cognitive vision systems can rate the relevance and consistency of newly acquired knowledge, they can adapt to their environment and thus will exhibit high robustness. This contribution presents vision systems that aim at flexibility and robustness. One is tailored for content-based image retrieval, the others are cognitive vision systems that constitute prototypes of visual active memories which evaluate, gather, and integrate contextual knowledge for visual analysis. All three systems are designed to interact with human users. After we will have discussed adaptive content-based image retrieval and object and action recognition in an office environment, the issue of assessing cognitive systems will be raised. Experiences from psychologically evaluated human-machine interactions will be reported and the promising potential of psychologically-based usability experiments will be stressed

Effectiveness of integrated neurocognitive therapy on cognitive impairment and functional outcome for schizophrenia outpatients

Cognitive impairment is highly prevalent in patients with schizophrenia and schizoaffective disorder. Many interventions have been developed to treat cognitive deficit, since it has a strong impact on functional outcome; however, there are no integrated interventions targeting multiple neuro-and social-cognitive domains with a particular focus on the generalization of the effects of therapy on the functional outcome. Recently, a group of experts has developed a cognitive remediation group therapy approach called Integrated Neurocognitive Therapy (INT), which includes exercises to improve the MATRICS (Measurement and Treatment Research to Improve Cognition in Schizophrenia) neuro-and social-cognitive domains. This systematic review and meta-analysis aimed to assess the efficacy of this approach. We conducted a search of PubMed, Scopus, Web of Science, and PsycINFO to select primary studies evaluating INT in schizophrenic and schizoaffective patients. The primary outcomes of the meta-analysis included negative and positive symptoms and global functioning. Two randomized controlled trials met inclusion criteria. A total of 217 participants were included. Based on the results from the Positive and Negative Syndrome Scale (PANSS), a significant pooled effect size was observed for negative symptoms, which demonstrated not only an improvement in the patients treated immediately after therapy but also a permanence of positive results at a 9-12-month follow-up. On the other hand, no significant effect size was observed for positive symptoms. In addition, a significant pooled effect size was found for Global Assessment of Functioning (GAF), which shows how INT's integrated approach has lasting positive implications on patients' functional outcome. We concluded that INT might be an effective treatment for negative symptoms and global functioning in patients with schizophrenia, compared to treatment as usual (TAU)