Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Specification-Driven Conformance Checking for Virtual/Silicon Devices Using Mutation Testing.

H. Gu, J. Zhang, M. Chen, T. Wei, L. Lei, and F. Xie. IEEE Trans. Computers, 70 (3): 400-413 (2021)

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.

Jianning Wang

Jianning Lu

Zhang Zhang

Meng Zhang

Methods and implementations of road-network matchingM. Zhang. TU München, (2009)

Shuying Zhang

Other publications of authors with the same name

Position prediction motion-compensated interpolation for frame rate up-conversion using temporal modeling.J. Zhang, L. Sun, S. Yang, and Y. Zhong. ICIP (1), page 53-56. IEEE, (2005)Reliability Aware Cost Optimization for Memory Constrained Cloud Workflows.E. Cao, S. Musa, J. Zhang, M. Chen, T. Wei, X. Fu, and M. Qiu. ICA3PP (2), volume 11945 of Lecture Notes in Computer Science, page 135-150. Springer, (2019)An Ensemble Learning-Based Cooperative Defensive Architecture Against Adversarial Attacks.T. Liu, Y. Song, M. Hu, J. Xia, J. Zhang, and M. Chen. J. Circuits Syst. Comput., 30 (2): 2150025:1-2150025:16 (2021)High-throughput discovery of chemical structure-polarity relationships combining automation and machine learning techniques.H. Xu, J. Lin, Q. Liu, Y. Chen, J. Zhang, Y. Yang, M. Young, Y. Xu, D. Zhang, and F. Mo. CoRR, (2022)Self-Paced Pseudo Label Refinement for Multi-view Subspace Clustering.X. Song, Z. Chen, J. Gao, J. Zhang, and P. Li. HPCC/DSS/SmartCity/DependSys, page 777-784. IEEE, (2022)Joint Inter and Intra Shot Modeling for Spectral Video Shot Clustering.J. Zhang, L. Sun, S. Yang, and Y. Zhong. ICME, page 1362-1365. IEEE Computer Society, (2005)Real-IAD: A Real-World Multi-View Dataset for Benchmarking Versatile Industrial Anomaly Detection.C. Wang, W. Zhu, B. Gao, Z. Gan, J. Zhang, Z. Gu, S. Qian, M. Chen, and L. Ma. CoRR, (2024)A Novel Video Coding Framework by Perceptual Representation and Macroblock-Based Matching Pursuit Algorithm.J. Zhang, L. Sun, and Y. Zhong. MMM (1), volume 4351 of Lecture Notes in Computer Science, page 322-331. Springer, (2007)Modeling of Memory Mechanisms in Cerebral Cortex and Simulation of Storage Performance.H. Wei, C. Feng, and J. Zhang. CoRR, (2024)Flexible video coding scheme for content-based video storage and retrieval.J. Zhang, L. Sun, S. Yang, and Y. Zhong. MMM, IEEE, (2006)

BibSonomy

Disambiguation of "Zhang, Jianning"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Specification-Driven Conformance Checking for Virtual/Silicon Devices Using Mutation Testing.

Please choose a person to relate this publication to

Jianning Wang

Jianning Lu

Zhang Zhang

Meng Zhang

Shuying Zhang

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "Zhang, Jianning"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML Specification-Driven Conformance Checking for Virtual/Silicon Devices Using Mutation Testing.

Please choose a person to relate this publication to

Jianning Wang

Jianning Lu

Zhang Zhang

Meng Zhang

Shuying Zhang

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Specification-Driven Conformance Checking for Virtual/Silicon Devices Using Mutation Testing.