ISSTA 2011-International Symposium on Software Testing and Analysis

（我现在主要在CSDN上整理计算机安全、软件工程（可信软件）、系统及通信方面的论文及相关理论书籍，如果对这方面内容感兴趣，可以访问：http://qysh123.download.csdn.net/ 查看我上传的所有资料。内容比较多，需要大家人工手动查找。另外，资料顺序并不按照时间排列，只是想起来了就上传。请大家见谅。） ACM组织的，在软件测试与分析方面最著名的国际会议，International Symposium on Software Testing and Analysis 2011年的论文集。 传统观点认为这个会议和ICSE，POPL等大会相比层次要稍逊一筹，但我个人认为其专业性较强，大多数论文也很严谨，近年来发表文章的也多是知名高校与欧美著名研发型公司。很适合软件分析、可信软件、可靠性分析等专业的研究人员和相应测试、开发人员阅读。

 属性            大小     日期    时间   名称
----------- ---------  ---------- -----  ----

     文件     269114  2011-09-13 19:53  ISSTA 2011-International Symposium on Software Testing and Analysis 2011\Analysis of systems and binary code\Defective error pointer interactions in the Linux kernel.pdf

     文件     502223  2011-09-13 19:52  ISSTA 2011-International Symposium on Software Testing and Analysis 2011\Analysis of systems and binary code\Efficient sensitivity resistant binary instrumentation.pdf

     文件     429799  2011-09-13 19:52  ISSTA 2011-International Symposium on Software Testing and Analysis 2011\Analysis of systems and binary code\Recovering the toolchain provenance of binary code.pdf

     文件     498559  2011-09-13 22:25  ISSTA 2011-International Symposium on Software Testing and Analysis 2011\Combinatorial and random testing\Adaptive random testing _ an illusion of effectiveness.pdf

     文件     340835  2011-09-13 21:43  ISSTA 2011-International Symposium on Software Testing and Analysis 2011\Combinatorial and random testing\Feedback driven adaptive combinatorial testing.pdf

     文件     854115  2011-09-13 21:44  ISSTA 2011-International Symposium on Software Testing and Analysis 2011\Combinatorial and random testing\Using binary decision diagrams for combinatorial test design.pdf

     文件     511816  2011-09-13 19:57  ISSTA 2011-International Symposium on Software Testing and Analysis 2011\Concurrency\Change-aware preemption prioritization.pdf

     文件     517659  2011-09-13 19:57  ISSTA 2011-International Symposium on Software Testing and Analysis 2011\Concurrency\Persuasive prediction of concurrency access anomalies.pdf

     文件     293484  2011-09-13 19:56  ISSTA 2011-International Symposium on Software Testing and Analysis 2011\Concurrency\Testing concurrent programs on relaxed memory models.pdf

     文件     710577  2011-09-13 20:13  ISSTA 2011-International Symposium on Software Testing and Analysis 2011\Faults I\Are automated debugging techniques actually helping programmers.pdf

     文件     352619  2011-09-13 21:35  ISSTA 2011-International Symposium on Software Testing and Analysis 2011\Faults I\Detecting anomalies in the order of equally-typed method arguments.pdf

     文件     417694  2011-09-13 21:34  ISSTA 2011-International Symposium on Software Testing and Analysis 2011\Faults I\Minimizing reproduction of software failures.pdf

     文件     365182  2011-09-13 20:16  ISSTA 2011-International Symposium on Software Testing and Analysis 2011\Faults I\On the influence of multiple faults on coverage-based fault localization.pdf

     文件     445939  2011-09-18 19:33  ISSTA 2011-International Symposium on Software Testing and Analysis 2011\Faults II\Characterizing failure-causing parameter interactions by adaptive testing.pdf

     文件     332374  2011-09-18 19:33  ISSTA 2011-International Symposium on Software Testing and Analysis 2011\Faults II\Generating analyses for detecting faults in path segments.pdf

     文件     557380  2011-09-18 19:32  ISSTA 2011-International Symposium on Software Testing and Analysis 2011\Faults II\Selecting peers for execution comparison.pdf

     文件     647735  2011-09-18 19:33  ISSTA 2011-International Symposium on Software Testing and Analysis 2011\Faults II\The use of mutation in testing experiments and its sensitivity to external threats.pdf

     文件     929270  2011-09-13 19:45  ISSTA 2011-International Symposium on Software Testing and Analysis 2011\Models\Automated framework for formal operator task analysis.pdf

     文件     371799  2011-09-13 19:45  ISSTA 2011-International Symposium on Software Testing and Analysis 2011\Models\Bounded verification of Ruby on Rails data models.pdf

     文件    1550935  2011-09-13 19:40  ISSTA 2011-International Symposium on Software Testing and Analysis 2011\Models\Polyglot _ modeling and analysis for multiple Statechart formalisms.pdf

     文件     415795  2011-09-13 19:41  ISSTA 2011-International Symposium on Software Testing and Analysis 2011\Models\Scalable analysis of conceptual data models.pdf

     文件     624836  2011-09-13 19:58  ISSTA 2011-International Symposium on Software Testing and Analysis 2011\Program analysis\Demand-driven context-sensitive alias analysis for Java.pdf

     文件    1197810  2011-09-13 20:09  ISSTA 2011-International Symposium on Software Testing and Analysis 2011\Program analysis\Geometric encoding _ forging the high performance context sensitive points-to analysis for Java.pdf

     文件     941986  2011-09-13 19:58  ISSTA 2011-International Symposium on Software Testing and Analysis 2011\Program analysis\Path- and index-sensitive string analysis based on monadic second-order logic.pdf

     文件     337674  2011-09-13 20:08  ISSTA 2011-International Symposium on Software Testing and Analysis 2011\Program analysis\Saving the world wide web from vulnerable javascript.pdf

     文件     447729  2011-09-18 19:14  ISSTA 2011-International Symposium on Software Testing and Analysis 2011\Specification and optimization\CoDeSe _ fast deserialization via code generation.pdf

     文件    1064263  2011-09-18 18:49  ISSTA 2011-International Symposium on Software Testing and Analysis 2011\Specification and optimization\Iterative refinement of specification for component based embedded systems.pdf

     文件     451605  2011-09-18 19:13  ISSTA 2011-International Symposium on Software Testing and Analysis 2011\Specification and optimization\Using automatic persistent memoization to facilitate data analysis scripting.pdf

     文件     431898  2011-09-13 19:17  ISSTA 2011-International Symposium on Software Testing and Analysis 2011\Test generation I\Automatic partial loop summarization in dynamic test generation.pdf

     文件     472223  2011-09-13 19:11  ISSTA 2011-International Symposium on Software Testing and Analysis 2011\Test generation I\eXpress _ guided path exploration for efficient regression test generation.pdf

............此处省略19个文件信息