Raphael Khoury -

Registered user since Thu 10 Mar 2022

Name:Raphael Khoury

Affiliation:Université du Québec à Chicoutimi, Canada

Contributions

2022

Mining Software Repositories

Author of TwinDroid: A Dataset of Android app System call traces and Trace Generation Pipeline within the Data and Tool Showcase Track-track

2021

FormaliSE

Author of Runtime Verification Under Access Restrictions within the FormaliSE 2021-track

A-MOST

Author of Test Sequence Generation with Cayley Graphs within the A-MOST 2021-track

2017

ISSTA

Author of SealTest: A Simple Library for Test Sequence Generation within the Demonstrations-track