2014 Theoretical Aspects of Software Engineering Conference最新文献_第2页

An Approach to Modelling and Evaluating AGG Based Reliable Software Systems 基于AGG的可靠软件系统建模与评估方法

2014 Theoretical Aspects of Software Engineering Conference Pub Date : 2014-09-01 DOI: 10.1109/TASE.2014.22

Chen Li, Linpeng Huang, Luxi Chen, Xiwen Wu

引用次数: 0

Branch Obfuscation Using "Black Boxes" 使用“黑盒”进行分支混淆

2014 Theoretical Aspects of Software Engineering Conference Pub Date : 2014-09-01 DOI: 10.1109/TASE.2014.19

Nan Zong, Chunfu Jia

引用次数: 3

Contemplating the Addition of Stochastic Behaviour to Hybrid Event-B 混合事件b中加入随机行为的思考

2014 Theoretical Aspects of Software Engineering Conference Pub Date : 2014-09-01 DOI: 10.1109/TASE.2014.7

R. Banach

引用次数: 2

On Statistical Model Checking with PLASMA 用等离子体进行统计模型检验

2014 Theoretical Aspects of Software Engineering Conference Pub Date : 2014-09-01 DOI: 10.1109/TASE.2014.20

Axel Legay, Sean Sedwards

引用次数: 14

Modeling Social Networking Privacy 社交网络隐私建模

2014 Theoretical Aspects of Software Engineering Conference Pub Date : 2014-09-01 DOI: 10.1109/TASE.2014.21

Carolina Dania, M. Clavel

引用次数: 2

Verifying Preemptive Kernel Code with Preemption Control Support 验证支持抢占控制的抢占内核代码

2014 Theoretical Aspects of Software Engineering Conference Pub Date : 2014-09-01 DOI: 10.1109/TASE.2014.29

Yu Guo, Haozhong Zhang

引用次数: 2

Trace-Based Temporal Verification for Message-Passing Programs 消息传递程序的基于跟踪的时间验证

2014 Theoretical Aspects of Software Engineering Conference Pub Date : 2014-09-01 DOI: 10.1109/TASE.2014.14

Jinjiang Lei, Z. Qiu, Zhong Shao

引用次数: 2

Fault Localization with Partially Reliable Test Results Using Dempster-Shafer Theory 基于Dempster-Shafer理论的部分可靠试验结果故障定位

2014 Theoretical Aspects of Software Engineering Conference Pub Date : 2014-09-01 DOI: 10.1109/TASE.2014.36

Xinrui Guo, Xiaoyu Song, W. Hung, M. Gu, Jiaguang Sun

引用次数: 0

Behaviour Inference for Deadlock Checking 死锁检查的行为推断

2014 Theoretical Aspects of Software Engineering Conference Pub Date : 2014-09-01 DOI: 10.1109/TASE.2014.23

Ka I Pun, M. Steffen, V. Stolz

引用次数: 2

Spotlight Abstraction with Shade Clustering -- Automatic Verification of Parameterised Systems 带阴影聚类的聚光灯抽象——参数化系统的自动验证

2014 Theoretical Aspects of Software Engineering Conference Pub Date : 2014-09-01 DOI: 10.1109/TASE.2014.17

Nils Timm

{"title":"Spotlight Abstraction with Shade Clustering -- Automatic Verification of Parameterised Systems","authors":"Nils Timm","doi":"10.1109/TASE.2014.17","DOIUrl":"https://doi.org/10.1109/TASE.2014.17","url":null,"abstract":"Parameterised verification is concerned with checking global properties of software systems composed of an arbitrary number of processes. A promising approach to this generally undecidable problem is combining symmetry arguments with spotlight abstraction. This combination allows to construct small abstract models of parameterised systems on which the properties can be checked. Spotlight abstraction partitions the systems processes into a spotlight and a shade. The processes in the shade are summarised into a single approximative component and the inherent loss of information is modelled by a third truth value unknown. Thus, a verification run may also return unknown, which does not allow to draw any conclusions whether the system satisfies the property or not. Here we introduce an extension of spotlight abstraction called shade clustering, which allows to divide the shade into multiple approximative components, and thus, to preserve more definite information in the abstract model. Finding suitable clusters is, however, not straightforward. Moreover, an inadequate clustering can easily lead to an unnecessary explosion of the abstract state space. Therefore, we also present a fully automatic abstraction refinement framework for verifying parameterised systems. Based on abstract counterexamples, refinement is iteratively performed by either adding new predicates, shifting processes from the shade to the spotlight, or building appropriate shade clusters. Experimental results show that our shade clustering-based approach can significantly reduce the number of necessary refinement steps and thus speed up parameterised verification.","PeriodicalId":371040,"journal":{"name":"2014 Theoretical Aspects of Software Engineering Conference","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126857101","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