年12月辑录
构件软件的回归测试复杂性度量(软件学报)
陶传奇李必信JerryGao
基于程序不变量计算软件可靠性(软件学报)
周远丁佐华
浮点数学函数异常处理方法(软件学报)
许瑾晨郭绍忠黄永忠王磊周蓓
数组维度类型程序设计方法及高性能FFT实现(软件学报)
崔翔李晓雯陈一峯
PhysiolCompToolkit:一个生理计算交互工具箱的分析与设计(计算机学报)
陈毅能路璐胡伟平田丰戴国忠王宏安
一种基于邮件列表的软件问答信息抽取方法(计算机科学)
罗宇翔邹艳珍金庸谢冰
一种面向浏览式购物行为模式的LBS购书移动应用(计算机科学)
何远舵陈之昀王亚沙
基于3D动画的软件演化信息可视化(计算机科学)
于涵王海彭鑫赵文耘
开源软件开发者的演化研究(计算机科学)
李其锋李兵
面向普适计算环境的Android平台服务编排框架(计算机科学)
顾敬潇彭鑫赵文耘
基于RUCM的软件安全性需求描述方法(计算机科学)
吴雪刘超吴际
一种结合线性时序逻辑和故障树的软件安全验证方法(计算机科学)
王飞沈国华黄志球马琳刘畅李海峰廖莉莉
基于MARTE模型的系统可靠性预测(计算机科学)
柴叶生朱雪阳晏荣杰张广泉
基于IMA平台的嵌入式软件设计模型仿真及实时性分析方法(计算机科学)
孙磊杨海燕吴际
面向自动修复并融合失效场景的缺陷定位方法(计算机科学)
李昂毛晓光雷晏
函数抽取重构的自动检测方法(计算机科学)
刘阳刘秋荣刘辉
基于多目标协同进化的测试用例优先排序(计算机科学)
石宇楠李征龚沛
问题框架中问题领域因果行为的形式化验证(计算机科学)
朱利鲁李智
国内第三方Android应用市场安全性的检测(计算机科学)
闫晋佩何晖安文欢张小辉任建宝齐勇
数据感知过程之间差异的检测和解决(计算机科学)
张学伟邢建春杨启亮宋巍王洪达
面向组合式软件功能正确性和非功能满足性的统一建模方法(计算机科学)
肖芳雄许波夏国恩李国祥闵华清
一种基于源代码分析的程序变化影响路径集的生成方法(计算机科学)
郭丹丹姜瑛
基于人机交互的计算机辅助软件需求分析工具的研发(计算机科学)
何正海李智
一种基于描述语言的软件可信发布方法研究(计算机科学)
李剑飞徐开勇金雷
ROS中XML-RPC协议实现的形式化验证(小型微型计算机系统)
贾娟娟施智平关永李勇坚魏洪兴
BDI-Agent应用系统的集成开发环境的实现(小型微型计算机系统)
和敬刚张大鹏王帅王新生史忠植
针对方法声明演化的单元测试用例修复方法(计算机科学与探索)
张琼宇杨秋辉张光渝程雪梅孙琳
简化的功能点度量方法的比较和分析(计算机科学与探索)
刘庚
年11月辑录
基于接口自动机与符号执行的嵌入式软件测试用例生成(计算机学报)
王博白晓颖张超贺飞SONGXiao-Yu
基于动态切片和关联分析的错误定位方法(计算机学报)
曹鹤玲姜淑娟鞠小林王兴亚
基于k近邻最弱前置条件的程序多路径验证方法(计算机学报)
郭曦王盼王建勇张焕国
并发缺陷暴露、检测与规避研究综述(计算机学报)
苏小红禹振王甜甜马培军
基于路径相关性的回归测试数据进化生成(计算机学报)
吴川巩敦卫
软件错误自动定位关键科学问题及研究进展(计算机学报)
王克朝王甜甜苏小红马培军
一致闭的禁忌交互集生成算法(计算机学报)
周吴杰张德平徐宝文
基于懒符号执行的软件脆弱性路径求解算法(计算机学报)
秦晓军周林陈左宁甘水滔
基于变异分析和集合进化的测试用例生成方法(计算机学报)
张功杰巩敦卫姚香娟
基于异构多核平台的同步数据流图帕累托优化与调度(计算机科学)
顾玉磊朱雪阳晏荣杰张广泉
基于树型结构的MapReduce并行模型(计算机科学)
唐兵贺海武
面向Java锁机制的字节码自动重构框架(计算机科学)
张杨张冬雯仇晶
互联网环境中基于环境激发效应的协同式概念建模(计算机科学)
蒋逸张伟赵海燕金芝
基于模型检测的面向服务软件异常处理可终止性的验证方法(小型微型计算机系统)
蒋曹清肖芳雄应时文静
基于DSG模型的测试用例自动生成方法(小型微型计算机系统)
李立刚侯胜坤戴永寿李隆浩王亚龙
基于“软总线”的ICT融合通信服务器体系结构研究(小型微型计算机系统)
林浒史须勇杨海波孙华军
一种基于代码并行化和虚拟机多样化的软件保护方法(小型微型计算机系统)
谢鑫刘粉林芦斌向飞
年10月辑录
多目标优化的测试用例优先级在线调整策略(软件学报)
张娜姚澜包晓安董萌桂宁
故障检测率不规则变化的软件可靠性模型(软件学报)
王金勇吴智博舒燕君张展
基于统计占优分析的变异测试(软件学报)
张功杰巩敦卫姚香娟
基于关键迹和ASP的CSP模型检测(软件学报)
赵岭忠翟仲毅钱俊彦郭云川
可信软件非功能需求形式化表示与可满足分析(软件学报)
张璇李彤王旭于倩郁湧朱锐
面向故障定位的基于MC/DC的测试用例约简方法(计算机科学)
王瑞田宇立周东红李宁李战怀
基于泛函网络的软件可靠性多模型综合预测方法(计算机科学)
王二威吴祈宗
基于规则的软件体系结构层性能优化模型(计算机科学)
杜欣汪春燕倪友聪叶鹏肖如良
基于CURE聚类算法的静态R树构建方法(计算机科学)
李松崔环宇张丽平经海东
基于Petri网的CSP并发系统验证技术研究(计算机科学)
刘彦青赵岭忠钱俊彦
基于PMD的外包数据流范围查询验证方案(计算机科学与探索)
谢晴晴王良民
测试数据生成中遗传算法的改进(计算机辅助设计与图形学学报)
冯俊池于磊
基于UIO序列的类重要性度量(电子学报)
姜淑娟鞠小林王兴亚李海洋张艳梅刘颖祺
年9月辑录
中断驱动系统模型检验?(软件学报)
周筱羽顾斌赵建华杨孟飞李宣东
一种基于差异分散化的错误定位方法(计算机学报)
钱巨张磊徐宝文
开放环境下自适应软件系统的运行机制与构造技术(计算机学报)
毛新军董孟高齐治昌尹俊文
一种针对模型转换的图形化建模语言(计算机研究与发展)
何啸麻志毅邵维忠胡长军
基于历史信息的自适应测试用例优先级技术(计算机科学)
常龙辉缪淮扣肖蕾
面向软件仓库挖掘的数据驱动特征提取方法(计算机科学)
李晓晨江贺任志磊
开源软件社区开发者合作网络的演化分析(小型微型计算机系统)
刘晓李兵何鹏
基于分层程序频谱的软件故障定位方法研究(小型微型计算机系统)
叶俊民何印标陈曙董威舒绍娴
基于NRefactory的冗余检测与缺陷研究(小型微型计算机系统)
寿能赵逢禹
一种基于遗传算法的测试用例优先排序方法(小型微型计算机系统)
张卫祥魏波杜会森
一种改进PSO的软件测试数据自动生成算法(小型微型计算机系统)
董跃华戴玉倩
一种状态呈现机制中企业通信录的设计与实现方法(小型微型计算机系统)
林浒刘丹凤杨海波
一种白盒环境中抗动态攻击的软件保护方法(小型微型计算机系统)
许广莲房鼎益王怀军李光辉何路
基于故障扩展SysML活动图的软件安全性分析方法研究(小型微型计算机系统)
曹德建黄志球阚双龙黄传林
一种基于并行BloomFilter的高速URL查找算法(电子学报)
周舟付文亮嵩天刘庆云
年8月辑录
面向随机模型检验的模型抽象技术(软件学报)
刘阳李宣东马艳
基于事件处理函数的GUI测试用例集约简技术(软件学报)
陈军成薛云志陶秋铭赵琛
一种高效的基于服务功能规约的服务选择方法(软件学报)
白琳叶丹魏峻黄涛
测试含有标志变量程序的占优语句(集)选择(软件学报)
巩敦卫钟超群姚香娟
面向方面业务流程建模中的方面追踪(计算机科学)
倪珊珊张璇李彤张瑞云
跨机构的软件缺陷集成采样预测研究(小型微型计算机系统)
戴翔毛宇光
一种跨站脚本的检测方法(小型微型计算机系统)
余学永江国华
中断驱动的嵌入式系统数据竞争检测工具(计算机科学与探索)
陈园军石浚菁王林章李宣东
基于子路径扩展的不可达路径检测方法(电子学报)
王红阳姜淑娟王兴亚鞠小林张艳梅
时态数据索引TDindex研究与应用(中国科学F辑)
叶小平汤庸林衍崇陈钊滢张智博陈瑞鑫
年7月辑录
软件模型检测中的抽象模型研究综述(计算机研究与发展)
魏欧石玉峰徐丙凤黄志球陈哲
分布式软件系统交互行为建模、验证与测试(计算机研究与发展)
张琛段振华田聪鱼滨
基于接口精化的广义无干扰性研究(计算机研究与发展)
孙聪习宁高胜张涛李金库马建峰
BDL模型到UML状态图的可视化方法研究(计算机科学)
马丽毋国庆黄勃程铭崔梦天
业务过程的自动配置与管理(计算机科学)
吴亚洲杨启帆蒋建民张仕
基于时间属性序列图的监控器构造方法(小型微型计算机系统)
叶俊民辜剑陈曙董威舒绍娴
一种多核平台下的用户级实时多任务库(小型微型计算机系统)
吴志强黄章进顾乃杰张旭
基于大规模事件图的信息扩散检测方法(小型微型计算机系统)
王龙李晓光宋宝燕
层次化服务流程向可执行BPEL转换的方法(计算机科学与探索)
王朔王忠杰于梦徐晓飞
基于上下文无关文法的可逆变换模型(计算机科学与探索)
吴阳怿吴逸鸣熊英飞
基于日志的Web系统互操作测试用例扩充方法(计算机科学与探索)
王飞刘超
基于对象引用关系的Java程序内存行为分析方法(电子学报)
李文杰姜淑娟钱俊彦王兴亚鞠小林
形式概念分析在软件维护中的应用综述(电子学报)
孙小兵李云李必信文万志
年6月辑录
软件配置错误诊断与修复技术研究(软件学报)
陈伟黄翔乔晓强魏峻钟华
一个浮点数学函数库测试平台(软件学报)
许瑾晨黄永忠郭绍忠周蓓赵捷
一种具有时间多样性的虚拟机软件保护方法(软件学报)
房鼎益赵媛王怀军顾元祥许广莲
Hybrid-Fixing:上下文一致性错误的正确修复(计算机研究与发展)
陈小康许畅江磊
动态自适应软件体系结构重配置研究(计算机科学)
陈向东
一种无锁并发跳表算法的可线性化证明(小型微型计算机系统)
曹红星冯新宇
RecEye:一种针对安卓窃听程序的检测方法(小型微型计算机系统)
宋卫卫杨哲慜杨珉
结合Petri网和Pi演算的协同业务过程建模(计算机科学与探索)
代飞莫启林雷蕾朱锐李彤谢仲文
年5月辑录
一种基于混沌不透明谓词的压扁控制流算法(计算机科学)
吴伟民林水明林志毅
一种支持跨幅访存的向量化代码生成方法(计算机科学)
李朋远赵荣彩高伟张庆花
基于流量相似度的Android二次打包应用的检测技术研究(小型微型计算机系统)
吴雪平张大方苏欣毕夏安
基于量子搜索的软件工程(中国科学F辑)
吴楠宋方敏LIXiangDong
年4月辑录
自适应软件系统:开发方法和运行支撑专题前言(软件学报)
吕建王千祥马晓星毛新军
基于反馈控制的软件适应性需求的识别与分析(软件学报)
刘春张伟赵海燕金芝
一种软件自适应UML建模及其形式化验证方法(软件学报)
韩德帅杨启亮邢建春
一种开放环境下软件在线演化一致性验证方法(软件学报)
周宇黄延凯黄志球吴维刚
一种基于智能体技术的软件自适应动态演化机制(软件学报)
李青山王璐褚华张曼
流程片段自适应重用策略研究(软件学报)
杨荣李兵
基于在线故障定位及自主适应提高软件可靠性(软件学报)
杨晓燕周远丁佐华
UML模型和Java代码之间的一致性检测方法(计算机科学)
曾一李函逾刘慧君余双双周波
年3月辑录
基于过程结构树的过程模型变体匹配技术(软件学报)
凌济民张莉
基于社会关系的工作流任务分派策略研究(软件学报)
余阳王颍刘醒梅陈健
面向实例方面处理的工作流动态调度优化方法(软件学报)
文一凭刘建勋陈志刚
地理空间约束的业务流程建模方法(软件学报)
朱鑫伟朱国宾SeppeVANDENBROUCKE
一种基于句法分析的跟踪关系恢复方法(计算机研究与发展)
王金水翁伟彭鑫
花园幽径现象理解折返性的数据结构分析(中文信息学报)
杜家利于屏方
RPL:一种基于反应式Agent的机器人编程语言(计算机科学)
田昌海杨硕陈寅毛新军
基于多层次属性加权的代码混淆有效性量化评估(计算机科学)
谢鑫刘粉林芦斌巩道福
基于扩展SysML活动图的嵌入式系统设计安全性验证方法研究(小型微型计算机系统)
黄传林黄志球胡军徐丙凤曲长亮
工控网络协议Fuzzing测试技术研究综述(小型微型计算机系统)
熊琦彭勇伊胜伟戴忠华王婷
移动即时通讯软件的缓存替换策略(计算机科学与探索)
王文博王菁邢起源韩燕波
数值模拟领域并行编程模型的要素与实例研究(中国科学F辑)
莫则尧张爱清刘青凯曹小林
年2月辑录
安全攸关软件系统建模与验证专题前言(软件学报)
李宣东刘超毛晓光
基于时间抽象状态机的AADL模型验证(软件学报)
杨志斌胡凯赵永望马殿富Jean-PaulBODEVEIX
基于时间STM的软件形式化建模与验证方法(软件学报)
侯刚周宽久常军旺王洁李明楚
设备驱动程序可靠性和正确性保障方法与技术研究进展(软件学报)
张一帆黄超欧建生汤恩义陈鑫
基于数据链的软件故障定位方法(软件学报)
杨波吴际刘超
一种基于特征矩阵的软件脆弱性代码克隆检测方法(软件学报)
甘水滔秦晓军陈左宁王林章
信息物理融合系统控制软件的统计模型检验(软件学报)
单黎君周兴社王宇英赵雷万丽景乔磊陈建新
基于程序频谱的动态缺陷定位方法研究(软件学报)
陈翔鞠小林文万志顾庆
一种状态事件故障树的时间特性分析方法(软件学报)
徐丙凤黄志球胡军魏欧李伟湋
花园幽径现象理解折返性的数据结构分析(中文信息学报)
杜家利于屏方
基于UML的面向C4ISR能力需求分析的对象建模语言(计算机科学)
王聪王智学徐友云
开源软件社区开发者偏好合作行为研究(计算机科学)
何鹏李兵杨习辉熊伟
基于双格的软件产品线模型检测(计算机科学)
石玉峰魏欧周宇
基于关联度和特征约束的软件设计模式识别方法(计算机科学)
古辉张炜星金鹏顾杰杰
软件产品线领域模型与应用模型的通用同步演化方法(小型微型计算机系统)
丁宝宝沈立炜彭鑫赵文耘
年1月辑录
相关路径静态分析中协同式逆向推理方法(软件学报)
郭曦王盼
基于缺陷关联度的Markov模型软件优化测试策略(软件学报)
包晓安谢晓鸣张娜曹建文桂宁
一种用于多线程程序性能分析的重放系统(计算机研究与发展)
郑龙廖小飞吴松金海
基于Julia语言的并行计算方法初探(计算机科学)
巩庆奎张常有张先轶张云泉
基于群体智慧的软件开发间层模型及其架构实现(计算机科学)
何炎祥杨建康鲍海洲冉亚洛郭波波杨建喜
一种策略驱动的BPEL流程异常处理框架(计算机科学)
王权于吕国斌应时周峰
基于场景的联锁软件形式化模型生成方法(计算机科学)
董昱高雪娟
基于本体的构件化软件演化信息获取及度量研究(计算机科学)
钟林辉宗洪雁
一种泛在业务环境下能力汇聚与开放系统架构(小型微型计算机系统)
周有松黄刘生杨晨凯徐宏力
面向飞行器设计软件界面原型系统生成的研究(小型微型计算机系统)
白海洋李静周培云庄毅
赞赏
人赞赏
北京白癜风治疗用什么药北京比较好的治疗白癜风医院