Concept

Software quality assurance

Related publications (5)

Precision Positioning of Microrobots for Multi-Object Spectrographs

How does one study the evolution of the Milky Way, or the expansion of the Universe, or explore the mysteries of Dark energy? To investigate these complex topics, astronomers require data, and a great deal of it, in the form of the spectra of stars, galaxi ...

EPFL2020

Linking Models and Experiments

Dominique Bonvin, Diogo Filipe Mateus Rodrigues, René Uwe Schneider

This position paper gives an overview of the discussion that took place at FIPSE 2 at Aldemar Resort, east of Heraklion, Crete, in June 21-23, 2014. This is the second conference in the series "Future Innovation in Process Systems Engineering" (http://fi-i ...

Amer Chemical Soc2016

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

"May You Have a Strong (-Typed) Foundation", Why Strong-Typed Programming Languages Do Matter

Roland Siegwart, Nicola Tomatis

Programming efficient and reliable code can be considered a non-trivial task, as it requires deep understanding of the problem to be solved along with good programming skills. However, software frameworks and programming paradigms can provide a dependable ...

2004

SANDS Tools : an environment for deriving parallel programs

This paper describes the techniques and the tools developed to construct CO-OPN specifications (Concurrent Object Oriented Petri Nets) and to derive parallel programs. CO-OPN is a specification language allowing to describe concurrent aspects and data-stru ...

1994

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.