Publication

Formal testing of object-oriented software

Related publications (172)

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Group testing for connected communities

Pavlos Nikolopoulos, Christina Fragouli, Suhas Diggavi, 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

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 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

A Simpler and Faster NIC Driver Model for Network Functions

George Candea, Solal Vincenzo Pirelli

The advent of software network functions calls for stronger correctness guarantees and higher performance at every level of the stack. Current network stacks trade simplicity for performance and flexibility, especially in their driver model. We show that p ...

2021

Verification of Software Network Functions with No Verification Expertise

Arseniy Zaostrovnykh

Software network functions (NFs), such as a network address translator, load balancer, or proxy, promise to bring flexibility and rapid innovation to computer networks and to reduce operational costs. However, continuous updates and flexibility typically c ...

EPFL2020

Real-Scenario Testing of an Active Phasor Data Concentrator

Mario Paolone, Asja Derviskadic, Guglielmo Frigo

The privileged position of the Phasor Data Concentrator (PDC) in a synchrophasor-based monitoring system can be exploited to make this device the core of a distributed measurement architecture suitable for control and protection applications in power syste ...

IEEE2019

Characterization of Uncertainty Contributions in a High-Accuracy PMU Validation System

Mario Paolone, Asja Derviskadic, Guglielmo Frigo, Daniele Colangelo, Jean-Pierre Braun

The eective deployment of Phasor Measurement Units (PMUs) in Distribution Networks (DNs) requires an enhancement in terms of estimation accuracy beyond the limits of IEEE Std C37.118.1 (IEEE Std), aiming at a Total Vector Error (TVE) in the order of 0.0x% ...

2019

Local Theory of the Insulating State

Antimo Marrazzo

An insulator differs from a metal because of a different organization of the electrons in their ground state. In recent years this feature has been probed by means of a geometrical property, the quantum metric tensor, which addresses the system as a whole, ...

AMER PHYSICAL SOC2019

Validation of probabilistic classifiers

Michel Bierlaire, Timothy Michael Hillel

Non-parametric probabilistic classification models are increasingly being investigated as an alternative to Discrete Choice Models (DCMs), e.g. for predicting mode choice. There exist many strategies within the literature for model selection between DCMs, ...

2018

SaPPART Guidelines, Performance assessment of positioning terminal

Pierre-Yves Gilliéron

This deliverable, entitled guidelines, is the third outcome of SaPPART COST Action, a European network of scientists and stakeholders that aims to promote smart use of GNSS technology in the field of intelligent road transport and mobility. It discusses th ...

IFSTTAR2018