发布求助
文献互助 智能选刊 最新文献

International Symposium on Software Engineering: Theories, Tools, and Applications最新文献

筛选
英文 中文
Mutation Testing of Reinforcement Learning Systems 强化学习系统的突变测试
International Symposium on Software Engineering: Theories, Tools, and Applications Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-91265-9_8
Yuteng Lu, Weidi Sun, Meng Sun
{"title":"Mutation Testing of Reinforcement Learning Systems","authors":"Yuteng Lu, Weidi Sun, Meng Sun","doi":"10.1007/978-3-030-91265-9_8","DOIUrl":"https://doi.org/10.1007/978-3-030-91265-9_8","url":null,"abstract":"","PeriodicalId":409774,"journal":{"name":"International Symposium on Software Engineering: Theories, Tools, and Applications","volume":"62 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116597795","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Dependable Software Engineering. Theories, Tools, and Applications - 8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022, Proceedings 可靠的软件工程。理论，工具和应用-第八届国际研讨会，SETTA 2022，北京，中国，2022年10月27-29日，论文集
International Symposium on Software Engineering: Theories, Tools, and Applications Pub Date : 1900-01-01 DOI: 10.1007/978-3-031-21213-0
{"title":"Dependable Software Engineering. Theories, Tools, and Applications - 8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022, Proceedings","authors":"","doi":"10.1007/978-3-031-21213-0","DOIUrl":"https://doi.org/10.1007/978-3-031-21213-0","url":null,"abstract":"","PeriodicalId":409774,"journal":{"name":"International Symposium on Software Engineering: Theories, Tools, and Applications","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125800955","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
HashC: Making DNNs' Coverage Testing Finer and Faster HashC:使dnn的覆盖测试更精细、更快
International Symposium on Software Engineering: Theories, Tools, and Applications Pub Date : 1900-01-01 DOI: 10.1007/978-3-031-21213-0_1
Weidi Sun, Xiaoyong Xue, Yuteng Lu, Meng Sun
{"title":"HashC: Making DNNs' Coverage Testing Finer and Faster","authors":"Weidi Sun, Xiaoyong Xue, Yuteng Lu, Meng Sun","doi":"10.1007/978-3-031-21213-0_1","DOIUrl":"https://doi.org/10.1007/978-3-031-21213-0_1","url":null,"abstract":"","PeriodicalId":409774,"journal":{"name":"International Symposium on Software Engineering: Theories, Tools, and Applications","volume":"2021 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129680691","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Predicting and Monitoring Bug-Proneness at the Feature Level 在特性级别预测和监控bug倾向
International Symposium on Software Engineering: Theories, Tools, and Applications Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-91265-9_11
Shaozhi Wei, Ran Mo, Pu Xiong, Siyuan Zhang, Yang Zhao, Zengyang Li
{"title":"Predicting and Monitoring Bug-Proneness at the Feature Level","authors":"Shaozhi Wei, Ran Mo, Pu Xiong, Siyuan Zhang, Yang Zhao, Zengyang Li","doi":"10.1007/978-3-030-91265-9_11","DOIUrl":"https://doi.org/10.1007/978-3-030-91265-9_11","url":null,"abstract":"","PeriodicalId":409774,"journal":{"name":"International Symposium on Software Engineering: Theories, Tools, and Applications","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128869817","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Verifying the Correctness of Distributed Systems via Mergeable Parallelism 通过可合并并行性验证分布式系统的正确性
International Symposium on Software Engineering: Theories, Tools, and Applications Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-91265-9_7
Teng Long, Xingtao Ren, Qing Wang, Chao Wang
{"title":"Verifying the Correctness of Distributed Systems via Mergeable Parallelism","authors":"Teng Long, Xingtao Ren, Qing Wang, Chao Wang","doi":"10.1007/978-3-030-91265-9_7","DOIUrl":"https://doi.org/10.1007/978-3-030-91265-9_7","url":null,"abstract":"","PeriodicalId":409774,"journal":{"name":"International Symposium on Software Engineering: Theories, Tools, and Applications","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128969740","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
On-The-Fly Bisimilarity Checking for Fresh-Register Automata 新寄存器自动机的动态双相似性检验
International Symposium on Software Engineering: Theories, Tools, and Applications Pub Date : 1900-01-01 DOI: 10.1007/978-3-031-21213-0_12
M. H. Bandukara, N. Tzevelekos
{"title":"On-The-Fly Bisimilarity Checking for Fresh-Register Automata","authors":"M. H. Bandukara, N. Tzevelekos","doi":"10.1007/978-3-031-21213-0_12","DOIUrl":"https://doi.org/10.1007/978-3-031-21213-0_12","url":null,"abstract":"","PeriodicalId":409774,"journal":{"name":"International Symposium on Software Engineering: Theories, Tools, and Applications","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126739247","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
KCL: A Declarative Language for Large-Scale Configuration and Policy Management KCL:用于大规模配置和策略管理的声明性语言
International Symposium on Software Engineering: Theories, Tools, and Applications Pub Date : 1900-01-01 DOI: 10.1007/978-3-031-21213-0_6
Xiaodong Du, Pengfei Xu, Zheng Zhang, Shushan Chai, Rui Xia, Zhe Zong
{"title":"KCL: A Declarative Language for Large-Scale Configuration and Policy Management","authors":"Xiaodong Du, Pengfei Xu, Zheng Zhang, Shushan Chai, Rui Xia, Zhe Zong","doi":"10.1007/978-3-031-21213-0_6","DOIUrl":"https://doi.org/10.1007/978-3-031-21213-0_6","url":null,"abstract":"","PeriodicalId":409774,"journal":{"name":"International Symposium on Software Engineering: Theories, Tools, and Applications","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126653168","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
VM Migration and Live-Update for Reliable Embedded Hypervisor 可靠嵌入式管理程序的虚拟机迁移和实时更新
International Symposium on Software Engineering: Theories, Tools, and Applications Pub Date : 1900-01-01 DOI: 10.1007/978-3-031-21213-0_4
Siran Li, Lei Wang, Keyang Hu, Ce Mo, Bo Jiang
{"title":"VM Migration and Live-Update for Reliable Embedded Hypervisor","authors":"Siran Li, Lei Wang, Keyang Hu, Ce Mo, Bo Jiang","doi":"10.1007/978-3-031-21213-0_4","DOIUrl":"https://doi.org/10.1007/978-3-031-21213-0_4","url":null,"abstract":"","PeriodicalId":409774,"journal":{"name":"International Symposium on Software Engineering: Theories, Tools, and Applications","volume":"251 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125120895","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
CSFL: Fault Localization on Real Software Bugs Based on the Combination of Context and Spectrum 基于上下文与频谱结合的真实软件缺陷故障定位
International Symposium on Software Engineering: Theories, Tools, and Applications Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-91265-9_12
Yue Yan, Shujuan Jiang, Shenggang Zhang, Ying Huang
{"title":"CSFL: Fault Localization on Real Software Bugs Based on the Combination of Context and Spectrum","authors":"Yue Yan, Shujuan Jiang, Shenggang Zhang, Ying Huang","doi":"10.1007/978-3-030-91265-9_12","DOIUrl":"https://doi.org/10.1007/978-3-030-91265-9_12","url":null,"abstract":"","PeriodicalId":409774,"journal":{"name":"International Symposium on Software Engineering: Theories, Tools, and Applications","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114792202","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Diversifying a Parallel SAT Solver with Bayesian Moment Matching 基于贝叶斯矩匹配的并行SAT求解器的多元化
International Symposium on Software Engineering: Theories, Tools, and Applications Pub Date : 1900-01-01 DOI: 10.1007/978-3-031-21213-0_14
Vincent Vallade, Saeed Nejati, Julien Sopena, S. Baarir, Vijay Ganesh
{"title":"Diversifying a Parallel SAT Solver with Bayesian Moment Matching","authors":"Vincent Vallade, Saeed Nejati, Julien Sopena, S. Baarir, Vijay Ganesh","doi":"10.1007/978-3-031-21213-0_14","DOIUrl":"https://doi.org/10.1007/978-3-031-21213-0_14","url":null,"abstract":"","PeriodicalId":409774,"journal":{"name":"International Symposium on Software Engineering: Theories, Tools, and Applications","volume":"64 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129773323","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
首页 上一页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信