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

Proceedings of the 28th international conference on Software engineering最新文献

筛选
英文 中文
Redesigning legacy applications for the web with UWAT+: a case study 用UWAT+重新设计web遗留应用程序:一个案例研究
Proceedings of the 28th international conference on Software engineering Pub Date : 2006-05-28 DOI: 10.1145/1134285.1134353
Damiano Distante, G. Canfora, S. Tilley, Shihong Huang
{"title":"Redesigning legacy applications for the web with UWAT+: a case study","authors":"Damiano Distante, G. Canfora, S. Tilley, Shihong Huang","doi":"10.1145/1134285.1134353","DOIUrl":"https://doi.org/10.1145/1134285.1134353","url":null,"abstract":"This paper reports on a case study of redesigning a legacy application for the Web using the Ubiquitous Web Applications Design Framework with an extended version of its Transaction Design Model (UWAT+). Web application design methodologies hold the promise of engineering high-quality and long-lived Web systems and rich Internet applications. However, many such techniques focus solely on green-field development, and do not properly address the situation of leveraging the value locked in legacy systems. The redesign process supported by UWAT+ holistically blends design recovery technologies for capturing the know-how embedded in the legacy application with forward design methods particularly well suited for Web-based systems. The case study highlights some of the benefits of using UWAT+ in this context, as well as identifying possible areas for improvement in the redesign process and opportunities for tool automation to support it.","PeriodicalId":246572,"journal":{"name":"Proceedings of the 28th international conference on Software engineering","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115419587","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}
引用次数: 7
HighSpec: a tool for building and checking OZTA models HighSpec:用于构建和检查OZTA模型的工具
Proceedings of the 28th international conference on Software engineering Pub Date : 2006-05-28 DOI: 10.1145/1134285.1134409
J. Dong, Ping Hao, Xian Zhang, S. Qin
{"title":"HighSpec: a tool for building and checking OZTA models","authors":"J. Dong, Ping Hao, Xian Zhang, S. Qin","doi":"10.1145/1134285.1134409","DOIUrl":"https://doi.org/10.1145/1134285.1134409","url":null,"abstract":"HighSpec is an interactive system for composing and checking OZTA specifications. The integrated high level specification language, OZTA, is a combination of Object-Z (OZ) and Timed Automata (TA). Building on the strength of Object-Z's in specifying data structures and Timed Automata's in modelling dynamic and real-time behaviors, OZTA is well suited for presenting complete and coherent requirement models for complex real-time systems. HighSpec supports editing, type-checking as well as projecting OZTA models into TA models and Alloy Models so that TA model checkers-UPPAAL and the Alloy Analyzer can be utilized for verification. Most importantly, HighSpec supports a novel yet effective mechanism advocated by OZTA for structural TA design, i.e., using a set of composable timed patterns to capture high level timing requirements and process behaviors and generate the TA part of model in a top-down way. HighSpec can also generate LaTeX document as an alternative media for the spread and read of established OZTA models.","PeriodicalId":246572,"journal":{"name":"Proceedings of the 28th international conference on Software engineering","volume":"307 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123142885","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}
引用次数: 7
Session details: Tutorials: full day tutorials 会议细节:教程:天教程
Proceedings of the 28th international conference on Software engineering Pub Date : 2006-05-28 DOI: 10.1145/3245457
S. Cheung, S. Easterbrook
{"title":"Session details: Tutorials: full day tutorials","authors":"S. Cheung, S. Easterbrook","doi":"10.1145/3245457","DOIUrl":"https://doi.org/10.1145/3245457","url":null,"abstract":"","PeriodicalId":246572,"journal":{"name":"Proceedings of the 28th international conference on Software engineering","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116980643","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 methodology and tool for performance analysis of distributed server systems 分布式服务器系统性能分析的方法论和工具
Proceedings of the 28th international conference on Software engineering Pub Date : 2006-05-28 DOI: 10.1145/1134285.1134450
Rukma Prabhu Verlekar, V. Apte
{"title":"A methodology and tool for performance analysis of distributed server systems","authors":"Rukma Prabhu Verlekar, V. Apte","doi":"10.1145/1134285.1134450","DOIUrl":"https://doi.org/10.1145/1134285.1134450","url":null,"abstract":"We present a methodology and tool for performance analysis of distributed server systems, which allows high-level specification of the system, and generates and solves the underlying queueing network model. Our approach is different from the existing ones in that the specification captures the natural manner in which application servers are deployed on machines and machines are deployed on networks. The model does not impose any strict tiers on the server system. Multiple use case scenarios can be specified, and the tool computes measures such as end-to-end response times for each scenario while taking into account queueing delays at the hardware device, software threads and at the network. The development of the tool is ongoing, and will include detailed network protocol models as well as more flexible distributed system behavior, in the future.","PeriodicalId":246572,"journal":{"name":"Proceedings of the 28th international conference on Software engineering","volume":"32 28","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120853497","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
HDD: hierarchical delta debugging HDD:分层增量调试
Proceedings of the 28th international conference on Software engineering Pub Date : 2006-05-28 DOI: 10.1145/1134285.1134307
Ghassan Misherghi, Z. Su
{"title":"HDD: hierarchical delta debugging","authors":"Ghassan Misherghi, Z. Su","doi":"10.1145/1134285.1134307","DOIUrl":"https://doi.org/10.1145/1134285.1134307","url":null,"abstract":"Inputs causing a program to fail are usually large and often contain information irrelevant to the failure. It thus helps debugging to simplify program inputs. The Delta Debugging algorithm is a general technique applicable to minimizing all failure-inducing inputs for more effective debugging. In this paper, we present HDD, a simple but effective algorithm that significantly speeds up Delta Debugging and increases its output quality on tree structured inputs such as XML. Instead of treating the inputs as one flat atomic list, we apply Delta Debugging to the very structure of the data. In particular, we apply the original Delta Debugging algorithm to each level of a program's input, working from the coarsest to the finest levels. We are thus able to prune the large irrelevant portions of the input early. All the generated input configurations are syntactically valid, reducing the number of inconclusive configurations that need to be tested and accordingly the amount of time spent simplifying. We have implemented HDD and evaluated it on a number of real failure-inducing inputs from the GCC and Mozilla bugzilla databases. Our Hierarchical Delta Debugging algorithm produces simpler outputs and takes orders of magnitude fewer test cases than the original Delta Debugging algorithm. It is able to scale to inputs of considerable size that the original Delta Debugging algorithm cannot process in practice. We argue that HDD is an effective tool for automatic debugging of programs expecting structured inputs.","PeriodicalId":246572,"journal":{"name":"Proceedings of the 28th international conference on Software engineering","volume":"4032 1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127543994","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}
引用次数: 250
Perracotta: mining temporal API rules from imperfect traces Perracotta:从不完美的轨迹中挖掘时态API规则
Proceedings of the 28th international conference on Software engineering Pub Date : 2006-05-28 DOI: 10.1145/1134285.1134325
Jinlin Yang, David Evans, Deepali Bhardwaj, Thirumalesh Bhat, Manuvir Das
{"title":"Perracotta: mining temporal API rules from imperfect traces","authors":"Jinlin Yang, David Evans, Deepali Bhardwaj, Thirumalesh Bhat, Manuvir Das","doi":"10.1145/1134285.1134325","DOIUrl":"https://doi.org/10.1145/1134285.1134325","url":null,"abstract":"Dynamic inference techniques have been demonstrated to provide useful support for various software engineering tasks including bug finding, test suite evaluation and improvement, and specification generation. To date, however, dynamic inference has only been used effectively on small programs under controlled conditions. In this paper, we identify reasons why scaling dynamic inference techniques has proven difficult, and introduce solutions that enable a dynamic inference technique to scale to large programs and work effectively with the imperfect traces typically available in industrial scenarios. We describe our approximate inference algorithm, present and evaluate heuristics for winnowing the large number of inferred properties to a manageable set of interesting properties, and report on experiments using inferred properties. We evaluate our techniques on JBoss and the Windows kernel. Our tool is able to infer many of the properties checked by the Static Driver Verifier and leads us to discover a previously unknown bug in Windows.","PeriodicalId":246572,"journal":{"name":"Proceedings of the 28th international conference on Software engineering","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124924574","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}
引用次数: 390
A case study of a corporate open source development model 一个企业开源开发模型的案例研究
Proceedings of the 28th international conference on Software engineering Pub Date : 2006-05-28 DOI: 10.1145/1134285.1134352
V. Gurbani, Anita Garvert, J. Herbsleb
{"title":"A case study of a corporate open source development model","authors":"V. Gurbani, Anita Garvert, J. Herbsleb","doi":"10.1145/1134285.1134352","DOIUrl":"https://doi.org/10.1145/1134285.1134352","url":null,"abstract":"Open source practices and tools have proven to be highly effective for overcoming the many problems of geographically distributed software development. We know relatively little, however, about the range of settings in which they work. In particular, can corporations use the open source development model effectively for software projects inside the corporate domain? Or are these tools and practices incompatible with development environments, management practices, and market-driven schedule and feature decisions typical of a commercial software house? We present a case study of open source software development methodology adopted by a significant commercial software project in the telecommunications domain. We extract a number of lessons learned from the experience, and identify open research questions.","PeriodicalId":246572,"journal":{"name":"Proceedings of the 28th international conference on Software engineering","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125084361","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}
引用次数: 73
The first international workshop on automation of software test 第一个关于软件测试自动化的国际研讨会
Proceedings of the 28th international conference on Software engineering Pub Date : 2006-05-28 DOI: 10.1145/1134285.1134487
Hong Zhu, J. R. Horgan, S. Cheung, J. J. Li
{"title":"The first international workshop on automation of software test","authors":"Hong Zhu, J. R. Horgan, S. Cheung, J. J. Li","doi":"10.1145/1134285.1134487","DOIUrl":"https://doi.org/10.1145/1134285.1134487","url":null,"abstract":"Hong Zhu Department of Computing Oxford Brookes University Oxford OX33 1HX United Kingdom Email: hzhu@brookes.ac.uk Tel: +44 1865 484580 Fax: +44 1865 484545 Joseph R. Horgan Telcordia Technologies One Telcordia Drive, RRC-1M322, Piscataway, NJ 08854, USA Email:jrh@research.telcordia.com Tel: 732-699-2580 Fax: 732-336-7015 S.C. Cheung Department of Computer Science The Hong Kong University of Science and Technology Clear Water Bay, Hong Kong Email: sccheung@cs.ust.hk Tel: +852 2358-7016 Fax: +852 2358-1477 J. Jenny Li Avaya Labs 233 Mount Airy Road Basking Ridge, NJ 07920, USA Email: jjli@research.avayalabs.com Tel: 908-696-5147 Fax: 908-696-5402","PeriodicalId":246572,"journal":{"name":"Proceedings of the 28th international conference on Software engineering","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126117852","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
Maintaining mental models: a study of developer work habits 维护心智模型:对开发人员工作习惯的研究
Proceedings of the 28th international conference on Software engineering Pub Date : 2006-05-28 DOI: 10.1145/1134285.1134355
Thomas D. Latoza, Gina Venolia, R. Deline
{"title":"Maintaining mental models: a study of developer work habits","authors":"Thomas D. Latoza, Gina Venolia, R. Deline","doi":"10.1145/1134285.1134355","DOIUrl":"https://doi.org/10.1145/1134285.1134355","url":null,"abstract":"To understand developers' typical tools, activities, and practices and their satisfaction with each, we conducted two surveys and eleven interviews. We found that many problems arose because developers were forced to invest great effort recovering implicit knowledge by exploring code and interrupting teammates and this knowledge was only saved in their memory. Contrary to expectations that email and IM prevent expensive task switches caused by face-to-face interruptions, we found that face-to-face communication enjoys many advantages. Contrary to expectations that documentation makes understanding design rationale easy, we found that current design documents are inadequate. Contrary to expectations that code duplication involves the copy and paste of code snippets, developers reported several types of duplication. We use data to characterize these and other problems and draw implications for the design of tools for their solution.","PeriodicalId":246572,"journal":{"name":"Proceedings of the 28th international conference on Software engineering","volume":"75 2-3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123448772","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}
引用次数: 691
Preventing SQL injection attacks using AMNESIA 使用健忘症防止SQL注入攻击
Proceedings of the 28th international conference on Software engineering Pub Date : 2006-05-28 DOI: 10.1145/1134285.1134416
William G. J. Halfond, A. Orso
{"title":"Preventing SQL injection attacks using AMNESIA","authors":"William G. J. Halfond, A. Orso","doi":"10.1145/1134285.1134416","DOIUrl":"https://doi.org/10.1145/1134285.1134416","url":null,"abstract":"AMNESIA is a tool that detects and prevents SQL injection attacks by combining static analysis and runtime monitoring. Empirical evaluation has shown that AMNESIA is both effective and efficient against SQL injection.","PeriodicalId":246572,"journal":{"name":"Proceedings of the 28th international conference on Software engineering","volume":"45 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115093386","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}
引用次数: 139
下一页 尾页
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学术官方微信