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

Innovations in Systems and Software Engineering最新文献

筛选
英文 中文
Improving Android app exploratory testing with UI test cases using code change analysis 利用代码变更分析，通过 UI 测试用例改进 Android 应用程序探索性测试
IF 1.2
Innovations in Systems and Software Engineering Pub Date : 2024-04-04 DOI: 10.1007/s11334-024-00555-4
Jacinto F. S. Reis, Alexandre Mota
{"title":"Improving Android app exploratory testing with UI test cases using code change analysis","authors":"Jacinto F. S. Reis, Alexandre Mota","doi":"10.1007/s11334-024-00555-4","DOIUrl":"https://doi.org/10.1007/s11334-024-00555-4","url":null,"abstract":"","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":null,"pages":null},"PeriodicalIF":1.2,"publicationDate":"2024-04-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140742524","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
Attack–defense tree-based analysis and optimal defense synthesis for system design 基于攻击防御树的分析和系统设计的优化防御综合
IF 1.2
Innovations in Systems and Software Engineering Pub Date : 2024-03-23 DOI: 10.1007/s11334-024-00556-3
Baoluo Meng, Arjun Viswanathan, Saswata Paul, William Smith, A. Moitra, Kit Siu, Michael Durling
{"title":"Attack–defense tree-based analysis and optimal defense synthesis for system design","authors":"Baoluo Meng, Arjun Viswanathan, Saswata Paul, William Smith, A. Moitra, Kit Siu, Michael Durling","doi":"10.1007/s11334-024-00556-3","DOIUrl":"https://doi.org/10.1007/s11334-024-00556-3","url":null,"abstract":"","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":null,"pages":null},"PeriodicalIF":1.2,"publicationDate":"2024-03-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140210434","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
The black-box simplex architecture for runtime assurance of multi-agent CPS 用于多代理 CPS 运行时保障的黑盒简约架构
IF 1.2
Innovations in Systems and Software Engineering Pub Date : 2024-03-21 DOI: 10.1007/s11334-024-00553-6
S. Sheikhi, Usama Mehmood, Stanley Bak, S. Smolka, S. Stoller
{"title":"The black-box simplex architecture for runtime assurance of multi-agent CPS","authors":"S. Sheikhi, Usama Mehmood, Stanley Bak, S. Smolka, S. Stoller","doi":"10.1007/s11334-024-00553-6","DOIUrl":"https://doi.org/10.1007/s11334-024-00553-6","url":null,"abstract":"","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":null,"pages":null},"PeriodicalIF":1.2,"publicationDate":"2024-03-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140221164","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
Systematic hierarchical analysis of requirements for critical systems 对关键系统的要求进行系统的分层分析
IF 1.2
Innovations in Systems and Software Engineering Pub Date : 2024-03-12 DOI: 10.1007/s11334-024-00551-8
Asieh Salehi Fathabadi, C. Snook, Dana Dghaym, Son Hoang, Fahad Alotaibi, Michael Butler
{"title":"Systematic hierarchical analysis of requirements for critical systems","authors":"Asieh Salehi Fathabadi, C. Snook, Dana Dghaym, Son Hoang, Fahad Alotaibi, Michael Butler","doi":"10.1007/s11334-024-00551-8","DOIUrl":"https://doi.org/10.1007/s11334-024-00551-8","url":null,"abstract":"","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":null,"pages":null},"PeriodicalIF":1.2,"publicationDate":"2024-03-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140248720","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
A holistic approach to environmentally sustainable computing 环境可持续计算的整体方法
IF 1.2
Innovations in Systems and Software Engineering Pub Date : 2024-02-06 DOI: 10.1007/s11334-023-00548-9
Andrea Pazienza, Giovanni Baselli, Daniele Carlo Vinci, Maria Vittoria Trussoni
{"title":"A holistic approach to environmentally sustainable computing","authors":"Andrea Pazienza, Giovanni Baselli, Daniele Carlo Vinci, Maria Vittoria Trussoni","doi":"10.1007/s11334-023-00548-9","DOIUrl":"https://doi.org/10.1007/s11334-023-00548-9","url":null,"abstract":"","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":null,"pages":null},"PeriodicalIF":1.2,"publicationDate":"2024-02-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139801091","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
A holistic approach to environmentally sustainable computing 环境可持续计算的整体方法
IF 1.2
Innovations in Systems and Software Engineering Pub Date : 2024-02-06 DOI: 10.1007/s11334-023-00548-9
Andrea Pazienza, Giovanni Baselli, Daniele Carlo Vinci, Maria Vittoria Trussoni
{"title":"A holistic approach to environmentally sustainable computing","authors":"Andrea Pazienza, Giovanni Baselli, Daniele Carlo Vinci, Maria Vittoria Trussoni","doi":"10.1007/s11334-023-00548-9","DOIUrl":"https://doi.org/10.1007/s11334-023-00548-9","url":null,"abstract":"","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":null,"pages":null},"PeriodicalIF":1.2,"publicationDate":"2024-02-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139860846","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
Prioritizing unit tests using object-oriented metrics, centrality measures, and machine learning algorithms 使用面向对象的指标、中心度量和机器学习算法确定单元测试的优先级
IF 1.2
Innovations in Systems and Software Engineering Pub Date : 2024-02-02 DOI: 10.1007/s11334-024-00550-9
Marc-Antoine Levasseur, Mourad Badri
{"title":"Prioritizing unit tests using object-oriented metrics, centrality measures, and machine learning algorithms","authors":"Marc-Antoine Levasseur, Mourad Badri","doi":"10.1007/s11334-024-00550-9","DOIUrl":"https://doi.org/10.1007/s11334-024-00550-9","url":null,"abstract":"","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":null,"pages":null},"PeriodicalIF":1.2,"publicationDate":"2024-02-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139811041","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
Prioritizing unit tests using object-oriented metrics, centrality measures, and machine learning algorithms 使用面向对象的指标、中心度量和机器学习算法确定单元测试的优先级
IF 1.2
Innovations in Systems and Software Engineering Pub Date : 2024-02-02 DOI: 10.1007/s11334-024-00550-9
Marc-Antoine Levasseur, Mourad Badri
{"title":"Prioritizing unit tests using object-oriented metrics, centrality measures, and machine learning algorithms","authors":"Marc-Antoine Levasseur, Mourad Badri","doi":"10.1007/s11334-024-00550-9","DOIUrl":"https://doi.org/10.1007/s11334-024-00550-9","url":null,"abstract":"","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":null,"pages":null},"PeriodicalIF":1.2,"publicationDate":"2024-02-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139871372","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
CARE: carbon-aware computing for blockchain-enabled internet of medical things CARE：区块链医疗物联网的碳感知计算
IF 1.2
Innovations in Systems and Software Engineering Pub Date : 2024-01-16 DOI: 10.1007/s11334-023-00549-8
Pritam Ghosh, Anusua Mazumder, P. Banerjee, Debashis De
{"title":"CARE: carbon-aware computing for blockchain-enabled internet of medical things","authors":"Pritam Ghosh, Anusua Mazumder, P. Banerjee, Debashis De","doi":"10.1007/s11334-023-00549-8","DOIUrl":"https://doi.org/10.1007/s11334-023-00549-8","url":null,"abstract":"","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":null,"pages":null},"PeriodicalIF":1.2,"publicationDate":"2024-01-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139619216","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
Convolutional neural network-based classifiers for liver tumor detection using computed tomography scans 基于卷积神经网络的分类器用于利用计算机断层扫描检测肝脏肿瘤
IF 1.2
Innovations in Systems and Software Engineering Pub Date : 2023-12-28 DOI: 10.1007/s11334-023-00547-w
Yagnesh Challagundla, Trilok Sai Charan Tunuguntla, Sindhu Gayathri Tunuguntla, Nagaraju Devarakonda
{"title":"Convolutional neural network-based classifiers for liver tumor detection using computed tomography scans","authors":"Yagnesh Challagundla, Trilok Sai Charan Tunuguntla, Sindhu Gayathri Tunuguntla, Nagaraju Devarakonda","doi":"10.1007/s11334-023-00547-w","DOIUrl":"https://doi.org/10.1007/s11334-023-00547-w","url":null,"abstract":"","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":null,"pages":null},"PeriodicalIF":1.2,"publicationDate":"2023-12-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139152120","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学术文献互助群
群 号：481959085
Book学术官方微信