Xiaokang Qiu
Purdue University West Lafayette(US)Binzhou Technician College(CN)
Publications by Year
Research Areas
Logic, programming, and type systems, Formal Methods in Verification, Software Testing and Debugging Techniques, Software Engineering Research, Parallel Computing and Optimization Techniques
Most-Cited Works
- → Automatic test case generation for UML activity diagrams(2006)150 cited
- → Natural proofs for structure, data, and separation(2013)81 cited
- → UML Activity Diagram-Based Automatic Test Case Generation For Java Programs(2007)74 cited
- → Decidable logics combining heap structures and data(2011)70 cited
- → Natural proofs for data structure manipulation in C using separation logic(2014)59 cited
- → Efficient Common-Mode Noise Suppression for Fiber-Optic Interferometric Sensor Using Heterodyne Demodulation(2016)53 cited
- → Reconciling enumerative and deductive program synthesis(2020)43 cited