Showing 1–20 of 30 results
/ Date/ Name
Oct 22, 2025BOSQTGEN: Breaking the Sound Barrier in Test GenerationOct 24, 2025Excision Score: Evaluating Edits with Surgical PrecisionJul 20, 2023Software Product Line Engineering via Software TransplantationApr 13, 2023Automatic Semantic Augmentation of Language Model Prompts (for Code Summarization)Apr 1, 2020OptTyper: Probabilistic Type Inference by Optimising Logical and Natural ConstraintsFeb 17, 2014Learning Natural Coding ConventionsMar 30, 2026Compressing Code Context for LLM-based Issue ResolutionApr 6, 2020Typilus: Neural Type HintsJun 26, 2018Indexing Operators to Extend the Reach of Symbolic ExecutionJun 12, 2018Deep Learning to Detect Redundant Method CommentsFeb 5, 2015On the Lexical Distinguishability of Source CodeFeb 7, 2026Forecasting Developer Environments with GenAI: A Research PerspectiveApr 22, 2026Hallucination Inspector: A Fact-Checking Judge for API MigrationMay 29, 2019Sub-Turing Islands in the WildFeb 26, 2015Detecting Malware with Information ComplexityFeb 6, 2015Casper: Debugging Null Dereferences with Dynamic Causality TracesSep 18, 2017A Survey of Machine Learning for Big Code and NaturalnessMay 5, 2025Memorization or Interpolation ? Detecting LLM Memorization through Input Perturbation AnalysisDec 2, 2024Practitioners' Expectations on Log Anomaly DetectionMar 25, 2024To Err is Machine: Vulnerability Detection Challenges LLM Reasoning