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

IEEE/ACM International Conference on Automated Software Engineering workshops. IEEE/ACM International Conference on Automated Software Engineering最新文献

筛选
英文 中文
Tobias-Z: An executable formal specification of a test generator 测试生成器的可执行的正式规范
IEEE/ACM International Conference on Automated Software Engineering workshops. IEEE/ACM International Conference on Automated Software Engineering Pub Date : 2006-09-18 DOI: 10.1109/ASE.2006.67
Y. Ledru, L. D. Bousquet
{"title":"Tobias-Z: An executable formal specification of a test generator","authors":"Y. Ledru, L. D. Bousquet","doi":"10.1109/ASE.2006.67","DOIUrl":"https://doi.org/10.1109/ASE.2006.67","url":null,"abstract":"Tobias is a combinatorial testing tool that was used succesfully on several case studies. Currently, the evolution of the tool goes through a significant redevelopment effort. A first step is the production of an executable specification of the Tobias Test Generator. The goal of this specification effort is to provide a synthetic and precise description of Tobias to the developers of the new tool. The specification is expressed in the Z language, supported by the Jaza animator. The executable character of the specification is exploited (1) to assess non-regression of the specification with respect to the existing tool, and (2) to explore new functionalities for the tool.","PeriodicalId":90522,"journal":{"name":"IEEE/ACM International Conference on Automated Software Engineering workshops. IEEE/ACM International Conference on Automated Software Engineering","volume":"80 1","pages":"353-354"},"PeriodicalIF":0.0,"publicationDate":"2006-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84104002","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}
引用次数: 6
Winning the DARPA Grand Challenge: A Robot Race through the Mojave Desert 赢得DARPA大挑战:通过莫哈韦沙漠的机器人比赛
IEEE/ACM International Conference on Automated Software Engineering workshops. IEEE/ACM International Conference on Automated Software Engineering Pub Date : 2006-06-18 DOI: 10.1109/ASE.2006.74
{"title":"Winning the DARPA Grand Challenge: A Robot Race through the Mojave Desert","authors":"","doi":"10.1109/ASE.2006.74","DOIUrl":"https://doi.org/10.1109/ASE.2006.74","url":null,"abstract":"The DARPA Grand Challenge has been the most significant challenge to the mobile robotics community in more than a decade. The challenge was to build an autonomous robot capable of traversing 132 miles of unrehearsed desert terrain in less than 10 hours. In 2004, the best robot only made 7.3 miles. In 2005, Stanford won the challenge and the $2M prize money by successfully traversing the course in less than 7 hours. This talk, delivered by the leader of the Stanford Racing Team, will provide insights in the software architecture of Stanford's winning robot. The robot massively relied on machine learning and probabilistic modeling for sensor interpretation, and robot motion planning algorithms for vehicle guidance and control. The speaker will explain some of the basic algorithms and share some of the excitement characterizing this historic event. He will also discuss the implications of this work for the future of the transportation.","PeriodicalId":90522,"journal":{"name":"IEEE/ACM International Conference on Automated Software Engineering workshops. IEEE/ACM International Conference on Automated Software Engineering","volume":"651 1","pages":"11"},"PeriodicalIF":0.0,"publicationDate":"2006-06-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79007186","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}
引用次数: 59
A Statistical Model to Locate Faults at Input Level 输入级故障定位的统计模型
IEEE/ACM International Conference on Automated Software Engineering workshops. IEEE/ACM International Conference on Automated Software Engineering Pub Date : 2004-01-01 DOI: 10.1109/ASE.2004.10008
Ji Wu, Xiao-xia Jia, Chang Liu, Hai-yan Yang, Chao Liu, Maozhong Jin
{"title":"A Statistical Model to Locate Faults at Input Level","authors":"Ji Wu, Xiao-xia Jia, Chang Liu, Hai-yan Yang, Chao Liu, Maozhong Jin","doi":"10.1109/ASE.2004.10008","DOIUrl":"https://doi.org/10.1109/ASE.2004.10008","url":null,"abstract":"","PeriodicalId":90522,"journal":{"name":"IEEE/ACM International Conference on Automated Software Engineering workshops. IEEE/ACM International Conference on Automated Software Engineering","volume":"43 1","pages":"274-277"},"PeriodicalIF":0.0,"publicationDate":"2004-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78199896","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
Automatically Restructuring Programs for the We 自动重组程序为我们
IEEE/ACM International Conference on Automated Software Engineering workshops. IEEE/ACM International Conference on Automated Software Engineering Pub Date : 2001-01-01 DOI: 10.1109/ASE.2001.989807
P. Graunke, R. Findler, S. Krishnamurthi, M. Felleisen
{"title":"Automatically Restructuring Programs for the We","authors":"P. Graunke, R. Findler, S. Krishnamurthi, M. Felleisen","doi":"10.1109/ASE.2001.989807","DOIUrl":"https://doi.org/10.1109/ASE.2001.989807","url":null,"abstract":"","PeriodicalId":90522,"journal":{"name":"IEEE/ACM International Conference on Automated Software Engineering workshops. IEEE/ACM International Conference on Automated Software Engineering","volume":"86 1","pages":"211-222"},"PeriodicalIF":0.0,"publicationDate":"2001-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76228846","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
Systematic Generation of Dependable Change Coordination Plans for Automated Switching of Coordination Policies 面向协调策略自动切换的可靠变更协调计划的系统生成
IEEE/ACM International Conference on Automated Software Engineering workshops. IEEE/ACM International Conference on Automated Software Engineering Pub Date : 2000-09-11 DOI: 10.1109/ASE.2000.873689
P. Bose, Mark G. Matthews
{"title":"Systematic Generation of Dependable Change Coordination Plans for Automated Switching of Coordination Policies","authors":"P. Bose, Mark G. Matthews","doi":"10.1109/ASE.2000.873689","DOIUrl":"https://doi.org/10.1109/ASE.2000.873689","url":null,"abstract":"Distributed information systems for decision support and e-commerce applications require coordination of multiple autonomous components and their services to accomplish a set of global goals. In such systems, a global and often distributed coordination policy actively governs the coordination among the distributed components. The policies are used to interpret messages or events (e.g., job assignments, changes in data) from the cooperating components, in order to generate tasks with sequencing constraints. The generated tasks and their sequencing are then used as a basis for coordination of the services provided and required by the components. This paper presents the SWAP architecture that addresses the problem of dynamic changes in the needs or context of the autonomous components via change in the coordination policy at run-time. We present a method in the context of SWAP for the systematic generation of change coordination plans supporting the automated switching of coordination policies.","PeriodicalId":90522,"journal":{"name":"IEEE/ACM International Conference on Automated Software Engineering workshops. IEEE/ACM International Conference on Automated Software Engineering","volume":"48 1","pages":"325-"},"PeriodicalIF":0.0,"publicationDate":"2000-09-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78190893","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
Evaluation of Automated Software Engineering Systems? (Panel) 自动化软件工程系统的评估?(面板)
IEEE/ACM International Conference on Automated Software Engineering workshops. IEEE/ACM International Conference on Automated Software Engineering Pub Date : 1999-01-01 DOI: 10.1109/ASE.1999.10005
J. Penix
{"title":"Evaluation of Automated Software Engineering Systems? (Panel)","authors":"J. Penix","doi":"10.1109/ASE.1999.10005","DOIUrl":"https://doi.org/10.1109/ASE.1999.10005","url":null,"abstract":"","PeriodicalId":90522,"journal":{"name":"IEEE/ACM International Conference on Automated Software Engineering workshops. IEEE/ACM International Conference on Automated Software Engineering","volume":"22 1","pages":"3"},"PeriodicalIF":0.0,"publicationDate":"1999-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84314956","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
Can Model Checking Scale to Software? (Panel) 模型检查可以扩展到软件吗?(面板)
IEEE/ACM International Conference on Automated Software Engineering workshops. IEEE/ACM International Conference on Automated Software Engineering Pub Date : 1999-01-01 DOI: 10.1109/ASE.1999.10006
D. Redmiles
{"title":"Can Model Checking Scale to Software? (Panel)","authors":"D. Redmiles","doi":"10.1109/ASE.1999.10006","DOIUrl":"https://doi.org/10.1109/ASE.1999.10006","url":null,"abstract":"","PeriodicalId":90522,"journal":{"name":"IEEE/ACM International Conference on Automated Software Engineering workshops. IEEE/ACM International Conference on Automated Software Engineering","volume":"136 1","pages":"2"},"PeriodicalIF":0.0,"publicationDate":"1999-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79643530","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
Modular and Incremental Analysis of Concurrent Software Systems 并行软件系统的模块化和增量分析
IEEE/ACM International Conference on Automated Software Engineering workshops. IEEE/ACM International Conference on Automated Software Engineering Pub Date : 1999-01-01 DOI: 10.1109/ASE.1999.802128
Hassen Saïdi
{"title":"Modular and Incremental Analysis of Concurrent Software Systems","authors":"Hassen Saïdi","doi":"10.1109/ASE.1999.802128","DOIUrl":"https://doi.org/10.1109/ASE.1999.802128","url":null,"abstract":"","PeriodicalId":90522,"journal":{"name":"IEEE/ACM International Conference on Automated Software Engineering workshops. IEEE/ACM International Conference on Automated Software Engineering","volume":"31 1","pages":"92-101"},"PeriodicalIF":0.0,"publicationDate":"1999-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74637198","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
首页 上一页
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学术官方微信