首页>外文会议>ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering

ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering

召开年：2005
召开地：Lisbon(PT)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.A concept analysis inspired greedy algorithm for test suite minimization

机译：概念分析启发式贪婪算法，用于最小化测试套件
- 作者：Sriraman Tallam;Neelam Gupta;PNeelam Gupta
- 会议名称：《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》 | 2005年
- testing requirements;
2.MonDe

机译：世界
- 作者：Jonathan Cook;Alessandro Orso;PJonathan Cook;PAlessandro Orso
- 会议名称：《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》 | 2005年
3.Making distributed systems secure with program analysis and transformation

机译：通过程序分析和转换使分布式系统安全
- 作者：Andrew Myers;PAndrew Myers
- 会议名称：《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》 | 2005年
4.Invariants and state in testing and formal methods

机译：测试和形式方法中的不变式和状态
- 作者：Dick Hamlet
- 会议名称：《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》 | 2005年
5.Symbolic path simulation in path-sensitive dataflow analysis

机译：路径敏感数据流分析中的符号路径模拟
- 作者：Hari Hampapuram;Yue Yang;Manuvir Das;PYue Yang;PManuvir Das
- 会议名称：《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》 | 2005年
- symbolic simulation;
6.SableSpMT

机译：SandSpMT
- 作者：Christopher J. F. Pickett;Clark Verbrugge;PClark Verbrugge
- 会议名称：《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》 | 2005年
- virtual machines;
7.Representation-independent program analysis

机译：与表示无关的程序分析
- 作者：Michelle Mills Strout;John Mellor-Crummey;Paul Hovland;PJohn Mellor-Crummey
- 会议名称：《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》 | 2005年
8.LANCET

机译：柳叶刀
- 作者：Ludo Van Put;Bjorn De Sutter;Matias Madou;Bruno De Bus;Dominique Chanet;Kristof Smits;Koen De Bosschere;PLudo Van Put;PBjorn De Sutter;PMatias Madou;PBruno De Bus;PDominique Chanet;PKoen De Bosschere
- 会议名称：《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》 | 2005年
- visualization;
9.Weakest-precondition of unstructured programs

机译：非结构化程序的最弱前提
- 作者：Mike Barnett;K. Rustan M. Leino;PMike Barnett;PK. Rustan M. Leino
- 会议名称：《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》 | 2005年
10.String analysis for x86 binaries

机译：x86二进制文件的字符串分析
- 作者：Mihai Christodorescu;Nicholas Kidd;Wen-Han Goh;PMihai Christodorescu
- 会议名称：《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》 | 2005年
11.Static control-flow analysis for reverse engineering of UML sequence diagrams

机译：UML序列图的逆向工程的静态控制流分析
- 作者：Atanas Rountev;Olga Volgin;Miriam Reddoch;PAtanas Rountev;POlga Volgin
- 会议名称：《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》 | 2005年
12.Generalizing symbolic execution to library classes

机译：将符号执行概括为库类
- 作者：Sarfraz Khurshid;Yuk Lai Suen;PSarfraz Khurshid
- 会议名称：《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》 | 2005年
- test input generation;
13.Automatically generating refactorings to support API evolution

机译：自动生成重构以支持API演变
- 作者：Jeff H. Perkins;PJeff H. Perkins
- 会议名称：《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》 | 2005年
14.PASTE at Microsoft

机译：微软的粘贴
- 作者：Manuvir Das;PManuvir Das
- 会议名称：《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》 | 2005年
15.An empirical framework for comparing effectiveness of testing and property-based formal analysis

机译：比较测试和基于属性的形式分析有效性的经验框架
- 作者：Jeremy S. Bradbury;James R. Cordy;Juergen Dingel;PJames R. Cordy;PJuergen Dingel
- 会议名称：《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》 | 2005年
- static analysis;
16.Evaluating the impact of context-sensitivity on Andersen's algorithm for Java programs

机译：评估上下文敏感性对Java程序的Andersen算法的影响
- 作者：Donglin Liang;Maikel Pennings;Mary Jean Harrold;PMary Jean Harrold
- 会议名称：《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》 | 2005年
17.Evaluating and tuning a static analysis to find null pointer bugs

机译：评估和调整静态分析以查找空指针错误
- 作者：David Hovemeyer;Jaime Spacco;William Pugh;PJaime Spacco;PWilliam Pugh
- 会议名称：《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》 | 2005年
- testing;
18.Link-time static analysis for efficient separate compilation of object-oriented languages

机译：链接时静态分析，可有效地分别编译面向对象的语言
- 作者：Jean Privat;Roland Ducournau;PRoland Ducournau
- 会议名称：《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》 | 2005年
19.Low overhead program monitoring and profiling

机译：低开销的程序监视和分析
- 作者：Naveen Kumar;Bruce R. Childers;Mary Lou Soffa;PNaveen Kumar;PMary Lou Soffa
- 会议名称：《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》 | 2005年
- profiling;