文件名称：ISSTA 2011-International Symposium on Software Testing and Analysis
文件大小：16.51MB
文件格式：RAR
更新时间：2014-10-08 13:30:59
ACM ISSTA 软件测试 软件分析 testing
（我现在主要在CSDN上整理计算机安全、软件工程（可信软件）、系统及通信方面的论文及相关理论书籍，如果对这方面内容感兴趣，可以访问：http://qysh123.download.csdn.net/ 查看我上传的所有资料。内容比较多，需要大家人工手动查找。另外，资料顺序并不按照时间排列，只是想起来了就上传。请大家见谅。） ACM组织的，在软件测试与分析方面最著名的国际会议，International Symposium on Software Testing and Analysis 2011年的论文集。 传统观点认为这个会议和ICSE，POPL等大会相比层次要稍逊一筹，但我个人认为其专业性较强，大多数论文也很严谨，近年来发表文章的也多是知名高校与欧美著名研发型公司。很适合软件分析、可信软件、可靠性分析等专业的研究人员和相应测试、开发人员阅读。
【文件预览】：
ISSTA 2011-International Symposium on Software Testing and Analysis 2011
----Concurrency()
--------Persuasive prediction of concurrency access anomalies.pdf(506KB)
--------Testing concurrent programs on relaxed memory models.pdf(287KB)
--------Change-aware preemption prioritization.pdf(500KB)
----Analysis of systems and binary code()
--------Efficient, sensitivity resistant binary instrumentation.pdf(490KB)
--------Defective error pointer interactions in the Linux kernel.pdf(263KB)
--------Recovering the toolchain provenance of binary code.pdf(420KB)
----Test generation I()
--------Symbolic execution with mixed concrete-symbolic solving.pdf(301KB)
--------eXpress _ guided path exploration for efficient regression test generation.pdf(461KB)
--------Automatic partial loop summarization in dynamic test generation.pdf(422KB)
--------Statically-directed dynamic automated test generation.pdf(325KB)
----Combinatorial and random testing()
--------Feedback driven adaptive combinatorial testing.pdf(333KB)
--------Using binary decision diagrams for combinatorial test design.pdf(834KB)
--------Adaptive random testing _ an illusion of effectiveness.pdf(487KB)
----Test generation II()
--------Combined static and dynamic automated test generation.pdf(367KB)
--------High coverage testing of Haskell programs.pdf(383KB)
--------Generating parameterized unit tests.pdf(439KB)
----Specification and optimization()
--------Iterative refinement of specification for component based embedded systems.pdf(1.01MB)
--------Using automatic persistent memoization to facilitate data analysis scripting.pdf(441KB)
--------CoDeSe _ fast deserialization via code generation.pdf(437KB)
----Faults II()
--------Selecting peers for execution comparison.pdf(544KB)
--------Characterizing failure-causing parameter interactions by adaptive testing.pdf(435KB)
--------The use of mutation in testing experiments and its sensitivity to external threats.pdf(633KB)
--------Generating analyses for detecting faults in path segments.pdf(325KB)
----Program analysis()
--------Demand-driven context-sensitive alias analysis for Java.pdf(610KB)
--------Path- and index-sensitive string analysis based on monadic second-order logic.pdf(920KB)
--------Saving the world wide web from vulnerable JavaScript.pdf(330KB)
--------Geometric encoding _ forging the high performance context sensitive points-to analysis for Java.pdf(1.14MB)
----Faults I()
--------On the influence of multiple faults on coverage-based fault localization.pdf(357KB)
--------Detecting anomalies in the order of equally-typed method arguments.pdf(344KB)
--------Minimizing reproduction of software failures.pdf(408KB)
--------Are automated debugging techniques actually helping programmers.pdf(694KB)
----Models()
--------Polyglot _ modeling and analysis for multiple Statechart formalisms.pdf(1.48MB)
--------Automated framework for formal operator task analysis.pdf(907KB)
--------Bounded verification of Ruby on Rails data models.pdf(363KB)
--------Scalable analysis of conceptual data models.pdf(406KB)