文件名称：ISSTA 2009-International Symposium on Software Testing and Analysis 2009年论文集
文件大小：14.52MB
文件格式：RAR
更新时间：2014-06-20 15:03:18
ISSTA 论文集 软件测试 软件分析 2009
（我现在主要在CSDN上整理计算机安全、软件工程（可信软件）、系统及通信方面的论文及相关理论书籍，如果对这方面内容感兴趣，可以访问：http://qysh123.download.csdn.net/ 查看我上传的所有资料。内容比较多，需要大家人工手动查找。另外，资料顺序并不按照时间排列，只是想起来了就上传。CSDN这套系统不敢恭维，也请大家见谅。） 是ACM组织的，在软件测试与分析方面最著名的国际会议，International Symposium on Software Testing and Analysis 2009年的论文集。 传统观点认为这个会议和ICSE，POPL等大会相比层次要稍逊一筹，但我个人认为其专业性较强，大多数论文也很严谨，近年来发表文章的也多是知名高校与欧美著名研发型公司。很适合软件分析、可信软件、可靠性分析等专业的研究人员和相应测试、开发人员阅读。
【文件预览】：
ISSTA 2009
----Fault localization()
--------Fault localization and repair for Java runtime exceptions.pdf(535KB)
--------Identifying bug signatures using discriminative graph mining.pdf(569KB)
--------Memory slicing.pdf(537KB)
----Testing and analysis tools #1()
--------HAMPI _ a solver for string constraints.pdf(430KB)
--------Detecting code clones in binary executables.pdf(874KB)
--------Precise pointer reasoning for dynamic test generation.pdf(452KB)
----Empirical studies()
--------Efficient mutation testing by checking invariant violations.pdf(554KB)
--------A comparative study of programmer-written and automatically inferred contracts.pdf(495KB)
--------Automatic mining of functionally equivalent code fragments via random testing.pdf(481KB)
----Static analysis and verification()
--------Exception analysis and points-to analysis _ better together.pdf(430KB)
--------Analyzing singularity channel contracts.pdf(481KB)
--------Identifying semantic differences in AspectJ programs.pdf(481KB)
----Testing #1()
--------A formal analysis of requirements-based testing.pdf(476KB)
--------Advanced code coverage analysis using substring holes.pdf(417KB)
--------The influence of size and coverage on test suite effectiveness.pdf(2.93MB)
----Domain-specific testing techniques()
--------Specifying the worst case _ orthogonal modeling of hardware errors.pdf(1.18MB)
--------Testing CPU emulators.pdf(541KB)
--------Precise interface identification to improve testing and analysis of web applications.pdf(478KB)
----Testing and analysis tools #2()
--------Penumbra _ automatically identifying failure-relevant inputs using dynamic tainting.pdf(634KB)
--------AVA _ automated interpretation of dynamically detected anomalies.pdf(572KB)
--------Loop-extended symbolic execution on binary programs.pdf(480KB)
----Testing #2()
--------Time-aware test-case prioritization using integer linear programming.pdf(689KB)
--------Clustering test cases to achieve effective and scalable prioritisation incorporating expert knowledge.pdf(864KB)
--------Automatic system testing of programs without test oracles.pdf(502KB)
--------Incremental covering array failure characterization in large configuration spaces.pdf(540KB)