Internship | Trace-Guided Interaction Inference & Diagram Synthesis

About this position

High-tech system manufacturers face a critical challenge: system knowledge is at risk as subject matter experts (SMEs) retire. To capture knowledge, engineers currently reconstruct how critical system capabilities map to low-level C++ code and machine behavior through a manual, iterative process involving documents, codebases, execution traces, and SME interviews. Findings are consolidated in slide decks and modeling tools, which are hard to query, costly to update, and prone to inconsistencies. This hampers decisions about functionality decoupling and modularization, as practitioners must trace cross-component interactions, validate mappings, and maintain rationale over time. Each analysis requires searching through code, consulting SMEs, running scenarios, and manually building sequence diagrams, a slow, brittle process that undermines confidence in refactoring. This thesis proposes an automated approach to reconstruct scenario-specific int...