Author of the publication

Verifying Synchronization for Atomicity Violation Fixing.

, , , and . IEEE Trans. Software Eng., 42 (3): 285-301 (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Measuring the Diversity of a Test Set With Distance Entropy., , , , and . IEEE Trans. Reliab., 65 (1): 19-27 (2016)PEM: Representing Binary Program Semantics for Similarity Analysis via a Probabilistic Execution Model., , , , , , , , , and . ESEC/SIGSOFT FSE, page 401-412. ACM, (2023)DeepGini: prioritizing massive tests to enhance the robustness of deep neural networks., , , , , and . ISSTA, page 177-188. ACM, (2020)BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning., , , , , and . SP, page 36-50. IEEE, (2022)Indexing the extended Dyck-CFL reachability for context-sensitive program analysis., , , and . Proc. ACM Program. Lang., 6 (OOPSLA2): 1438-1468 (2022)Pipelining bottom-up data flow analysis., and . ICSE, page 835-847. ACM, (2020)Skeletal approximation enumeration for SMT solver testing., , , , , and . ESEC/SIGSOFT FSE, page 1141-1153. ACM, (2021)Peahen: fast and precise static deadlock detection via context reduction., , , and . ESEC/SIGSOFT FSE, page 784-796. ACM, (2022)Pangolin: Incremental Hybrid Fuzzing with Polyhedral Path Abstraction., , , , and . SP, page 1613-1627. IEEE, (2020)Efficient Path-Sensitive Data-Dependence Analysis., , , , , and . CoRR, (2021)