Publication

Automated Software Testing as a Service (TaaS)

Related publications (31)

Biomechanical Response of the Lower Extremity to Running-Induced Acute Fatigue: A Systematic Review

Kamiar Aminian, Gaëlle Prigent, Salil Apte

Objective: To investigate (i) typical protocols used in research on biomechanical response to running-induced fatigue, (ii) the effect of sport-induced acute fatigue on the biomechanics of running and functional tests, and (iii) the consistency of analyzed ...

2021

Edit Based Grading of SQL Queries

Bikash Chandra

Grading student SQL queries manually is a tedious and error-prone process. Earlier work on testing correctness of student SQL queries, such as the XData system, can be used to test the correctness of a student query. However, in case a student query is fou ...

ASSOC COMPUTING MACHINERY2021

HippoUnit: A software tool for the automated testing and systematic comparison of detailed models of hippocampal neurons based on electrophysiological data

Eilif Benjamin Muller, Werner Alfons Hilda Van Geit, Armando Romani, Szabolcs Kali, Sàra Sàray, Carmen Alina Lupascu, Rosanna Migliore, Luca Leonardo Bologna, Shailesh Appukuttan

Anatomically and biophysically detailed data-driven neuronal models have become widely used tools for understanding and predicting the behavior and function of neurons. Due to the increasing availability of experimental data from anatomical and electrophys ...

2021

Blind predictions of shake table testing of aggregate masonry buildings

Katrin Beyer, Andrea Penna, Igor Tomic

In many historical centers in Europe, stone masonry is part of building aggregates, which developed when the layout of the city or village was densified. The analysis of such building aggregates is very challenging and modelling guidelines missing. Advance ...

2021

Exploring policy change through agent-based simulation

Raphaël Klein

Policymaking is a complex process that has been studied using policy process theories almost exclusively. These theories have been built using a large number of qualitative cases. Such methods are useful for theory building but remain limited for theory ex ...

EPFL2021

A Coarse-mesh Methodology for the Analysis of One and Two-phase Nuclear Reactor Thermal-hydraulics in a Multi-physics Context

Stefan Radman

The analysis of nuclear reactors for performance and safety assessment benefits from the use of computational tools. In this context, this work aims at the development and application of a thermal-hydraulics methodology and related software that respond to ...

EPFL2021

Seed Selection for Successful Fuzzing

Mathias Josef Payer

Mutation-based greybox fuzzing-unquestionably the most widely-used fuzzing technique-relies on a set of non-crashing seed inputs (a corpus) to bootstrap the bug-finding process. When evaluating a fuzzer, common approaches for constructing this corpus inclu ...

ASSOC COMPUTING MACHINERY2021

Orchestration of oscillatory activity to improve visual motion discrimination

Roberto Felipe Salamanca Giron

This thesis describes advances in the use of novel configurations of non-invasive brain stimulation over the visual system allowing to modulate of modifying electro-physiological activity, interregional interactions and by it, visual behavior such as motio ...

EPFL2021

Industry 4.0 Technologies and Customer-centricity for Digital Supply Chains

Rachel Agnès Laetitia Rosemonde Marie Lacroix

The last few years have experienced the emergence of Industry 4.0 (I4.0), ultra-customization, and the explosion of demand for ethical, fair trade, and sustainable consumption. Organizations have therefore started a digital transformation of their SCs and ...

EPFL2021

COVID-19 epidemic in Switzerland: on the importance of testing, contact tracing and isolation

Marcel Salathé

Switzerland is among the countries with the highest number of coronavirus disease-2019 (COVID-19) cases per capita in the world. There are likely many people with undetected SARS-CoV-2 infection because testing efforts are currently not detecting all infec ...

2020

Evaluating the Effects of Introducing Three Gamification Elements in STEM Educational Software for Secondary Schools

Denis Gillet, Juan Carlos Farah

Gamification aims to enhance the educational experience by enabling students to have fun with technology. Although research in the field has previously looked into the effectiveness of gamification, reviews of existing studies show that in the context of e ...

Association for Computing Machinery2020