Concept

Computer program

Related publications (202)

Improving Scalability of Symbolic Execution for Software with Complex Environment Interfaces

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

On Deductive Program Repair in Leon

Viktor Kuncak, Etienne Kneuss

We present an approach to program repair and its application to programs with recursive functions over unbounded data types. Our approach formulates program repair in the framework of deductive synthesis that uses existing program structure as a hint to gu ...

2015

Deductive Program Repair, Computer Aided Verification

Viktor Kuncak, Etienne Kneuss

2015

Automatic generation of program execution that reaches a given failure point

George Candea, Cristian Zamfir

An execution of a target software program that causes a particular bug to manifest itself is generated. A target software program is received. A bug report generated by an execution of the target software program is received. The bug report describes a par ...

2015

Region-based off-heap memory for Scala

This work explores support for region-based memory in Scala through macro-based domain-specific encoding that exploits a number of extensible language features such as implicits and value classes. ...

2015

Detecting intention to grasp during reaching movements from EEG

José del Rocio Millán Ruiz, Luca Randazzo, Ricardo Andres Chavarriaga Lozano, Robert Leeb, Inaki Asier Iturrate Gil

Abstract—Brain-computer interfaces (BCI) have been shown to be a promising tool in rehabilitation and assistive scenarios. Within these contexts, brain signals can be decoded and used as commands for a robotic device, allowing to translate user’s intention ...

2015

Extending database task schedulers for multi-threaded application code

Anastasia Ailamaki, Iraklis Psaroudakis

Modern databases can run application logic defined in stored procedures inside the database server to improve application speed. The SQL standard specifies how to call external stored routines implemented in programming languages, such as C, C++, or JAVA, ...

ACM2015

Method, computer program and apparatus for measuring a distribution of a physical variable in a region

Martin Vetterli, Juri Ranieri, Amina Chebira

Method for measuring a distribution of a physical variable in a region, comprising the step of: measuring an average value of the physical variable along each of a plurality of lines in said region; estimating the distribution of the physical variable in s ...

2015

Program repair without regret

Barbara Jobstmann

We present a new and flexible approach to repair reactive programs with respect to a specification. The specification is given in linear-temporal logic. Like in previous approaches, we aim for a repaired program that satisfies the specification and is synt ...

Springer2015

Quantifying electrode reliability during Brain-Computer Interface operation

José del Rocio Millán Ruiz, Ricardo Andres Chavarriaga Lozano, Serafeim Perdikis, Hesam Sagha

One of the problems of non-invasive Brain-Computer Interface (BCI) applications is the occurrence of anomalous (unexpected) signals that might degrade BCI performance. This situation might slip the operator’s attention since raw signals are not usually con ...

Institute of Electrical and Electronics Engineers2015

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.