Journal of Computer Science and Technology ›› 2020, Vol. 35 ›› Issue (6): 1231-1233.doi: 10.1007/s11390-020-0006-4

Special Issue: Software Systems

    Next Articles

Preface

Tao Xie, Zhi Jin, Xuan-Dong Li, Gang Huang, Hausi A. Muller, Jun Pang, Li-Jun Zhang   

  • Online:2020-11-20 Published:2020-12-01
  • About author:Tao Xie is a chair professor in the Department of Computer Science and Technology at Peking University, Beijing. He received his Ph.D. degree in computer science from the University of Washington at Seattle in 2005. He received his M.S. degree in computer science from Peking University, Beijing, in 2000, and his B.S. degree in computer science from Fudan University, Shanghai, in 1997. His research interests are in software engineering, with focus on software testing, software analytics, software security, and intelligent software engineering. He is an AAAS Fellow, ACM Distinguished Scientist, IEEE Fellow, and a distinguished member of CCF.
No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
[1] Liu Mingye; Hong Enyu;. Some Covering Problems and Their Solutions in Automatic Logic Synthesis Systems[J]. , 1986, 1(2): 83 -92 .
[2] Chen Shihua;. On the Structure of (Weak) Inverses of an (Weakly) Invertible Finite Automaton[J]. , 1986, 1(3): 92 -100 .
[3] Gao Qingshi; Zhang Xiang; Yang Shufan; Chen Shuqing;. Vector Computer 757[J]. , 1986, 1(3): 1 -14 .
[4] Chen Zhaoxiong; Gao Qingshi;. A Substitution Based Model for the Implementation of PROLOG——The Design and Implementation of LPROLOG[J]. , 1986, 1(4): 17 -26 .
[5] Huang Heyan;. A Parallel Implementation Model of HPARLOG[J]. , 1986, 1(4): 27 -38 .
[6] Min Yinghua; Han Zhide;. A Built-in Test Pattern Generator[J]. , 1986, 1(4): 62 -74 .
[7] Tang Tonggao; Zhao Zhaokeng;. Stack Method in Program Semantics[J]. , 1987, 2(1): 51 -63 .
[8] Min Yinghua;. Easy Test Generation PLAs[J]. , 1987, 2(1): 72 -80 .
[9] Zhu Hong;. Some Mathematical Properties of the Functional Programming Language FP[J]. , 1987, 2(3): 202 -216 .
[10] Li Minghui;. CAD System of Microprogrammed Digital Systems[J]. , 1987, 2(3): 226 -235 .

ISSN 1000-9000(Print)

         1860-4749(Online)
CN 11-2296/TP

Home
Editorial Board
Author Guidelines
Subscription
Journal of Computer Science and Technology
Institute of Computing Technology, Chinese Academy of Sciences
P.O. Box 2704, Beijing 100190 P.R. China
Tel.:86-10-62610746
E-mail: jcst@ict.ac.cn
 
  Copyright ©2015 JCST, All Rights Reserved