145 results on '"Le Goues, Claire"'
Search Results
2. ROSInfer: Statically Inferring Behavioral Component Models for ROS-based Robotics Systems
3. Large Language Models for Test-Free Fault Localization
4. BatFix: Repairing language model-based transpilation.
5. Cross-Architecture Lifter Synthesis
6. Understanding and improving artifact sharing in software engineering research
7. PreciseBugCollector: Extensible, Executable and Precise Bug-Fix Collection: Solution for Challenge 8: Automating Precise Data Collection for Code Snippets with Bugs, Fixes, Locations, and Types
8. An Investigation into the Use of Mutation Analysis for Automated Program Repair
9. Improved Crossover Operators for Genetic Programming for Program Repair
10. Cross-Architecture Lifter Synthesis
11. Mithra: Anomaly Detection as an Oracle for Cyberphysical Systems
12. The Boogie Verification Debugger (Tool Paper)
13. Patching Locking Bugs Statically with Crayons
14. Specification Mining with Few False Positives
15. An Investigation into the Use of Mutation Analysis for Automated Program Repair
16. Patching Locking Bugs Statically with Crayons.
17. Guest editorial for special section on research in search-based software engineering
18. DIRE and its Data: Neural Decompiled Variable Renamings with Respect to Software Class
19. DIRE and its Data: Neural Decompiled Variable Renamings with Respect to Software Class.
20. Making no-fuss compiler fuzzing effective
21. ROSDiscover: Statically Detecting Run-Time Architecture Misconfigurations in Robotics Systems
22. Quality of Automated Program Repair on Real-World Defects
23. Improved Crossover Operators for Genetic Programming for Program Repair
24. Registered Report: First, Fuzz the Mutants
25. SOSRepair: Expressive Semantic Search for Real-World Program Repair
26. VarFix: balancing edit expressiveness and search effectiveness in automated program repair
27. Current challenges in automatic software repair
28. Automatic Program Repair
29. The Importance of Safety Invariants in Robustness Testing Autonomy Systems
30. SOAR: A Synthesis Approach for Data Science API Refactoring
31. An Empirical Study of OSS-Fuzz Bugs
32. Replication of SOAR: A Synthesis Approach for Data Science API Refactoring
33. Simulation for Robotics Test Automation: Developer Perspectives
34. FrameFix: Automatically Repairing Statically-Detected Directive Violations in Framework Applications
35. Botsing, a Search-based Crash Reproduction Framework for Java
36. Good Things Come In Threes: Improving Search-based Crash Reproduction With Helper Objectives
37. The Boogie Verification Debugger (Tool Paper)
38. Specification Mining with Few False Positives
39. SOAR: A Synthesis Approach for Data Science API Refactoring.
40. It Takes a Village to Build a Robot: An Empirical Study of The ROS Ecosystem
41. Empirical Study of Restarted and Flaky Builds on Travis CI
42. Robustness Inside Out Testing
43. DIRE: A Neural Approach to Decompiled Identifier Naming
44. Automatic program repair with evolutionary computation
45. Systemic Assurance
46. Tailoring Programs for Static Analysis via Program Transformation.
47. Genetic Improvement of Software (Dagstuhl Seminar 18052)
48. A Qualitative Study on Framework Debugging
49. Lightweight multi-language syntax transformation with parser parser combinators
50. A Panel Data Set of Cryptocurrency Development Activity on GitHub
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.