Concepedia

Xiaokang Qiu

XQ

19

Publications

878

Citations

18

H-Index

2006

Active since

Affiliations

University of Illinois Urbana-Champaign(Current)

Massachusetts Institute of Technology

Purdue University West Lafayette

Nanjing University

Centre National de la Recherche Scientifique

Xiaokang Qiu is an author at University of Illinois Urbana-Champaign specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisFormal VerificationSoftware AnalysisAutomated ReasoningVerificationSoftware DesignSoftware Engineering

Publications per year

2006–2020

19

Publications

19

Automatic test case generation for UML activity diagrams

Ming-Song Chen, Xiaokang Qiu, Xuandong Li · 2006 · 150 citations

Software Maintenance, Uml Activity Diagrams, Engineering +20

Natural proofs for structure, data, and separation

Xiaokang Qiu, Pranav Garg, Andrei Ștefănescu et al. · 2013 · 81 citations

Reasoning, Engineering, Automated Reasoning +14

UML Activity Diagram-Based Automatic Test Case Generation For Java Programs

Mingwei Chen, Xiaokang Qiu, Wenbo Xu et al. · The Computer Journal · 2007 · 74 citations

Software Maintenance, Engineering, Software Engineering +21

Decidable logics combining heap structures and data

P. Madhusudan, Gennaro Parlato, Xiaokang Qiu · ACM SIGPLAN Notices · 2011 · 70 citations

Applied Logic, Engineering, Decidable Logics +18

Natural proofs for data structure manipulation in C using separation logic

Edgar Pek, Xiaokang Qiu, P. Madhusudan · 2014 · 59 citations

Engineering, Verification, Automated Proof +17

Rows per page

1–5 of 19