Publication

Parallel symbolic execution for automated real-world software testing

Related publications (29)

Group testing for connected communities

Suhas Diggavi, Christina Fragouli, Pavlos Nikolopoulos, Sundara Rajan Srinivasavaradhan

In this paper, we propose algorithms that leverage a known community structure to make group testing more efficient. We consider a population organized in disjoint communities: each individual participates in a community, and its infection probability depe ...

MICROTOME PUBLISHING2021

The COUGHVID crowdsourcing dataset: A corpus for the study of large-scale cough analysis algorithms

David Atienza Alonso, Lara Orlandic, Tomas Teijeiro Campo

Overview Cough audio signal classification has been successfully used to diagnose a variety of respiratory conditions, and there has been significant interest in leveraging Machine Learning (ML) to provide widespread COVID-19 screening. Th ...

Zenodo2021

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

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

Th1509U European 170 Ghz 1 Mw Cw Industrial Gyrotron Upgrade

Stefano Alberti, Jean-Philippe Hogge, Francisco Sanchez, Ioannis Pagonakis, Konstantinos Avramidis

This paper describes the status on the upgrade of the first European gyrotron prototype for ITER, manufactured by Thales. The upgraded prototype, TH1509U, is now being tested to verify the performance improvements and to assess the compliance with ITER ECR ...

IEEE2021

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

A non-twisting flux tube for local gyrokinetic simulations

Stephan Brunner, Justin Richard Ball

Local gyrokinetic simulations use a field-aligned domain that twists due to the magnetic shear of the background magnetic equilibrium. However, if the magnetic shear is strong and/or the domain is long, the twist can become so extreme that it fails to prop ...

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

Benchmark study of undrained triaxial testing of Opalinus Clay shale: Results and implications for robust testing

Lyesse Laloui, Alessio Ferrari, Alberto Minardi

Triaxial testing of argillaceous rocks and shales is significantly more challenging than conventional rock mechanical testing. The challenges are mainly related to the very low permeability of these geomaterials, and their sensitivity to exposure of atmosp ...

ELSEVIER2021