维普期刊资源整合服务平台（V6.5）

23篇 您的检索式：期刊名="TSE"

选中清除导出查看参考文献查看引证文献引用追踪共2页首页上一页第1页下一页末页 /2 跳转

	题名	作者	年代	出处	被引量
1	Model Checking Semantical- ly Annotated Services 显示文摘	Pietro I D Pagliarecci F Spalazzl L	2012	IEEE Transactions on Software En- gineering(TSE)2012，38，3：	1
2	Genprog: A generic method for automatic software repair显示文摘	Le Goues C Nguyen T Forrest S	2012	IEEE Transactions on Software Engineering(TSE)2012，38，1：	1
3	RASL: ro- bust alignment by sparse and low-rank decomposition for linearly correlated images 显示文摘	PENG Y GANESH A WRIGHT J	2012	IEEE TSE2012，34，11：	1
4	Making use of scenarios for validating analysis and design 显示文摘	DZIDA W FREITAG R	1998	TSE1998，24，12：	1
5	Detection of data flow anomaly through program instrumentation 显示文摘	Huang J C	1979	TSE1979，5，3：	1
6	Treatment of pulmonary atresia with intact ventricular septum in early infancy 显示文摘	Hsieh WH Hwang B Lu JH	1999	Chung Hua I Hsueh Tse Chin Taipei1999，62，：	1
7	A pilot study on trihalome thane formation in water treatec by chlorine dioxide显示文摘	Li J Yu Z Cao N	1996	Chung Hua Fang I Hsueh Tse Chih1996，30，1：	1
8	The interrogator: proto- col security analysis 显示文摘	MtLLEN J K CLARK S C FREEDAM S B	1987	TSE1987，13，2：	1
9	Dynamically discovering likely program invariants to support program evolution显示文摘	ERNST M D COCKRELL J GRISWOLD W G	2001	IEEE TSE2001，27，2：	1
10	Detection of data flow anomaly through program instrumentation显示文摘	Huang J C	1979	TSE1979，5，3：	1
11	Detection of Data Flow Anomaly Through Program Instrumentation显示文摘	Huang J C	1979	TSE1979，5，3：	1
12	A system to generate test data symbolically and executeprograms显示文摘		1976	IEEE TSE1976，2，3：	1
13	Detection of data flow anomaly through program instrumentation显示文摘	Huang J C	1979	TSE1979，5，3：	1
14	Detection of Data Flow Anomaly Through Program Instrumentation显示文摘	J C Huang	1979	TSE1979，5，3：	1
15	A system to generate test data symbolically and execute programs显示文摘	L A Clarke	1976	IEEE TSE1976，2，3：	1
16	The Interrogator:Protocol security analysis显示文摘	JONATHAN K Millen SIDNEY C Clark SHERYL B Freedman	1987	TSE1987，13，2：	1
17	ClassifyingSoftwareChanges:CleanorBuggy显示文摘	KIMS JAMESE WHITEHEADJ etal	2008	IEEETransactionsonSoftwareEngineering(TSE)2008，34，2：	1
18	Invariant based automatic testing of modern Web applications显示文摘	Mesbah A van Deursen A Roest D	2012	IEEE Transactions on Software Engineering (TSE)2012，38，1：	1
19	Making Use of Scenarios for Validating Analysis and Design显示文摘	Wolfgang Dzida Regine Freitag	1998	TSE1998，24，12：	1
20	The Interrogator:Protocol Security Analysis显示文摘	Jonathan K Millen Sidney C Clark Sheryl B Freedam	1987	TSE1987，13，2：	1

返回顶部每页显示：

共2页首页上一页第1页下一页末页 /2 跳转

互联网出版许可证新出网证(渝)字10号全国400电话 - 免长途话费

用户提示