中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共4条，第1-4条

帮助

条数/页：排序方式：
	Ensuring the Correctness of Regular Expressions: A Review 期刊论文 OAI收割 International Journal of Automation and Computing, 2021, 卷号: 18, 期号: 4, 页码: 521-535 作者: Li-Xiao Zheng \| 收藏 \| 浏览/下载：24/0 \| 提交时间：2021/07/20 Regular expressions correctness string generation learning static checking verification visualization, repairing
	Automatic string test data generation for detecting domain errors 期刊论文 OAI收割 SOFTWARE TESTING VERIFICATION & RELIABILITY, 2010, 卷号: 20, 期号: 3, 页码: 209-236 作者: Zhao, Ruilian; Lyu, Michael R.; Min, Yinghua \| 收藏 \| 浏览/下载：20/0 \| 提交时间：2019/12/16 domain testing string predicate dynamic test data generation ON-OFF test point
	test data generation for c programs with string-handling functions 会议论文 OAI收割 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, Nanjing, PEOPLES R CHINA, JUN 17-19, Ruan Hui; Zhang Jian; Yan Jun \| 收藏 \| 浏览/下载：19/0 \| 提交时间：2011/06/13 C programs path analysis tool path oriented testing string-handling functions test data generation C language program testing
	Top hypercharge 期刊论文 OAI收割 JOURNAL OF HIGH ENERGY PHYSICS, 2007, 期号: 12, 页码: - 作者: Chiang, CW , Natl Cent Univ, Dept Phys, Chungli 320, Taiwan; Jiang, Jing; Li, Tianjun; Wang, Yong-Rui; Chiang, Cheng-Wei \| 收藏 \| 浏览/下载：18/0 \| 提交时间：2012/08/02 Dynamical Symmetry Breaking Generation Nonuniversality Extra Dimension Gauge-model Extended Technicolor Grand Unification Proton Stability Standard Model String Models Gut Breaking