Kim Lavoie

According to our database, Kim Lavoie authored at least 5 papers between 2014 and 2017.

Collaborative distances:

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

2017

Automated Bug Finding in Video Games: A Case Study for Runtime Monitoring.

Simon Varvaressos, Kim Lavoie, Sébastien Gaboury, Sylvain Hallé

Comput. Entertain., 2017

2015

A generalized monitor verdict for log trace triaging.

Simon Varvaressos, Kim Lavoie, Sébastien Gaboury, Sylvain Hallé

Proceedings of the 6th IEEE International Workshop on Program Comprehension through Dynamic Analysis, 2015

2014

Multiple Ways to Fail: Generalizing a Monitor's Verdict for the Classification of Execution Traces.

Simon Varvaressos, Kim Lavoie, Sébastien Gaboury, Sylvain Hallé

Proceedings of the Runtime Verification - 5th International Conference, 2014

Portable Runtime Verification with Smartphones and Optical Codes.

Kim Lavoie, Corentin Leplongeon, Simon Varvaressos, Sébastien Gaboury, Sylvain Hallé

Proceedings of the Runtime Verification - 5th International Conference, 2014

Automated Bug Finding in Video Games: A Case Study for Runtime Monitoring.

Simon Varvaressos, Kim Lavoie, Alexandre Blondin Massé, Sébastien Gaboury, Sylvain Hallé

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014