International Workshop on Dynamic Analysis最新文献

Towards an integrated approach for validating qualities of self-adaptive systems 迈向验证自适应系统质量的综合方法

International Workshop on Dynamic Analysis Pub Date : 2012-07-15 DOI: 10.1145/2338966.2336803

Danny Weyns

引用次数: 30

Communication-aware HW/SW co-design for heterogeneous multicore platforms 面向异构多核平台的通信感知软硬件协同设计

International Workshop on Dynamic Analysis Pub Date : 2012-07-15 DOI: 10.1145/2338966.2336806

I. Ashraf, S. A. Ostadzadeh, R. Meeuws, K. Bertels

引用次数: 3

Dynamic analysis of inefficiently-used containers 对低效使用的容器进行动态分析

International Workshop on Dynamic Analysis Pub Date : 2012-07-15 DOI: 10.1145/2338966.2336805

Shengqian Yang, Dacong Yan, G. Xu, A. Rountev

引用次数: 3

Extended program invariants: applications in testing and fault localization 扩展程序不变量:在测试和故障定位中的应用

International Workshop on Dynamic Analysis Pub Date : 2012-07-15 DOI: 10.1145/2338966.2336799

Mohammad Amin Alipour, Alex Groce

{"title":"Extended program invariants: applications in testing and fault localization","authors":"Mohammad Amin Alipour, Alex Groce","doi":"10.1145/2338966.2336799","DOIUrl":"https://doi.org/10.1145/2338966.2336799","url":null,"abstract":"Invariants are powerful tools for program analysis and reasoning.Several tools and techniques have been developed to infer invariants of a program. Given a test suite for a program, an invariant detection tool (IDT) extracts (potential) invariants from the program execution on test cases of the test suite. The resultant invariants contain relations only over variables and constants that are visible to the IDT. IDTs are usually unable to extract invariants about execution features like taken branches, since programs usually do not have state variables for such features. Thus, the IDT has no information about such features in order to infer relations between them. We speculate that invariants about execution features are useful for understanding test suites; we call these invariants, extended invariants. \u0000 In this paper, we discuss potential applications of extended invariants in understanding of test suites, and fault localization. We illustrate the usefulness of extended invariants with some small examples that use basic block count as the execution feature in extended invariants. We believe extended invariants provide useful information about execution of programs that can be utilized in program analysis and testing.","PeriodicalId":315305,"journal":{"name":"International Workshop on Dynamic Analysis","volume":"55 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125973787","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}

引用次数: 12

Finding common ground: choose, assert, and assume 寻找共同点:选择、主张和假设

International Workshop on Dynamic Analysis Pub Date : 2012-07-15 DOI: 10.1145/2338966.2336800

Alex Groce, Martin Erwig

{"title":"Finding common ground: choose, assert, and assume","authors":"Alex Groce, Martin Erwig","doi":"10.1145/2338966.2336800","DOIUrl":"https://doi.org/10.1145/2338966.2336800","url":null,"abstract":"At present, the “testing community” is on good speaking terms, but typically lacks a common language for expressing some computational ideas, even in cases where such a language would be both useful and plausible. In particular, a large body of testing systems define a testing problem in the language of the system under test, extended with operations for choosing inputs, asserting properties, and constraining the domain of executions considered. While the underlying algorithms used for “testing” include symbolic execution, explicit-state model checking, machine learning, and “old fashioned” random testing, there seems to be a common core of expressive need. We propose that the dynamic analysis community could benefit from working with some common syntactic (and to some extent semantic) mechanisms for expressing a body of testing problems. Such a shared language would have immediate practical uses and make cross-tool comparisons and research into identifying appropriate tools for different testing activities easier. We also suspect that considering the more abstract testing problem arising from this minimalist common ground could serve as a basis for thinking about the design of usable embedded domain-specific languages for testing and might help identify computational patterns that have escaped the notice of the community.","PeriodicalId":315305,"journal":{"name":"International Workshop on Dynamic Analysis","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132282755","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}

引用次数: 13

Evaluating program analysis and testing tools with the RUGRAT random benchmark application generator 使用RUGRAT随机基准应用程序生成器评估程序分析和测试工具

International Workshop on Dynamic Analysis Pub Date : 2012-07-15 DOI: 10.1145/2338966.2336798

Ishtiaque Hussain, Christoph Csallner, M. Grechanik, Chen Fu, Qing Xie, Sangmin Park, Kunal Taneja, B. M. Hossain

{"title":"Evaluating program analysis and testing tools with the RUGRAT random benchmark application generator","authors":"Ishtiaque Hussain, Christoph Csallner, M. Grechanik, Chen Fu, Qing Xie, Sangmin Park, Kunal Taneja, B. M. Hossain","doi":"10.1145/2338966.2336798","DOIUrl":"https://doi.org/10.1145/2338966.2336798","url":null,"abstract":"Benchmarks are heavily used in different areas of computer science to evaluate algorithms and tools. In program analysis and testing, open-source and commercial programs are routinely used as bench- marks to evaluate different aspects of algorithms and tools. Unfor- tunately, many of these programs are written by programmers who introduce different biases, not to mention that it is very difficult to find programs that can serve as benchmarks with high reproducibil- ity of results. We propose a novel approach for generating random benchmarks for evaluating program analysis and testing tools. Our approach uses stochastic parse trees, where language grammar production rules are assigned probabilities that specify the frequencies with which instantiations of these rules will appear in the generated pro- grams. We implemented our tool for Java and applied it to generate benchmarks with which we evaluated different program analysis and testing tools. Our tool was also implemented by a major soft- ware company for C++ and used by a team of developers to gener- ate benchmarks that enabled them to reproduce a bug in less than four hours.","PeriodicalId":315305,"journal":{"name":"International Workshop on Dynamic Analysis","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128229611","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}

引用次数: 9

Dynamic cost verification for cloud applications 云应用程序的动态成本验证

International Workshop on Dynamic Analysis Pub Date : 2012-07-15 DOI: 10.1145/2338966.2336802

Kevin Buell, J. Collofello

引用次数: 1

Custom-made instrumentation based on static analysis 基于静态分析的定制仪器

International Workshop on Dynamic Analysis Pub Date : 2011-07-18 DOI: 10.1145/2002951.2002957

T. Gutzmann, Welf Löwe

引用次数: 5

Dynamic invariant detection for relational databases 关系数据库的动态不变量检测

International Workshop on Dynamic Analysis Pub Date : 2011-07-18 DOI: 10.1145/2002951.2002955

Jake Cobb, James A. Jones, G. M. Kapfhammer, M. J. Harrold

引用次数: 26

Detecting algorithms using dynamic analysis 采用动态分析的检测算法

International Workshop on Dynamic Analysis Pub Date : 2011-07-18 DOI: 10.1145/2002951.2002953

K. Oksanen

引用次数: 6