Skip to content

Huiyan Wang

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

11

Venues

8

Active years

2006–2022

Best venue rank

A*

Where they publish

Papers

11 indexed papers, newest first.

YearVenueTitleAuthors
2022ISSREMinimizing Link Generation in Constraint Checking for Context Inconsistency Detection.Chuyang Chen, Huiyan Wang, Lingyu Zhang, Chang Xu, Ping Yu
2020ICSEDissector: input validation for deep learning applications by crossing-layer dissection.Huiyan Wang, Jingwei Xu, Chang Xu, Xiaoxing Ma, Jian Lu
2019APSECVISION: Evaluating Scenario Suitableness for DNN Models by Mirror Synthesis.Ziqi Chen, Huiyan Wang, Chang Xu, Xiaoxing Ma, Chun Cao
2019QRSWARDER: Refining Cell Clustering for Effective Spreadsheet Defect Detection via Validity Properties.Da Li, Huiyan Wang, Chang Xu, Fengmin Shi, Xiaoxing Ma, Jian Lu
2018QRSSynEva: Evaluating ML Programs by Mirror Program Synthesis.Yi Qin, Huiyan Wang, Chang Xu, Xiaoxing Ma, Jian Lu
2016QRSHow Effective Is Branch-Based Combinatorial Testing? An Exploratory Study.Huiyan Wang, Chang Xu, Jun Sui, Jian Lu
2010ICNCBP artificial neural network based on improved methods of surface soil in Jilin City Environmental Quality Evaluation.Wentao Cai, Huiyan Wang, Xinhua Bao
2007EuroPLopSelecting an appropriate scheduler for use with time-triggered embedded systems.Michael J. Pont, Susan Kurian, Huiyan Wang
2007EuroPLopPatterns which help to avoid conflicts over shared resources in time-triggered embedded systems which employ a pre-emptive scheduler.Huiyan Wang, Michael J. Pont, Susan Kurian
2006ICONIPA Quantitative Diagnostic Method Based on Bayesian Networks in Traditional Chinese Medicine.Huiyan Wang, Jie Wang
2006ISDAA New Computerized Method For Tongue Classification.Huiyan Wang, Xiaojie Zong