Home

Publication

Automated Software Testing as a Service (TaaS)

Related publications (31)

Page 3 of 4

About
Privacy
Disclaimer

Graph Chatbot

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

Kamiar Aminian, Salil Apte, Gaëlle Prigent

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, Armando Romani, Werner Alfons Hilda Van Geit, Szabolcs Kali, Carmen Alina Lupascu, Rosanna Migliore, Luca Leonardo Bologna, Sàra Sàray, 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, Igor Tomic, Andrea Penna

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

Page 3 of 4

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

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

2021

Exploring policy change through agent-based simulation

Raphaël Klein

EPFL2021

Seed Selection for Successful Fuzzing

Mathias Josef Payer

ASSOC COMPUTING MACHINERY2021

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

Stefan Radman

EPFL2021