SNAIL team
SNAIL team
Research
Projects
Publications
Education
MSc Thesis
News
About SNAIL
About
Contact
People
Light
Dark
Automatic
Conformity Assessment
Investigating LLMs for Feature Presence Prediction in Software Products
Assessing legacy systems for compliance with new requirements is critical but hindered by obsolete documentation and the loss of expert …
Guillaume Nguyen
,
Paolo Arcaini
,
Maxime Cordy
,
Xavier Devroey
,
Fuyuki Ishikawa
PDF
Project
Ponderarium, a place for Cyber Physical System conformity assessment
Nowadays, complex Cyber-Physical Systems (CPSs) are commonly exchanged on the market. However, this complexity does not allow citizens …
Guillaume Nguyen
,
Antoine Sacré
,
Anthony Simonofski
,
Xavier Devroey
PDF
Project
Preliminary Survey on CPS Testing in Various Domains of the Industry
Cyber-Physical Systems (CPSs) help solve real-world challenges by gathering data and reacting physically to it in real-time. Through …
Guillaume Nguyen
,
Xavier Devroey
PDF
Project
Automating the conformity assessment of Cyber-Physical Systems software
Cyber-physical systems (CPS) are tools used by humans to enhance the way they perform tasks. CPSs make tasks more efficient, more …
Guillaume Nguyen
PDF
Project
DOI
A3S3 - Automated Android Audit of Safety and Security Signals
Android devices and related applications are increasingly prevalent in our daily routines. Furthermore, these technologies are being …
Guillaume Nguyen
,
Xavier Devroey
PDF
Project
DOI
Cite
×