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等大会相比层次要稍逊一筹，但我个人认为其专业性较
【实例截图】
【核心代码】
ISSTA2011
└── 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
│   ├── Efficient, sensitivity resistant binary instrumentation.pdf
│   └── Recovering the toolchain provenance of binary code.pdf
├── Combinatorial and random testing
│   ├── Adaptive random testing _ an illusion of effectiveness.pdf
│   ├── Feedback driven adaptive combinatorial testing.pdf
│   └── Using binary decision diagrams for combinatorial test design.pdf
├── Concurrency
│   ├── Change-aware preemption prioritization.pdf
│   ├── Persuasive prediction of concurrency access anomalies.pdf
│   └── Testing concurrent programs on relaxed memory models.pdf
├── Faults I
│   ├── Are automated debugging techniques actually helping programmers.pdf
│   ├── Detecting anomalies in the order of equally-typed method arguments.pdf
│   ├── Minimizing reproduction of software failures.pdf
│   └── On the influence of multiple faults on coverage-based fault localization.pdf
├── Faults II
│   ├── Characterizing failure-causing parameter interactions by adaptive testing.pdf
│   ├── Generating analyses for detecting faults in path segments.pdf
│   ├── Selecting peers for execution comparison.pdf
│   └── The use of mutation in testing experiments and its sensitivity to external threats.pdf
├── Models
│   ├── Automated framework for formal operator task analysis.pdf
│   ├── Bounded verification of Ruby on Rails data models.pdf
│   ├── Polyglot _ modeling and analysis for multiple Statechart formalisms.pdf
│   └── Scalable analysis of conceptual data models.pdf
├── Program analysis
│   ├── Demand-driven context-sensitive alias analysis for Java.pdf
│   ├── Geometric encoding _ forging the high performance context sensitive points-to analysis for Java.pdf
│   ├── Path- and index-sensitive string analysis based on monadic second-order logic.pdf
│   └── Saving the world wide web from vulnerable JavaScript.pdf
├── Specification and optimization
│   ├── CoDeSe _ fast deserialization via code generation.pdf
│   ├── Iterative refinement of specification for component based embedded systems.pdf
│   └── Using automatic persistent memoization to facilitate data analysis scripting.pdf
├── Test generation I
│   ├── Automatic partial loop summarization in dynamic test generation.pdf
│   ├── Statically-directed dynamic automated test generation.pdf
│   ├── Symbolic execution with mixed concrete-symbolic solving.pdf
│   └── eXpress _ guided path exploration for efficient regression test generation.pdf
└── Test generation II
├── Combined static and dynamic automated test generation.pdf
├── Generating parameterized unit tests.pdf
└── High coverage testing of Haskell programs.pdf

11 directories, 35 files