7
Publications
129
Citations
7
H-Index
2017
Active since
Kit Siu is an author at GE Global Research (United States) specializing in engineering, software design, and software engineering.
Top concepts
EngineeringSoftware DesignSoftware EngineeringSystems EngineeringComputer ScienceSoftware TestingSoftware AnalysisFormal VerificationVerificationProgram Analysis
Publications per year
2017–2022
7
7
VERDICT: A Language and Framework for Engineering Cyber Resilient and Safe System
Baoluo Meng, Daniel Larraz, Kit Siu et al. · Systems · 2021 · 25 citations · Full text
Towards Development of Complete and Conflict-Free Requirements
Abha Moitra, Kit Siu, Andrew Crapo et al. · 2018 · 24 citations
Automating requirements analysis and test case generation
Abha Moitra, Kit Siu, Andrew Crapo et al. · Requirements Engineering · 2019 · 23 citations
Architectural and Behavioral Analysis for Cyber Security
Kit Siu, Abha Moitra, Meng Li et al. · 2019 · 19 citations
Security Modelling, Security Architecture, Threat (Computer) +15
Flight critical software and systems development using ASSERT™
Kit Siu, Abha Moitra, Michael Durling et al. · 2017 · 16 citations
Auto Test Generation, Formal Requirements Capture, Engineering +26
Rows per page
1–5 of 7