Pub Date : 2022-04-01DOI: 10.1007/s10009-022-00659-x
Petr Ročkai, J. Barnat
{"title":"DivSIM , an interactive simulator for LLVM bitcode","authors":"Petr Ročkai, J. Barnat","doi":"10.1007/s10009-022-00659-x","DOIUrl":"https://doi.org/10.1007/s10009-022-00659-x","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"367 1","pages":"493 - 510"},"PeriodicalIF":1.5,"publicationDate":"2022-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80381124","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2022-03-30DOI: 10.1007/s10009-022-00657-z
Rong Gu, P. G. Jensen, D. B. Poulsen, C. Seceleanu, Eduard Paul Enoiu, K. Lundqvist
{"title":"Verifiable strategy synthesis for multiple autonomous agents: a scalable approach","authors":"Rong Gu, P. G. Jensen, D. B. Poulsen, C. Seceleanu, Eduard Paul Enoiu, K. Lundqvist","doi":"10.1007/s10009-022-00657-z","DOIUrl":"https://doi.org/10.1007/s10009-022-00657-z","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"10 1","pages":"395 - 414"},"PeriodicalIF":1.5,"publicationDate":"2022-03-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84184886","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2022-03-15DOI: 10.1007/s10009-022-00651-5
S. Salva, Elliott Blot
{"title":"Learning of behavioural models and dependency graphs for communicating systems with CkTailv2","authors":"S. Salva, Elliott Blot","doi":"10.1007/s10009-022-00651-5","DOIUrl":"https://doi.org/10.1007/s10009-022-00651-5","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"10 1","pages":"529 - 548"},"PeriodicalIF":1.5,"publicationDate":"2022-03-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87513364","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2022-03-03DOI: 10.1007/s10009-022-00649-z
Elahe Habibi, S. Mirian-Hosseinabadi
{"title":"Generating test as a web service (TaaWS) through a method-based attribute grammar","authors":"Elahe Habibi, S. Mirian-Hosseinabadi","doi":"10.1007/s10009-022-00649-z","DOIUrl":"https://doi.org/10.1007/s10009-022-00649-z","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"1 1","pages":"511 - 527"},"PeriodicalIF":1.5,"publicationDate":"2022-03-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83985144","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2022-02-26DOI: 10.1007/s10009-022-00648-0
G. Lowe
{"title":"Parameterized verification of systems with component identities, using view abstraction","authors":"G. Lowe","doi":"10.1007/s10009-022-00648-0","DOIUrl":"https://doi.org/10.1007/s10009-022-00648-0","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"149 1","pages":"287 - 324"},"PeriodicalIF":1.5,"publicationDate":"2022-02-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86657305","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2022-02-21DOI: 10.1007/s10009-020-00602-y
Dirk Beyer, Stefan Löwe, Philipp Wendler
{"title":"Correction to: Reliable benchmarking: requirements and solutions","authors":"Dirk Beyer, Stefan Löwe, Philipp Wendler","doi":"10.1007/s10009-020-00602-y","DOIUrl":"https://doi.org/10.1007/s10009-020-00602-y","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"239 1","pages":"661 - 661"},"PeriodicalIF":1.5,"publicationDate":"2022-02-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75845453","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2022-02-18DOI: 10.1007/s10009-022-00647-1
P. Strandberg, W. Afzal, Daniel Sundmark
{"title":"Software test results exploration and visualization with continuous integration and nightly testing","authors":"P. Strandberg, W. Afzal, Daniel Sundmark","doi":"10.1007/s10009-022-00647-1","DOIUrl":"https://doi.org/10.1007/s10009-022-00647-1","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"01 1","pages":"261 - 285"},"PeriodicalIF":1.5,"publicationDate":"2022-02-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80298941","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2022-02-04DOI: 10.1007/s10009-022-00645-3
Hassna Louadah, Y. Labiche
{"title":"Interface control document modeling with Citrus (avionics systems interfaces)","authors":"Hassna Louadah, Y. Labiche","doi":"10.1007/s10009-022-00645-3","DOIUrl":"https://doi.org/10.1007/s10009-022-00645-3","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"32 1","pages":"225 - 245"},"PeriodicalIF":1.5,"publicationDate":"2022-02-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77787035","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2022-02-03DOI: 10.1007/s10009-022-00646-2
Lorenzo Bettini, Davide Di Ruscio, Ludovico Iovino, A. Pierantonio
{"title":"Supporting safe metamodel evolution with edelta","authors":"Lorenzo Bettini, Davide Di Ruscio, Ludovico Iovino, A. Pierantonio","doi":"10.1007/s10009-022-00646-2","DOIUrl":"https://doi.org/10.1007/s10009-022-00646-2","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"12 1","pages":"247 - 260"},"PeriodicalIF":1.5,"publicationDate":"2022-02-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82329235","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2022-02-01DOI: 10.1007/s10009-021-00640-0
Junaid Babar, G. Ciardo, A. Miner
{"title":"CESRBDDs: binary decision diagrams with complemented edges and edge-specified reductions","authors":"Junaid Babar, G. Ciardo, A. Miner","doi":"10.1007/s10009-021-00640-0","DOIUrl":"https://doi.org/10.1007/s10009-021-00640-0","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"14 1","pages":"89 - 109"},"PeriodicalIF":1.5,"publicationDate":"2022-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73080480","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：