Publications related to Test-driven development

A Comparative Analysis of Tools & Task Types for Measuring Computational Problem-Solving

Richard Lee Davis, Engin Walter Bumbacher, Jérôme Guillaume Brender

How to measure students' Computational Problem-Solving (CPS) competencies is an ongoing research topic. Prevalent approaches vary by measurement tools (e.g., interactive programming, multiple-choice tests, or programming-independent tests) and task types ( ...

Association for Computing Machinery2024

Exact Obstacle Avoidance for Robots in Complex and Dynamic Environments Using Local Modulation

Lukas Huber

Robots outside of the fenced factories have to deal with continuously changing environment, this requires fast and flexible modes of control. Planning methods or complex learning models can find optimal paths in complex surroundings, but they are computati ...

EPFL2024

High-Resolution Modeling Without Computation Slowdown for PETALE in CROCUS

Andreas Pautz, Vincent Pierre Lamirand, Thomas Jean-François Ligonnet, Axel Guy Marie Laureau

In a collaboration between Ecole Polytechnique Fédérale de Lausanne (EPFL) and CEA, in the fall of 2020, the experimental Programme d’Étude en Transmission de l’Acier Lourd et ses Eléments (PETALE) was successfully carried out in the CROCUS reactor of EPFL ...

2024

A Bebras Computational Thinking (ABC-Thinking) program for primary school: Evaluation using the competent computational thinking test

Laila Abdelsalam El-Hamamsy

Bebras tasks are considered to develop Computational Thinking (CT) and are currently used for this purpose in many studies. However, the relationship between Bebras tasks and CT is recent and, given the scarcity of validated instruments for assessing CT th ...

Springer2024

Performance Comparison of Cables With Partial Transposition

Pierluigi Bruzzone, Kamil Sedlák, Federica Demattè, Chiara Frittitta

The need of full transposition of the current carrying elements (strands) in large cables is frequently retained as top design criterion for conductors operating in pulsed mode. However, when the transposition error, i.e., the inductance difference among t ...

IEEE Institute of Electrical and Electronics Engineers2024

Fast correlation function calculator A high-performance pair-counting toolkit

Cheng Zhao

Context. A novel high-performance exact pair-counting toolkit called fast correlation function calculator (FCFC) is presented.Aims. With the rapid growth of modern cosmological datasets, the evaluation of correlation functions with observational and simula ...

EDP SCIENCES S A2023

FISHFUZZ: Catch Deeper Bugs by Throwing Larger Nets

Mathias Josef Payer, Flavio Toffalini, Han Zheng, Yuqing Zhang, Jiayuan Zhang

Fuzzers effectively explore programs to discover bugs. Greybox fuzzers mutate seed inputs and observe their execution. Whenever a seed reaches new behavior (e.g., new code or higher execution frequency), it is stored for further mutation. Greybox fuzzers d ...

Usenix Assoc2023

Seismic Testing of Adjacent Interacting Masonry Structures

Katrin Beyer, Igor Tomic, Andrea Penna

Masonry buildings form building aggregates around the world in historical centers, which developed as the layout of the city or village densified. In these aggregates, adjacent buildings can share structural walls, connected at the interfaces by interlocki ...

2023

TCAD modelling of a-Si:H devices for particle detection applications

Sylvain Dunand, Nicolas Würsch, Luca Massimiliano Antognini, Matthew James Large, Giulia Rossi

Hydrogenated amorphous silicon (a-Si:H) has been proposed as a suitable material for particle detection applications thanks to its property to be deposited over a large area and above a variety of different substrates, including flexible materials. Moreove ...

Elsevier Sci Ltd2023

ACTOR: Action-Guided Kernel Fuzzing

Mathias Josef Payer

Fuzzing reliably and efficiently finds bugs in software, including operating system kernels. In general, higher code coverage leads to the discovery of more bugs. This is why most existing kernel fuzzers adopt strategies to generate a series of inputs that ...

Usenix Assoc2023

Community-Aware Group Testing

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

Group testing is a technique that can reduce the number of tests needed to identify infected members in a population, by pooling together multiple diagnostic samples. Despite the variety and importance of prior results, traditional work on group testing ha ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2023

Supplementary datasets for the manuscript "Generative machine learning produces kinetic models that accurately characterize intracellular metabolic states" - Part 3

Vassily Hatzimanikatis, Ljubisa Miskovic, Michaël Roger Germain Moret

Supplementary files containing datasets needed to reproduce the results of the manuscript "Generative machine learning produces kinetic models that accurately characterize intracellular metabolic states" by S. Choudhury et al (https://doi.org/10.1101/2023. ...

Zenodo2023

Structural impact of the start-up sequence on Pelton turbines lifetime: Analytical prediction and polynomial optimization

Mario Paolone, Elena Vagnoni, Aldo Leonardo Alerci

Hydropower plants play a crucial role in the power system facing ambitious renewable energy targets. Due to their inherent controllability, they are well suited to provide flexibility to the grid. However, an increased flexibility provision leads to a prol ...

Pergamon-Elsevier Science Ltd2023

Drained Axial Pipe-Soil Resistance at Low Confinement Using Tilt Table and Direct Shear Tests

Roba Houhou

Establishing a reliable value for the axial pipe-soil interface resistance is critical for the design of offshore pipelines. Over the last few years, several independent research groups have modified existing methodologies or devised new testing setups to ...

ASCE-AMER SOC CIVIL ENGINEERS2022

Design for Test With Unreliable Memories by Restoring the Beauty of Randomness

Andreas Peter Burg, Reza Ghanaatian Jahromi, Marco Widmer

This article presents a design-for-test methodology for embedded memories. The methodology relies on a fully random fault model of post-fabrication errors, which results in a low-overhead test strategy. The methodology's effectiveness is demonstrated on an ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2022

Bridging the gap between model-driven and data-driven methods in the era of Big Data

Gael Lederrey

Data-driven and model-driven methodologies can be regarded as competitive fields since they tackle similar problems such as prediction. However, these two fields can learn from each other to improve themselves. Indeed, data-driven methodologies have been d ...

EPFL2022

Full-scale testing of European steel beams with reduced beam section under reversed cyclic loading

Dimitrios Lignos, Hiroyuki Inamasu

Steel beams with reduced beam section (RBS) are often used as part of prequalified connections in seismic regions. However, RBS connections are not as common in Europe. Reasons relate to easiness in fabrication, which requires on-site welding, and the seis ...

Springer Nature2022

A geometrically exact model for thin magneto-elastic shells

Pedro Miguel Nunes Pereira de Almeida Reis, Matteo Pezzulla, Dong Yan

We develop a reduced model for hard-magnetic, thin, linear-elastic shells that can be actuated through an external magnetic field, with geometrically exact strain measures. Assuming a reduced kinematics based on the Kirchhoff-Love assumption, we derive a r ...

PERGAMON-ELSEVIER SCIENCE LTD2022

Cultural Adaptation, Validation, and Psychometric Description of the Pictorial Empathy Test (PET) in the Spanish Population

Maria del Carmen Sandi Perez

Research in psychology and social neuroscience distinguishes between dispositional and situational empathy for the cognitive and affective aspects of empathy. Yet, the Pictorial Empathy Test (PET) is one of the few brief tests focusing on situational affec ...

HOGREFE PUBLISHING CORP2022

A Comparison of Methods for OOV-Word Recognition on a New Public Dataset

Petr Motlicek

A common problem for automatic speech recognition systems is how to recognize words that they did not see during training. Currently there is no established method of evaluating different techniques for tackling this problem. We propose using the CommonVoi ...

IEEE Signal Processing Society2021