2011 33rd International Conference on Software Engineering (ICSE)最新文献_第3页

Workshop on games and software engineering: (GAS 2011) 关于游戏和软件工程的研讨会:(GAS 2011)

2011 33rd International Conference on Software Engineering (ICSE) Pub Date : 2011-05-21 DOI: 10.1145/1985793.1986042

E. J. Whitehead, Chris Lewis

引用次数: 2

Specification mining in concurrent and distributed systems 并发和分布式系统中的规范挖掘

2011 33rd International Conference on Software Engineering (ICSE) Pub Date : 2011-05-21 DOI: 10.1145/1985793.1986002

Sandeep Kumar

引用次数: 3

Aspect recommendation for evolving software 演进软件的方面推荐

2011 33rd International Conference on Software Engineering (ICSE) Pub Date : 2011-05-21 DOI: 10.1145/1985793.1985843

T. Nguyen, H. V. Nguyen, H. Nguyen, T. Nguyen

引用次数: 23

Exploring, exposing, and exploiting emails to include human factors in software engineering 探索、公开和利用电子邮件，以在软件工程中包含人为因素

2011 33rd International Conference on Software Engineering (ICSE) Pub Date : 2011-05-21 DOI: 10.1145/1985793.1985999

Alberto Bacchelli

引用次数: 2

Exciting new trends in design thinking 设计思维中令人兴奋的新趋势

2011 33rd International Conference on Software Engineering (ICSE) Pub Date : 2011-05-21 DOI: 10.1145/1985793.1985879

Bill Dresselhaus

