An Approach of Conformance Verification between Design Models and Code Based on Abstract Syntax Tree
Get full text
Journal Article
Conference Proceeding
A New Delay Test Based on Delay Defect Detection Within Slack Intervals (DDSI)
Haihua Yan, Singh, A.D.
Published in IEEE transactions on very large scale integration (VLSI) systems (01.11.2006)
Published in IEEE transactions on very large scale integration (VLSI) systems (01.11.2006)
Get full text
Journal Article
An improved supervised learning defect prediction model based on cat swarm algorithm
Wang, Xuchen, Yan, Haihua, Li, Jiayi
Published in Journal of physics. Conference series (01.09.2018)
Published in Journal of physics. Conference series (01.09.2018)
Get full text
Journal Article
Enhanced-condition-MC/DC: A method for improving MC/DC testing adequacy
Haihua Yan, Xiaowei Zhang, Zhen Zhang
Published in 2016 11th International Conference on Reliability, Maintainability and Safety (ICRMS) (01.10.2016)
Published in 2016 11th International Conference on Reliability, Maintainability and Safety (ICRMS) (01.10.2016)
Get full text
Conference Proceeding
Analysis of the influencing factors of abdominal Henoch-Schonlein purpura in children with gastrointestinal bleeding and the clinical value of PLR
Yang, Xiaoqing, Lu, Rong, Liu, Qing, Zhang, Jiangli, Yan, Haihua, Lu, Hairong
Published in American journal of translational research (01.01.2024)
Published in American journal of translational research (01.01.2024)
Get full text
Journal Article
The research of testing process and data tracing based on hybrid model
Xiaochen Liu, Haihua Yan, Yang Sun
Published in 2015 4th International Conference on Computer Science and Network Technology (ICCSNT) (01.12.2015)
Published in 2015 4th International Conference on Computer Science and Network Technology (ICCSNT) (01.12.2015)
Get full text
Conference Proceeding
Requirement Modeling and Analysis Based on MDA
Hong Jin, Haihua Yan
Published in 2012 International Conference on Control Engineering and Communication Technology (01.12.2012)
Published in 2012 International Conference on Control Engineering and Communication Technology (01.12.2012)
Get full text
Conference Proceeding
Event-Driven Fault Tolerance for Building Nonstop Active Message Programs
Chao Li, Changhai Zhao, Haihua Yan, Jianlei Zhang
Published in 2013 IEEE 10th International Conference on High Performance Computing and Communications & 2013 IEEE International Conference on Embedded and Ubiquitous Computing (01.11.2013)
Published in 2013 IEEE 10th International Conference on High Performance Computing and Communications & 2013 IEEE International Conference on Embedded and Ubiquitous Computing (01.11.2013)
Get full text
Conference Proceeding
A Formal Definition of Software Testing Based on Fuzzy Measure
Zhitao He, Haihua Yan, Chao Liu, Huacan He
Published in 2013 Fourth World Congress on Software Engineering (01.12.2013)
Published in 2013 Fourth World Congress on Software Engineering (01.12.2013)
Get full text
Conference Proceeding
Improvement on ABDOM-Qd and Its Application in Open-Source Community Software Defect Discovery Process
Zhitao He, Haihua Yan, Chao Liu
Published in 2013 Fourth World Congress on Software Engineering (01.12.2013)
Published in 2013 Fourth World Congress on Software Engineering (01.12.2013)
Get full text
Conference Proceeding