[ACM Press the ISSTA 2006 workshop - Portland, Maine (2006.07.17-2006.07.20)] Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis - ROSATEA '06 - Verification support for plug-and-play architectural design
- 作者Wang, Shangzhu; Avrunin, George S.; Clarke, Lori A.
- 文件大小109.03KB
- 发表时间2006
- DOI10.1145/1147249.1147255
- 页码49-50
同作者推荐
Demand-driven points-to analysis for JavaSridharan, Manu; Gopan, Denis; Shan, Lexin; Bodík, Rastislav · ACM SIGPLAN Notices · 2005
Refinement-based context-sensitive points-to analysis for JavaSridharan, Manu; Bodík, Rastislav · ACM SIGPLAN Notices · 2006
[ACM Press the 20th annual ACM SIGPLAN conference - San Diego, CA, USA (2005.10.16-2005.10.20)] Proceedings of the 20th annual ACM SIGPLAN conference on Object oriented programming systems languages and applications - OOPSLA '05 - Demand-driven points-to analysis for JavaSridharan, Manu; Gopan, Denis; Shan, Lexin; Bodík, Rastislav · 2005