- The Double Life of Code World Models: Provably Unmasking Malicious Behavior Through Execution Traces
2025/12/15 by Subramanyam Sahoo, Sahoo, Subramanyam, Junkin, Jared · 7 voices
Computer Science · #Advanced Malware Detection Techniques #Adversarial Robustness in Machine Learning #Backdoor #Code (set theory) #Consistency (knowledge bases) #Model checking #Program analysis #Protocol (science) #Quotient #Robustness (evolution) #Software Engineering Research #Worst-case execution time
- Locus: Agentic Predicate Synthesis for Directed Fuzzing
2025/08/29 by Jie Zhu, Zhu, Jie, Chihao Shen +9 · 3 citations
Computer Science · #Advanced Malware Detection Techniques #Debugging #Exploit #Fuzz testing #Key (lock) #Program analysis #Program comprehension #Software Testing and Debugging Techniques #Task (project management) #Web Application Security Vulnerabilities
- A system for graph-based visualization of the evolution of software
2003/06/11 by Christian Collberg, Stephen Kobourov, Jasvir Nagra +2 · 4 citations
Computer Science · Decision Sciences · #Call graph #Component-based software engineering #Computer science #Data Visualization and Analytics #Data mining #Graph #Java #Program analysis #Program slicing #Programming language #Scientific Computing and Data Management #Software #Software Engineering Research #Software construction #Software engineering #Software evolution #Software system #Software visualization #Theoretical computer science #Visualization