AI-driven web API testing

Testing of web APIs is nowadays more critical than ever before, as they are the current standard for software integration. A bug in an organization’s web API could have a huge impact both in ternally (services relying on that API) and externally (third-party applications and end users). Most existing tools and testing ap proaches require writing tests or instrumenting the system under test (SUT). The main aim of this dissertation is to take web API testing to an unprecedented level of automation and thoroughness. To this end, we plan to apply artificial intelligence (AI) techniques for the autonomous detection of software failures. Specifically, the idea is to develop intelligent programs (we call them “bots”) ca pable of generating hundreds, thousands or even millions of test inputs and to evaluate whether the test outputs are correct based on: 1) patterns learned from previous executions of the SUT; and 2) knowledge gained from analyzing thousands of similar programs. Evaluation results of our initial prototype are promising, with bugs being automatically detected in some real-world APIs.Ministerio de Economía y Competitividad BELI (TIN2015-70560-R)Ministerio de Ciencia, Innovación y Universidades RTI2018-101204-B-C21 (HORATIO)Ministerio de Educación, Cultura y Deporte FPU17/0407

Análisis de los factores ligados al diagnóstico del trastorno por déficit de atención e hiperactividad en la infancia

Resumen: Introducción: El trastorno por déficit de atención e hiperactividad (TDAH) es un trastorno neuropsiquiátrico de origen multifactorial. El objetivo de este estudio es determinar el porcentaje de pacientes que presentan TDAH del global de los enviados a la consulta por este motivo, y explorar los factores epidemiológicos y clínicos asociados al diagnóstico. Pacientes y métodos: Estudio retrospectivo analítico de una muestra de pacientes derivados a la consulta de neuropediatría por sospecha de TDAH, a la que se le aplican los criterios diagnósticos del DSM-IV. Se realiza un análisis de regresión logística para explorar los factores asociados al diagnóstico. Resultados: De los 280 pacientes, 224 eran varones (relación niños/niñas 4/1) con una edad media ± desviación estándar de 8,4 ± 3,08 años. El 49% fue remitido desde el ámbito escolar. El 64,9% de ellos nacieron en el segundo semestre del año, fenómeno que es más acusado en las mujeres. Tras la evaluación de los sujetos, un total de 139 casos fueron diagnosticados (49,7%). Los factores asociados a un incremento de diagnósticos de TDAH fueron: el sexo varón, el TDAH parental, trastornos del sueño asociados, la presencia de tics y la ausencia de retraso del desarrollo psicomotor. Conclusiones: Solo la mitad de los niños enviados con sospecha de TDAH fueron diagnosticados del trastorno. La mayoría se encuentra entre los más jóvenes del curso escolar, sugiriendo una sobreestimación de la sospecha. Una entrevista clínica donde se explore la psicopatología parental, los trastornos del sueño y los tics parece necesaria para mejorar el proceso diagnóstico. Abstract: Introduction: Attention deficit hyperactivity disorder (ADHD) is a neuropsychiatric disorder originating from multiple factors. The aim of this study is to determine the percentage of patients with ADHD out of all patients referred to our clinic for assessment, and to explore the epidemiological and clinical factors linked to this diagnosis. Patients and methods: retrospective analytical study of a sample of patients under 15 years old sent to the paediatric neurology clinic for suspected ADHD. DSM-IV criteria were used for diagnosis. We completed a binary logistic regression analysis to determine which risk factors were associated with the diagnosis. Results: Of the 280 selected patients, 224 were male (male/female ratio 4:1); mean age (SD) was 8.4 (3.08) years. Almost half (49%) of the patients were referred by their schools and 64.9% were born in the second half of the year, but this tendency was more marked in girls than in boys. Assessment according to DSM-IV criteria resulted in diagnosis of 139 subjects (49.7%). The risk factors linked to diagnosis were male sex, parents with ADHD, associated sleep disorders, tics, and absence of neurodevelopmental delay. Conclusion: Only half of the children referred for suspected ADHD were diagnosed with that condition, and most were among the youngest in their classes, which suggests that suspected ADHD is overestimated. An exhaustive clinical interview investigating the family's psychological disorders and the patient's sleep disorders and tics is needed to improve the diagnostic process. Palabras clave: Trastorno por déficit de atención con hiperactividad, Epidemiología, Neurología infantil, Factores de edad, Keywords: Attention deficit hyperactivity disorder, Epidemiology, Paediatric neurology, Age factor

