Guillaume Langelier

According to our database, Guillaume Langelier authored at least 6 papers between 2005 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Test Data Generation for Cyclic Executives with CBMC and Frama-C: A Case Study.

Omer Nguena-Timo, Guillaume Langelier

Proceedings of the 1st Workshop on Uses of Symbolic Execution, 2015

Building an interactive test development environment for cyclic executive systems.

Guillaume Langelier, Arnaud Dury, Alexandre Petrenko, S. Ramesh, Tameem Assaf

Proceedings of the 10th IEEE International Symposium on Industrial Embedded Systems, 2015

2008

Exploring the evolution of software quality with animated visualization.

Guillaume Langelier, Houari A. Sahraoui, Pierre Poulin

Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2008

2007

Visual Analysis of Azureus using VERSO.

Guillaume Langelier, Karim Dhambri

Proceedings of the 4th IEEE International Workshop on Visualizing Software for Understanding and Analysis, 2007

2005

Visualisation et analyse de logiciels de grande taille.

Guillaume Langelier, Houari A. Sahraoui, Pierre Poulin

Obj. Logiciel Base données Réseaux, 2005

Visualization-based analysis of quality for large-scale software systems.

Guillaume Langelier, Houari A. Sahraoui, Pierre Poulin

Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005