Xuan-Bach Dinh Le

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Known people with the same name:

Bibliography

2023
An Efficient Cyclic Entailment Procedure in a Fragment of Separation Logic.
Proceedings of the Foundations of Software Science and Computation Structures, 2023

2021
ReFixar: Multi-version Reasoning for Automated Repair of Regression Errors.
Proceedings of the 32nd IEEE International Symposium on Software Reliability Engineering, 2021

2020
Adversarial Patch Generation for Automatic Program Repair.
CoRR, 2020

2016
Towards efficient and effective automatic program repair.
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Exploring Human: eBike Interaction to Support Rider Autonomy.
Proceedings of the 2016 Annual Symposium on Computer-Human Interaction in Play, 2016


  Loading...