Analysis of the factors linked to a diagnosis of attention deficit hyperactivity disorder in children

Introduction: Attention deficit hyperactivity disorder (ADHD) is a neuropsychiatric disorder originating from multiple factors. The aim of this study is to determine the percentage of patients with ADHD out of all patients referred to our clinic for assessment, and to explore the epidemiological and clinical factors linked to this diagnosis. Patients and methods: Retrospective analytical study of a sample of patients under 15 years old sent to the paediatric neurology clinic for suspected ADHD. DSM-IV criteria were used for diagnosis. We completed a binary logistic regression analysis to determine which risk factors were associated with the diagnosis. Results: Of the 280 selected patients, 224 were male (male/female ratio 4:1); mean age (SD) was 8.4 (3.08) years. Almost half (49%) of the patients were referred by their schools and 64.9% were born in the second half of the year, but this tendency was more marked in girls than in boys. Assessment according to DSM-IV criteria resulted in diagnosis of 139 subjects (49.7%). The risk factors linked to diagnosis were male sex, parents with ADHD, associated sleep disorders, tics, and absence of neurodevelopmental delay. Conclusion: Only half of the children referred for suspected ADHD were diagnosed with that condition, and most were among the youngest in their classes, which suggests that suspected ADHD is overestimated. An exhaustive clinical interview investigating the family's psychological disorders and the patient's sleep disorders and tics is needed to improve the diagnostic process. Resumen: Introducción: El trastorno por déficit de atención e hiperactividad (TDAH) es un trastorno neuropsiquiátrico de origen multifactorial. El objetivo de este estudio es determinar el porcentaje de pacientes que presentan TDAH del global de los enviados a la consulta por este motivo, y explorar los factores epidemiológicos y clínicos asociados al diagnóstico. Pacientes y métodos: Estudio retrospectivo analítico de una muestra de pacientes derivados a la consulta de neuropediatría por sospecha de TDAH, a la que se le aplican los criterios diagnósticos del DSM-IV. Se realiza un análisis de regresión logística para explorar los factores asociados al diagnóstico. Resultados: De los 280 pacientes, 224 eran varones (relación niños/niñas 4/1) con una edad media ± desviación estándar de 8,4 ± 3,08 años. El 49% fue remitido desde el ámbito escolar. El 64,9% de ellos nacieron en el segundo semestre del año, fenómeno que es más acusado en las mujeres. Tras la evaluación de los sujetos, un total de 139 casos fueron diagnosticados (49,7%). Los factores asociados a un incremento de diagnósticos de TDAH fueron: el sexo varón, el TDAH parental, trastornos del sueño asociados, la presencia de tics y la ausencia de retraso del desarrollo psicomotor. Conclusiones: Solo la mitad de los niños enviados con sospecha de TDAH fueron diagnosticados del trastorno. La mayoría se encuentra entre los más jóvenes del curso escolar, sugiriendo una sobreestimación de la sospecha. Una entrevista clínica donde se explore la psicopatología parental, los trastornos del sueño y los tics parece necesaria para mejorar el proceso diagnóstico. Keywords: Attention deficit hyperactivity disorder, Epidemiology, Paediatric neurology, Age factors, Palabras clave: Trastorno por déficit de atención con hiperactividad, Epidemiología, Neurología infantil, Factores de eda

Verification of Timed Erlang Programs Using McErlang

International audienceThere is a large number of works that apply model checking to timed specifications, however, there are far fewer attempts at model checking concurrent programs for which correct timed behaviour is crucial. In this work we explore the formal verification of timed programs written in the Erlang concurrent programming language, in its full complexity, using the McErlang model checker.We have extended the McErlang model checker with a timed semantics, similar to the timed semantics Lamport has developed for TLA and TLC, but with a few notable differences. In the paper we present the resulting semantics, its implementation in McErlang, and evaluate it using a number of examples. Among the examples is a process supervision component for controlling the processes in an Erlang application, which provides fault-tolerance