QQ客服 官方微博 反馈留言

浏览/检索结果: 共7条，第1-7条 帮助 限定条件 发表日期：2015    专题：上海大学    第一署名单位    第一作者单位    通讯作者单位     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 The Influence of Alias and References Escape on Java Program Analysis 会议论文 12th International Conference on Software Engineering, Artificial Intelligence Research, Management and Applications (SERA), 2015-01-01 作者:  Chen, Shengbo[1];  Sun, Dashen[2];  Miao, Huaikou[3] 收藏  |  浏览/下载：3/0  |  提交时间：2019/04/26 Reference escape  Program analysis  Control flow  Data flow  Alias information   Survivability Prediction of Web System Based On Log Statistics 会议论文 16th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD), 2015-01-01 作者:  Zhou, Jiaan[1];  Miao, Huaikou[2];  Kai, Jinyu[3];  Zhao, Kun[4];  Gao, Honghao[5] 收藏  |  浏览/下载：4/0  |  提交时间：2019/04/26 Web service  prediction  Web log  survivability  quantitative model checking   An Implementation Framework for Optimizing Test Case Generation Using Model Checking 会议论文 STRUCTURED OBJECT-ORIENTED FORMAL LANGUAGE AND METHOD, 2015-01-01 作者:  Chang, Longhui[1];  Miao, Huaikou[2];  Lu, Gongzheng[3] 收藏  |  浏览/下载：3/0  |  提交时间：2019/04/26 Bound model checking  Satisfiability  Test case generation  Trap-properties reduction   Cross-browser compatibility testing based on model comparison 会议论文 2015 International Conference on Computer Application Technologies (CCATS 2015), 2015-01-01 作者:  Shi, Heng[1];  Zeng, Hongwei[2] 收藏  |  浏览/下载：1/0  |  提交时间：2019/04/26 Cross-Browser Compatibility  Dynamic Testing  Model comparison   A Visual Modeling and Transformation Tool for Multiple Representations of Probabilistic Behavior Model 会议论文 3rd International Conference on Applied Computing and Information Technology (ACIT 2015) 2nd International Conference on Computational Science and Intelligence (CSI 2015), 2015-01-01 作者:  Zhao, Kun[1];  Miao, Huaikou[2];  Kai, Jinyu[3];  Zhou, Jiaan[4];  Gao, Honghao[5] 收藏  |  浏览/下载：4/0  |  提交时间：2019/04/26 PRISM  Model Transformation  Probabilistic Behavior Model  Probabilistic Matrix  UML State Diagram   A Chain Algorithm for Conformance Testing based on UIO Sequences 会议论文 16th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD), 2015-01-01 作者:  Lin, Weiwei[1];  Zeng, Hongwei[2] 收藏  |  浏览/下载：2/0  |  提交时间：2019/04/26 Conformance testing  UIO sequence  chain algorithm  CUIO   Test Suite Reduction for Mutation Testing Based on Formal Concept Analysis 会议论文 16th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD), 2015-01-01 作者:  Li, Liping[1];  Gao, Honghao[2] 收藏  |  浏览/下载：3/0  |  提交时间：2019/04/26 mutation testing  test generation  test suite reduction  concept lattice