Erick Raelijohn

According to our database, Erick Raelijohn authored at least 3 papers between 2019 and 2021.

Collaborative distances:

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

2021

Checking temporal patterns of API usage without code execution.

Erick Raelijohn, Michalis Famelis, Houari A. Sahraoui

Proceedings of the 9th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2021

2020

Towards assisting developers in API usage by automated recovery of complex temporal patterns.

Mohamed Aymen Saied, Erick Raelijohn, Edouard Batot, Michalis Famelis, Houari A. Sahraoui

Inf. Softw. Technol., 2020

2019

A vision for helping developers use APIs by leveraging temporal patterns.

Erick Raelijohn, Michalis Famelis, Houari A. Sahraoui

Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, 2019