Author of the publication

A Scheme to Aid Construction of Left-Hand Sides of Axioms in Algebraic Specifications forObject-Oriented Program Testing.

, , and . CSSE (2), page 747-750. IEEE Computer Society, (2008)978-0-7695-3336-0.

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

On the correctness of electronic documents: studying, finding, and localizing inconsistency bugs in PDF readers and files., , , , and . Empir. Softw. Eng., 23 (6): 3187-3220 (2018)Sequential Human Activity Recognition Based on Deep Convolutional Network and Extreme Learning Machine Using Wearable Sensors., , , , , and . J. Sensors, (2018)Energy-Efficient Collaborative Multi-Access Edge Computing via Deep Reinforcement Learning., , , and . IEEE Trans. Ind. Informatics, 19 (6): 7689-7699 (June 2023)ElemCor: accurate data analysis and enrichment calculation for high-resolution LC-MS stable isotope labeling experiments., , , , , , , and . BMC Bioinform., 20 (1): 89:1-89:9 (2019)Bit-split string-matching engines for intrusion detection and prevention., , and . ACM Trans. Archit. Code Optim., 3 (1): 3-34 (2006)Empirical analysis of dynamic correlations of stock returns: evidence from Chinese A-share and B-share markets, , and . Quantitative Finance, 7 (6): 651--667 (2007)ENCORE: Ensemble Learning using Convolution Neural Machine Translation for Automatic Program Repair., , , , and . CoRR, (2019)Nighttime Haze Removal Using Saliency-Oriented Ambient Light And Transmission Estimation., , and . ICIP, page 1764-1768. IEEE, (2021)Leveraging Code Comments to Improve Software Reliability. University of Illinois Urbana-Champaign, USA, (2009)A High Throughput String Matching Architecture for Intrusion Detection and Prevention., and . ISCA, page 112-122. IEEE Computer Society, (2005)