Showing 1–12 of 12 results
/ Date/ Name
Jan 22, 2011Online Verification of Control Parameter Calculations in Communication Based Train Control SystemMay 19, 2019Taking Care of The Discretization Problem: A Comprehensive Study of the Discretization Problem and A Black-Box Adversarial Attack in Discrete Integer DomainSep 19, 2024SpecEval: Evaluating Code Comprehension in Large Language Models via Program SpecificationsOct 6, 2025Evolaris: A Roadmap to Self-Evolving Software Intelligence ManagementFeb 12, 2025Intention is All You Need: Refining Your Code from Your IntentionApr 2, 2024FT2Ra: A Fine-Tuning-Inspired Approach to Retrieval-Augmented Code CompletionNov 19, 2025EPSO: A Caching-Based Efficient Superoptimizer for BPF BytecodeJun 5, 2025Attack Effect Model based Malicious Behavior DetectionApr 1, 2026Shapley-Guided Neural Repair Approach via Derivative-Free OptimizationApr 23, 2026SpecSyn: LLM-based Synthesis and Refinement of Formal Specifications for Real-world Program VerificationJul 3, 2024Model-Enhanced LLM-Driven VUI Testing of VPA AppsJan 16, 2024SpecGen: Automated Generation of Formal Program Specifications via Large Language Models