Static Detection of Race Conditions in Erlang

We address the problem of detecting some commonly occurring kinds of race conditions in Erlang programs using static analysis. Our analysis is completely automatic, fast and scalable, and avoids false alarms by taking language characteristics into account. We have integrated our analysis in dialyzer, a commonly used tool for detecting software defects in Erlang programs which is part of Erlang/OTP, and evaluate its effectiveness and performance on a suite of widely used industrial and open source programs of considerable size. The analysis has detected a significant number of previously unknown race conditions

Muggl: The Muenster Generator of Glass-box Test Cases

Testing is a task that requires much effort, yet it is essential for developing software. Automated test case generation (TCG) promises to relieve humans of manual work. We introduce Muggl (the Muenster generator of glass-box test cases), which is developed at our institute. Muggl generates test cases for Java bytecode. It symbolically executes code and uses constraint solving techniques. While papers on Muggl have already been published, no comprehensive introduction of the tool exist. This working paper fills this gap

Desarrollo de una herramienta de refactorización en Erlang integrada en un IDE

Tomás Franco, C. (2010). Desarrollo de una herramienta de refactorización en Erlang integrada en un IDE. http://hdl.handle.net/10251/10025.Archivo delegad

Generación de trazas para la ejecución concólica de programas Erlang

[EN] A system for testing Erlang applications using concolic execution has been proposed. Matem[ES] Se ha descrito y propuesto un sistema de pruebas para programas Erlang basado en ejecución concólica.Coll Ruiz, O. (2014). Generación de trazas para la ejecución concólica de programas Erlang. http://hdl.handle.net/10251/64219Archivo delegad