Search Results - Mechtaev, Sergey

  • Showing 1 - 15 results of 15
Refine Results
  1. 1
    Re-Factoring Based Program Repair Applied to Programming Assignments

    Re-Factoring Based Program Repair Applied to Programming Assignments by Hu, Yang, Ahmed, Umair Z., Mechtaev, Sergey, Leong, Ben, Roychoudhury, Abhik

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  2. 2
    Angelix: Scalable Multiline Program Patch Synthesis via Symbolic Analysis

    Angelix: Scalable Multiline Program Patch Synthesis via Symbolic Analysis by Mechtaev, Sergey, Jooyong Yi, Roychoudhury, Abhik

    Request full text
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  3. 3
    Evaluating Automatic Program Repair Capabilities to Repair API Misuses

    Evaluating Automatic Program Repair Capabilities to Repair API Misuses by Kechagia, Maria, Mechtaev, Sergey, Sarro, Federica, Harman, Mark

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    DirectFix: Looking for Simple Program Repairs

    DirectFix: Looking for Simple Program Repairs by Mechtaev, Sergey, Jooyong Yi, Roychoudhury, Abhik

    Request full text
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  5. 5
    Test-Equivalence Analysis for Automatic Patch Generation

    Test-Equivalence Analysis for Automatic Patch Generation by Mechtaev, Sergey, Gao, Xiang, Tan, Shin Hwei, Roychoudhury, Abhik

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  6. 6
    Trident: Controlling Side Effects in Automated Program Repair

    Trident: Controlling Side Effects in Automated Program Repair by Parasaram, Nikhil, Barr, Earl T., Mechtaev, Sergey

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  7. 7
    Rete: Learning Namespace Representation for Program Repair

    Rete: Learning Namespace Representation for Program Repair by Parasaram, Nikhil, Barr, Earl T., Mechtaev, Sergey

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  8. 8
    Semantic Program Repair Using a Reference Implementation

    Semantic Program Repair Using a Reference Implementation by Mechtaev, Sergey, Manh-Dung Nguyen, Noller, Yannic, Grunske, Lars, Roychoudhury, Abhik

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  9. 9
    A correlation study between automated program repair and test-suite metrics

    A correlation study between automated program repair and test-suite metrics by Yi, Jooyong, Tan, Shin Hwei, Mechtaev, Sergey, Böhme, Marcel, Roychoudhury, Abhik

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  10. 10
    Precise Data-Driven Approximation for Program Analysis via Fuzzing

    Precise Data-Driven Approximation for Program Analysis via Fuzzing by Parasaram, Nikhil, Barr, Earl T., Mechtaev, Sergey, Bohme, Marcel

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  11. 11
    [Journal First] A Correlation Study Between Automated Program Repair and Test-Suite Metrics

    [Journal First] A Correlation Study Between Automated Program Repair and Test-Suite Metrics by Yi, Jooyong, Tan, Shin Hwei, Mechtaev, Sergey, Bohme, Marcel, Roychoudhury, Abhik

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  12. 12
    The Fact Selection Problem in LLM-Based Program Repair

    The Fact Selection Problem in LLM-Based Program Repair by Parasaram, Nikhil, Yan, Huijie, Yang, Boyu, Flahy, Zineb, Qudsi, Abriele, Ziaber, Damian, Barr, Earl, Mechtaev, Sergey

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  13. 13
    User-Centric Deployment of Automated Program Repair at Bloomberg

    User-Centric Deployment of Automated Program Repair at Bloomberg by Williams, David, Callan, James, Kirbas, Serkan, Mechtaev, Sergey, Petke, Justyna, Prideaux-Ghee, Thomas, Sarro, Federica

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  14. 14
    Fairness-guided SMT-based Rectification of Decision Trees and Random Forests

    Fairness-guided SMT-based Rectification of Decision Trees and Random Forests by Zhang, Jiang, Beschastnikh, Ivan, Mechtaev, Sergey, Roychoudhury, Abhik

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  15. 15
    Partitioning Patches into Test-equivalence Classes for Scaling Program Repair

    Partitioning Patches into Test-equivalence Classes for Scaling Program Repair by Mechtaev, Sergey, Gao, Xiang, Shin Hwei Tan, Roychoudhury, Abhik

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: