曾红卫
【姓名】 曾红卫
【职称】 研究员;教授;
【研究领域】 计算机软件及计算机应用;互联网技术;计算机硬件技术;
【研究方向】 软件工程、形式化验证等
【发表文献关键词】 配置标识,软件配置,ISS,ITL,NSE,文档,层次结构,入侵预警系统,嗅探器,网络安全扫描,软件配置管理,配置项,自动检测系统,VRU,TUI,安全扫描器,UML协作图,测试场景,测试用例生成,覆...
【工作单位】 上海大学
【曾工作单位】 上海大学;
【所在地域】 上海
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/41 26 33 16 376 9381
中国期刊全文数据库    共找到37篇
[1]林玮玮;曾红卫;缪淮扣;王晓琳;.基于结构覆盖和状态识别的FSM一致性测试实验评估[J]应用科学学报.2023,(02)
[2]周晟伊;曾红卫;.进化算法与符号执行结合的程序复杂度分析方法[J]计算机科学.2021,(12)
[3]王晓琳;曾红卫;林玮玮;.敏捷开发环境中的回归测试优化技术[J]计算机学报.2019,(10)
[4]朱静;曾红卫;.GUI回归测试的测试脚本修复技术研究[J]计算机应用研究.2016,(01)
[5]高洪皓;缪淮扣;曾红卫;.基于CEGAR的Web应用验证[J]计算机学报.2014,(04)
[6]杨华北;曾红卫;.一种基于特征迁移系统的软件产品线测试方法[J]计算机应用研究.2014,(09)
[7]刘阳;缪淮扣;曾红卫;马艳;刘攀;.Nondeterministic Probabilistic Petri Net—A New Method to Study Qualitative and Quantitative Behaviors of System[J]Journal of Computer Science & Technology.2013,(01)
[8]刘志强;曾红卫;.基于专家可信度和灰色关联度方法的科技期刊评价系统[J]南京师大学报(自然科学版).2013,(01)
[9]曾红卫;缪淮扣;.优化基于模型检验的测试生成[J]计算机辅助设计与图形学学报.2011,(03)
[10]贺斌;曾红卫;冯振华;.WEB应用测试执行引擎的设计与实现[J]计算机技术与发展.2011,(06)
更多
中国博士学位论文全文数据库    共找到1篇
[1]曾红卫.Web应用的验证与测试方法研究[D].上海大学.2008
更多
中国重要会议全文数据库    共找到2篇
[1]曾红卫;缪淮扣;.优化基于模型检验的测试生成[A].第六届中国测试学术会议论文集.2010-07-24
[2]曾红卫;李奇;缪淮扣;.GBPEL:一种合成网格服务和Web服务的工作流语言[A].2005年全国开放式分布与并行计算学术会议论文集.2005-06-30
更多