research
∙
08/01/2023
CONSTRUCT: A Program Synthesis Approach for Reconstructing Control Algorithms from Embedded System Binaries in Cyber-Physical Systems
We introduce a novel approach to automatically synthesize a mathematical...
share
research
∙
07/10/2023
A Novel Approach to Identify Security Controls in Source Code
Secure by Design has become the mainstream development approach ensuring...
research
∙
08/16/2021
A Program Synthesis Approach for Adding Architectural Tactics to An Existing Code Base
Automatically constructing a program based on given specifications has b...
research
∙
08/02/2021
DepRes: A Tool for Resolving Fully Qualified Names and Their Dependencies
Reusing code snippets shared by other programmers on Q A forums (e.g.,...
research
∙
03/11/2021
ArCode: A Tool for Supporting Comprehension andImplementation of Architectural Concerns
Integrated development environments (IDE) play an important role in supp...
research
∙
02/16/2021