DISJOINT FRACTIONAL PERMISSIONS IN VERIFICATION: APPLICATIONS, SYSTEMS AND THEORY

بواسطة LE XUAN BACH
منشور في 2017

Active Semi-Supervised Defect Categorization

بواسطة THUNG, Ferdian, LE, Xuan-Bach D., David LO
منشور في 2015

Recommending code changes for automatic backporting of Linux device drivers

بواسطة THUNG, Ferdian, LE, Xuan Bach D., David LO
منشور في 2016

History driven program repair

بواسطة LE, Xuan-Bach D., LO, David, LE GOUES, Claire
منشور في 2016

A Quantum interpretation of separating conjunction for local reasoning of quantum programs based on separation logic

بواسطة Le, Xuan-Bach, Lin, Shang-Wei, Sun, Jun, Sanan, David
منشور في 2023

Automatic verification of multi-threaded programs by inference of rely-guarantee specifications

بواسطة LE, Xuan-Bach, SANAN, David, SUN, Jun, LIN, Shang-Wei
منشور في 2020

A Quantum interpretation of separating conjunction for local reasoning of Quantum programs based on separation logic

بواسطة LE, Xuan Bach, LIN, Shang-Wei, SUN, Jun, SANAN, David
منشور في 2022

A Quantum interpretation of separating conjunction for local reasoning of Quantum programs based on separation logic

بواسطة LE, Xuan Bach, LIN, Shang-Wei, SUN, Jun, SANAN, David
منشور في 2022

Enhancing automated program repair with deductive verification

بواسطة LE, Xuan-Bach D., LE, Quang Loc, LO, David, GOUES, Claire Le
منشور في 2016

XSearch: A domain-specific cross-language relevant question retrieval tool

بواسطة XU, Bowen, XING, Zhenchang, XIA, Xin, LO, David, LE, Xuan-Bach D.
منشور في 2017

JFIX: Semantics-based repair of Java programs via symbolic PathFinder

بواسطة LE, Xuan Bach D., CHU, Duc-Hiep, LO, David, LE, GOUES, VISSER, Willem
منشور في 2017

SAFFRON: Adaptive grammar-based fuzzing for worst-case analysis

بواسطة LE, Xuan Bach D., PASAREANU, Corina, PADHYE, Rohan, LO, David, VISSER, Willem, SEN, Koushik
منشور في 2019

On reliability of patch correctness assessment

بواسطة LE, Xuan-Bach D., BAO, Lingfeng, LO, David, XIA, Xin, LI, Shanping, PASAREANU, Corina S.
منشور في 2019

SAFFRON: Adaptive grammar-based fuzzing for worst-case analysis

بواسطة LE, Xuan Bach D., PASAREANU, Corina, PADHYE, Rohan, LO, David, VISSER, Willem, SEN, Koushik
منشور في 2019

S3: Syntax- and semantic-guided repair synthesis via programming by examples

بواسطة LE, Xuan-Bach D., CHU, Duc-Hiep, LO, David, LE GOUES, Claire, VISSER, Willem
منشور في 2017

JFIX: Semantics-based repair of Java programs via symbolic PathFinder

بواسطة LE, Xuan-Bach D., CHU, Duc-Hiep, LO, David, GOUES, Claire Le, VISSER, Willem
منشور في 2017

VulCurator: a vulnerability-fixing commit detector

بواسطة NGUYEN, Truong Giang, LE, Cong Thanh, KANG, Hong Jin, LE, Xuan-Bach D., LO, David
منشور في 2022

Smart contract development: Challenges and opportunities

بواسطة ZOU, Weiqin, LO, David, KOCHHAR, Pavneet Singh, LE, Xuan-Bach D., XIA, Xin, FENG, Yang, CHEN, Zhenyu, XU, Baowen
منشور في 2021

FFL: fine grained fault localization for student programs via syntactic and semantic reasoning

بواسطة NGUYEN, Thanh Dat, LE, Cong Thanh, LUONG, Duc-Minh, DUONG, Van-Hai, LE, Xuan Bach, LO, David, HUYNH, Quyet-Thang
منشور في 2022

CHRONOS: Time-aware zero-shot identification of libraries from vulnerability reports

بواسطة LYU, Yunbo, CONG, Thanh Le, KANG, Hong Jin, WIDYASARI, Ratnadira, ZHAO, Zhipeng, LE, Xuan-Bach Dinh, LI, Ming, David LO
منشور في 2023