{"title":"Exciting new trends in design thinking","authors":"Bill Dresselhaus","doi":"10.1145/1985793.1985879","DOIUrl":"https://doi.org/10.1145/1985793.1985879","url":null,"abstract":"Design and design thinking are becoming the hot topics and new business processes around the world - yes, business processes! Business schools are adding design thinking courses to their curricula and business professors are writing books on design thinking. Countries like Korea and Singapore are vying to be the leading Asian Design Nations. New, so-called Convergent courses, programs and schools are emerging globally that combine engineering, business and design disciplines and departments into integrated efforts. The Do-It-Yourself (DIY) Design Movement is gaining momentum and the personal discipline of Making things is coming back. DIY Prototyping and Manufacturing are gaining ground and opportunities with new technologies and innovations. User-Generated Design is becoming a common corporate process. Design process and design thinking are being applied cross-functionally to such global issues as clean water and alternative energy. And the old traditional view of design as art and decoration and styling is giving way to a broader and more comprehensive way of thinking and solving human-centered problems by other than just a few elite professionals. In light of all this and more, Bill is excited about the ideas of ubiquitous design education for everyone and DIY design as a universal human experience. He is passionate about an idea in what Victor Papanek said 40 years ago in his seminal book, Design for the Real World, \"All that we do, almost all the time, is design, for design is basic to all human activity\". Just as all humans are inherently businesspeople in many ways at many times, we are also all designers in many ways at many times - it is time to believe this and make the best of it.","PeriodicalId":412454,"journal":{"name":"2011 33rd International Conference on Software Engineering (ICSE)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-05-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130182116","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

The impact of fault models on software robustness evaluations 故障模型对软件鲁棒性评估的影响

2011 33rd International Conference on Software Engineering (ICSE) Pub Date : 2011-05-21 DOI: 10.1145/1985793.1985801

Stefan Winter, C. Sârbu, N. Suri, Brendan Murphy

{"title":"The impact of fault models on software robustness evaluations","authors":"Stefan Winter, C. Sârbu, N. Suri, Brendan Murphy","doi":"10.1145/1985793.1985801","DOIUrl":"https://doi.org/10.1145/1985793.1985801","url":null,"abstract":"Following the design and in-lab testing of software, the evaluation of its resilience to actual operational perturbations in the field is a key validation need. Software-implemented fault injection (SWIFI) is a widely used approach for evaluating the robustness of software components. Recent research [24, 18] indicates that the selection of the applied fault model has considerable influence on the results of SWIFI-based evaluations, thereby raising the question how to select appropriate fault models (i.e. that provide justified robustness evidence). This paper proposes several metrics for comparatively evaluating fault models's abilities to reveal robustness vulnerabilities. It demonstrates their application in the context of OS device drivers by investigating the influence (and relative utility) of four commonly used fault models, i.e. bit flips (in function parameters and in binaries), data type dependent parameter corruptions, and parameter fuzzing. We assess the efficiency of these models at detecting robustness vulnerabilities during the SWIFI evaluation of a real embedded operating system kernel and discuss application guidelines for our metrics alongside.","PeriodicalId":412454,"journal":{"name":"2011 33rd International Conference on Software Engineering (ICSE)","volume":"84 9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-05-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128924716","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}

引用次数: 39

Fourth international workshop on multicore software engineering: (IWMSE 2011) 第四届多核软件工程国际研讨会(IWMSE 2011)

2011 33rd International Conference on Software Engineering (ICSE) Pub Date : 2011-05-21 DOI: 10.1145/1985793.1986040

V. Pankratius, M. Philippsen

引用次数: 0

Code coverage analysis in practice for large systems 大型系统实践中的代码覆盖分析

2011 33rd International Conference on Software Engineering (ICSE) Pub Date : 2011-05-21 DOI: 10.1145/1985793.1985897

Yoram Adler, N. Behar, O. Raz, O. Shehory, Nadav Steindler, S. Ur, Aviad Zlotnick

引用次数: 9

Building and using pluggable type-checkers 构建和使用可插拔类型检查器

2011 33rd International Conference on Software Engineering (ICSE) Pub Date : 2011-05-21 DOI: 10.1145/1985793.1985889

Werner Dietl, S. Dietzel, Michael D. Ernst, Kivanç Muslu, Todd W. Schiller

{"title":"Building and using pluggable type-checkers","authors":"Werner Dietl, S. Dietzel, Michael D. Ernst, Kivanç Muslu, Todd W. Schiller","doi":"10.1145/1985793.1985889","DOIUrl":"https://doi.org/10.1145/1985793.1985889","url":null,"abstract":"This paper describes practical experience building and using pluggable type-checkers. A pluggable type-checker refines (strengthens) the built-in type system of a programming language. This permits programmers to detect and prevent, at compile time, defects that would otherwise have been manifested as run-time errors. The prevented defects may be generally applicable to all programs, such as null pointer dereferences. Or, an application-specific pluggable type system may be designed for a single application. We built a series of pluggable type checkers using the Checker Framework, and evaluated them on 2 million lines of code, finding hundreds of bugs in the process. We also observed 28 first-year computer science students use a checker to eliminate null pointer errors in their course projects. Along with describing the checkers and characterizing the bugs we found, we report the insights we had throughout the process. Overall, we found that the type checkers were easy to write, easy for novices to productively use, and effective in finding real bugs and verifying program properties, even for widely tested and used open source projects.","PeriodicalId":412454,"journal":{"name":"2011 33rd International Conference on Software Engineering (ICSE)","volume":"60 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-05-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126857026","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}

引用次数: 102

Flexible generators for software reuse and evolution: NIER Track 用于软件重用和演化的灵活生成器:NIER Track

2011 33rd International Conference on Software Engineering (ICSE) Pub Date : 2011-05-21 DOI: 10.1145/1985793.1985946

S. Jarzabek, Ha Duy Trung

{"title":"Flexible generators for software reuse and evolution: NIER Track","authors":"S. Jarzabek, Ha Duy Trung","doi":"10.1145/1985793.1985946","DOIUrl":"https://doi.org/10.1145/1985793.1985946","url":null,"abstract":"Developers tend to use models and generators during initial development, but often abandon them later in software evolution and reuse. One reason for that is that code generated from models (e.g., UML) is often manually modified, and changes cannot be easily propagated back to models. Once models become out of sync with code, any future re-generation of code overrides manual modifications. We propose a flexible generator solution that alleviates the above problem. The idea is to let developers weave arbitrary manual modifications into the generation process, rather than modify already generated code. A flexible generator stores specifications of manual modifications in executable form, so that weaving can be automatically re-done any time code is regenerated from modified models. In that way, models and manual modification can evolve independently but in sync with each other, and the generated code never gets directly changed. As a proof of concept, we have already built a flexible generator prototype by a merger of conventional generation system and variability technique to handle manual modifications. We believe a flexible generator approach alleviates an important problem that hinders wide spread adoption of MDD in software practice.","PeriodicalId":412454,"journal":{"name":"2011 33rd International Conference on Software Engineering (ICSE)","volume":"155 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-05-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121503570","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}

引用次数: 5