Concepedia

Meng Wang

MW

21

Publications

495

Citations

14

H-Index

2006

Active since

Affiliations

University of Bristol(Current)

Chalmers University of Technology

Tohoku University

University of Oxford

National Institute of Informatics

Meng Wang is an author at University of Bristol specializing in formal methods, computer science, and engineering.

Top concepts

Computer ScienceEngineeringFormal MethodsProgram AnalysisSoftware AnalysisSoftware DesignAutomated ReasoningFormal VerificationSoftware EngineeringProgramming Languages

Publications per year

2006–2024

21

Publications

21

An Empirical Study of the Non-Determinism of ChatGPT in Code Generation

Shuyin Ouyang, Jie M. Zhang, Mark Harman et al. · ACM Transactions on Software Engineering and Methodology · 2024 · 115 citations · Full text

The visitor pattern as a reusable, generic, type-safe component

Bruno C. d. S. Oliveira, Meng Wang, Jeremy Gibbons · 2008 · 44 citations · Full text

Architectural Design, Engineering, Visitor Design Pattern +13

How functional programming mattered

Zhenjiang Hu, John Hughes, Meng Wang · National Science Review · 2015 · 37 citations · Full text

Functional Programming Matters, Engineering, Program Analysis +12

Combining syntactic and semantic bidirectionalization

Janis Voigtländer, Zhenjiang Hu, Kazutaka Matsuda et al. · 2010 · 34 citations · Full text

Syntactic Parsing, Engineering, Side Delivers +18

Exploring Better Black-Box Test Case Prioritization via Log Analysis

Zhichao Chen, Junjie Chen, Weijing Wang et al. · ACM Transactions on Software Engineering and Methodology · 2022 · 26 citations · Full text

Engineering, Verification, Software Engineering +20

Rows per page

1–5 of 21