Showing 1–10 of 10 results
/ Date/ Name
Jun 21, 2023Inference of Resource Management SpecificationsMar 12, 2013Using State Infection Conditions to Detect Equivalent Mutants and Speed up Mutation AnalysisOct 13, 2024Evaluation of Version Control Merge ToolsFeb 25, 2018NL2Bash: A Corpus and Semantic Parser for Natural Language Interface to the Linux Operating SystemMar 27, 2018An Empirical Study of Fault Localization Families and Their CombinationsOct 26, 2025Jenga: Responsive Tiered Memory Management without ThrashingJul 10, 2024Call Graph Soundness in Android Static AnalysisOct 3, 2025Repairing Leaks in Resource WrappersJun 13, 2018A Graphical Interactive Debugger for Distributed SystemsApr 5, 2025Tratto: A Neuro-Symbolic Approach to Deriving Axiomatic Test Oracles