Publication

Studying Application–Library Interaction and Behavior with LibTrac

Publications associées (27)

T-RECS: A Software Testbed for Multi-Agent Real-Time Control of Electric Grids

Jean-Yves Le Boudec, Wajeb Saab, Roman Rudnik, Jagdish Prasad Achara, Maaz Mashood Mohiuddin

Multiple software agents can be used to perform the real-time control of electrical grids. The control performance of such solutions is influenced by software non-idealities such as crashes and delays of the software agents, and message losses and delays d ...

2017

A Scala Library for Testing Student Assignments on Concurrent Programming

Mikaël Mayer, Ravichandhran Kandhadai Madhavan

We present a lightweight library for testing concurrent Scala programs by systematically exploring multiple interleavings between user-specified operations on shared objects. Our library is targeted at beginners of concurrent programming in Scala, runs on ...

Assoc Computing Machinery2016

Improving Scalability of Symbolic Execution for Software with Complex Environment Interfaces

Stefan Bucur

Manual software testing is laborious and prone to human error. Yet, among practitioners, it is the most popular method for quality assurance. Automating the test case generation promises better effectiveness, especially for exposing corner-case bugs. Symbo ...

EPFL2015

Search Techniques for Code Generation

Tihomir Gvero

This dissertation explores techniques that synthesize and generate program fragments and test inputs. The main goal of these techniques is to improve and support automation in program synthesis and test input generation. This is important because performin ...

EPFL2015

PBCOV: a property-based coverage criterion

Hamza Harkous, Kassem Fawaz

Coverage criteria aim at satisfying test requirements and compute metrics values that quantify the adequacy of test suites at revealing defects in programs. Typically, a test requirement is a structural program element, and the coverage metric value repres ...

Springer2015

An Operational Indicator System for the Integration of Sustainability into the Design Process of Urban Wasteland Regeneration Projects

Sophie Lufkin, Martine Laprise, Emmanuel Rey

In the context of sustainable development of European post-industrial cities, urban wastelands offer an important potential of surfaces to recapture. The regeneration of these sites is indeed an opportunity to simultaneously create density within the exist ...

2014

Methodology for Identification of Suitable ORC-Cycle and Working-Fluid using Integration with Multiple Objectives

François Maréchal, Daniel Favrat, Matthias Bendig

In recent times the interest in electricity production with Organic Rankine Cycles (ORC) has increased. A look into recent publications shows that the identification of suitable working fluids is in general done by a look at a more or less small number of ...

Aidic Servizi Srl2014