.png){kind=logo}
BIOGRAPHY
Huo Yan Chen was born in A&C,
where people plant fine "Guanyin" tea.
At 1963, he left his beautiful village,
entered into Nankai (南開) University,
and began his research and study
in science and technology:
Huo Yan Chen graduated from Department of Mathematics of Nankai University, China in 1968. He received the master’s degree by research in Computer Science in 1982.
He had been a full professor of computer science at Jinan University for 19 years since 1991. He had served as the head of the Department of Computer Science and the associate-dean of the
He had worked in an IT company for 10 years totally, and was a system analyst & software designer & logic principal designer for 7 years on shipping navigation mini-computer systems. He was a visiting exchange research scholar on Computer Science in the University of Illinois at Urbana-Champaign in USA from 1986 to 1988. He had conducted research in software engineering and expert systems at The University of Hong Kong for 10 years. He visited the University of Melbourne in Australia for research collaboration on software testing. He had conducted academic exchanges on Computer Science at Washington D.C., Big Island of Hawaii, Nashville of Tennessee, Charlotte of North Carolina, USA; Hague of The Netherlands; Belfast of North Ireland, Hammamet of Tunisia; and Tokyo of Japan.
He was the president of the Guangzhou Intelligent Engineering Association from 2002 to 2006, and a vice-president of the Guangdong Computer Federation from 2004 to 2010.
He gained HuoYing Dong's Scholarship from Hong Kong in the period from 1986 to 1988. He has also been recognized and awarded corresponding certificate by the State Council of China for his outstanding contributions in higher education and science since Oct 1, 1992. He had received three main Science and Technology Awards in software engineering and knowledge engineering from the Chinese Ministry of Education and the Guangdong Province of China.
His research interests are in software engineering and knowledge engineering, including formal methods, object-oriented methodology, software testing, logic programming, expert systems, Petri Net modeling and analysis of operating system, and discrete mathematics.
Huo Yan Chen had developed mathematical model, algorithm design, programming, and logic design of hardware for 2 shipping navigation mini-computer systems (one for Short range, the other for Ultra long range), prototypes for three expert systems for medicine, one aided tool for software design, and four testing tools for software.
His development practices include creating mathematical model for special application, system analysis, algorithm design, software design, programming, logic design for hardware, and hosting project in different periods for different projects.
Huo Yan Chen had published 86 research papers totally in academic journals and academic conferences (43 papers in Chinese and 43 papers in English). His first and recent papers are as follows:
[1]. 陳火炎, 共焦雙曲數(shù)量場梯度公式的論證及在導(dǎo)航中的應(yīng)用，艦船電子設(shè)計(jì),，21期,，pp.6-9, 1978.10.
[86]. HuoYan CHEN (陳火炎) and T.H. Tse, Equality to Equals and Unequals: A Revisit of the Equivalence and Nonequivalence Criteria in Class-Level Testing of Object-Oriented Software, IEEE Transactions On Software Engineering, VOL. 39, NO. 11, pp.1549-1563, November 2013.
His representative research papers are:
1) “In Black and White: An Integrated Approach to Class Level Testing of Object-Oriented Programs” (46 pages), published in ACM Transactions on Software Engineering and Methodology (ACM TOSEM), Vol. 7 No. 3, pp.250-295, July 1998, and authored by HUO YAN CHEN, T.H. TSE, F.T. CHAN, and T.Y. CHEN. “
2) “TACCLE: A Methodology for Object-Oriented Software Testing At the Class and Cluster Levels” (54 pages), published in ACM Transactions on Software Engineering and Methodology, Vol. 10 No. 1, pp.56-109, Jan. 2001, and authored by HuoYan Chen, T.H. Tse, and T.Y. Chen. The abstract of the paper can be found in the following ACM website:
3) “Equality to Equals and Unequals: A Revisit of the Equivalence and Nonequivalence Criteria in Class-Level Testing of Object-Oriented Software” (15 pages), published in IEEE Transactions On Software Engineering, Vol. 39, No. 11, pp. 1549-1563, November 2013, and authored by HuoYan Chen, T.H. Tse; “IEEE Transactions on Software Engineering” is also recognized at the top level of international journals in the area of Software Engineering. Refer to:
The citation and impact of the above representative research papers are as follows.
“ACM Computing Reviews” Vol. 40 No. 7（1999）和Vol. 42 No. 9（2001）分別為上述論文1) 2) 發(fā)表專門的評論員推介性文章,。據(jù)T.H. Tse教授的不完全統(tǒng)計(jì),，2006年2月查得這兩篇大型論文已被國外刊物和國外博士論文正面引用128次,，而2007年12月查得這兩篇大型論文被他人正面引用214次(大部分是國外引用),。國際軟件測試著名專家,、Domain Testing 創(chuàng)始人之一、STVR期刊主編Lee J. White教授引用了論文1),。國際軟件測試著名專家,、等價(jià)對測試創(chuàng)始人之一、ACM TOSEM 編委P.G. Frankl教授和美國工程院院士E.J. Weyuker的合作論文也引用了論文1),。美國軟件產(chǎn)業(yè)界著名專家R.V. Binder的軟件測試專著也引用了上述論文1) 2),。美國馬里蘭大學(xué)、瑞典Uppsala大學(xué)等美歐大學(xué)有的同行教授曾把上述論文1) 與/或 2) 列入本方向碩/博士生閱讀文獻(xiàn)表,，有的還曾指定學(xué)生宣講,、討論，并曾把宣講的Power Point放在網(wǎng)上,。英國學(xué)者Hong Zhu 教授在IEEE QSIC 2003 (USA) 上對這兩篇論文所表述的成果的理論價(jià)值有很高的評價(jià),，他認(rèn)為這兩篇論文提出的“項(xiàng)等價(jià)性”和“對象等價(jià)性”分級的新思想、新準(zhǔn)則及其成果“使代數(shù)規(guī)格說明理論發(fā)生了從經(jīng)典初始語義學(xué)到行為語義學(xué)的實(shí)質(zhì)性變化”,。顧慶博士,、孫鐘秀院士等人在“計(jì)算機(jī)應(yīng)用與軟件”19卷3期9頁指出論文2) 提出的“基于數(shù)據(jù)間依賴（謂詞依賴和方法/函數(shù)依賴）的對象表示模型，代表了一個(gè)新的方向”。ACM Computing Surveys (計(jì)算機(jī)學(xué)科綜述評論型最高層期刊之一)Volume 41, Number 2, February 2009上,，RobertM. Hierons 等15位學(xué)者聯(lián)合發(fā)表的大型論文“Using formal specifications to support testing” (78頁長) 對上述論文1) 2) 也有多處正面引用,。本成果在國家自然科學(xué)基金委學(xué)科部結(jié)題評審會(huì)上被評為"特優(yōu)"(全國76項(xiàng)評出7項(xiàng)，見"軟件學(xué)報(bào)"2003年第一期p158),。
2014-12-22查得上述代表作1) 在ACM網(wǎng)上被 Downloads 13 次(in recent 6 Weeks),、65次(in recent 12 Months) 、2,473次(cumulative); 代表作2) 在ACM網(wǎng)上被 Downloads 17 次(in recent 6 Weeks),、58次(in recent 12 Months) ,、2,677次(cumulative).
The partial citations to the above representative papers 1) and/or 2) in recent years:
a) Francisco Rebellode Andrade, Jo?o Pascoal Faria, Ana C. R. Paiva cited 1) 2) in paper “Test Generation from Bounded Algebraic Specifications Using Alloy”, ICSOFT-2011.
b) Francisco Rebellode Andrade etc. cited 2) in paper “Specification-Driven Unit Test Generation for Java Generic Classes”, LNCS No. 7321, 2012.
c) Dongmei Liu, Hong Zhu and Ian Bayley cited 1) 2) in paper “From Algebraic Specification to Ontological Description of Service Semantics”, IEEE ICWS-2013.
d) Mark Harman, Phil McMinn, Muzammil Shahbaz and Shin Yoo cited 1) 2) in paper “A Comprehensive Survey of Trends in Oracles for Software Testing”, TR-KCL 2013.
e) C. Aruna, R.S.R. Prasad cited 1) 2) in paper “Testing Approach for Dynamic Web Applications Based on Automated Test Strategies”, AISC Vol. 249, 2014.
f) Dongmei Liu, Hong Zhu and Ian Bayley cited 1) 2) in paper “Transformation of Algebraic Specifications into Ontological Semantic Descriptions of Web Services”, IJSC,Vol.2 No.1, 2014.
2019-5-15查得上述代表作[40] 在ACM網(wǎng)上被 Downloads 5次(in recent 6 Weeks)、27次(in recent 12 Months) ,、2,593次(cumulative); 代表作[42] 在 ACM網(wǎng)上被 Downloads 2 次(in recent 6 Weeks),、26次(in recent 12 Months) 、2,807次(cumulative).
HuoYan Chen had taught and/or directed many students at different levels, including college diploma, undergraduate and postgraduate students. He had taught the courses of Discrete Mathematics, BASIC Programming, Programming Methodology, Management Information System, Software Engineering, Software Testing, Advanced Software Engineering, Logic Programming and Knowledge Processing System for different level students in different periods.
Scholat.com/huoyanchen
