Guillaume Langelier

Publication Activity (10 Years)

Years Active: 2005-2016
Publications (10 Years): 1

Top Topics

Search Based Testing

Generation Algorithm

Test Data Generation

Simulated Annealing Algorithm

Top Venues

Electron. Notes Theor. Comput. Sci.

Publications

Omer Nguena-Timo, Guillaume Langelier
Test Data Generation for Cyclic Executives with CBMC and Frama-C: A Case Study. Electron. Notes Theor. Comput. Sci. 320 (2016)
Guillaume Langelier, Arnaud Dury, Alexandre Petrenko, S. Ramesh, Tameem Assaf
Building an interactive test development environment for cyclic executive systems. SIES (2015)
Guillaume Langelier, Houari A. Sahraoui, Pierre Poulin
Exploring the evolution of software quality with animated visualization. VL/HCC (2008)
Guillaume Langelier, Karim Dhambri
Visual Analysis of Azureus using VERSO. VISSOFT (2007)
Guillaume Langelier, Houari A. Sahraoui, Pierre Poulin
Visualisation et analyse de logiciels de grande taille. Obj. Logiciel Base données Réseaux 11 (1-2) (2005)
Guillaume Langelier, Houari A. Sahraoui, Pierre Poulin
Visualization-based analysis of quality for large-scale software systems. ASE (2005)