文件名称：ISSTA 2012-International Symposium on Software Testing and Analysis 2012年论文集
文件大小：16.29MB
文件格式：ZIP
更新时间：2015-10-04 04:41:48
ISSTA ACM 2012 软件分析
（我现在主要在CSDN上整理计算机安全、软件工程（可信软件）、系统及通信方面的论文及相关理论书籍，如果对这方面内容感兴趣，可以访问：http://download.csdn.net/user/qysh123 查看我上传的所有资料。内容比较多，需要大家人工手动查找。另外，资料顺序并不按照时间排列，只是想起来了就上传。请大家见谅。） ACM组织的，在软件测试与分析方面最著名的国际会议，International Symposium on Software Testing and Analysis 2012年的论文集。 传统观点认为这个会议和ICSE，POPL等大会相比层次要稍逊一筹，但我个人认为其专业性较强，大多数论文也很严谨，近年来发表文章的也多是知名高校与欧美著名研发型公司。很适合软件分析、可信软件、可靠性分析等专业的研究人员和相应测试、开发人员阅读。 今年ISSTA主会共收录31篇文章，分为10个session，确实也是精品会议。
【文件预览】：
ISSTA 2012
----Symbolic Execution()
--------Abstracting path conditions.pdf(333KB)
--------Probabilistic symbolic execution.pdf(331KB)
--------Memoized symbolic execution.pdf(489KB)
----Test Generation()
--------Search-based system testing_ high coverage, no false alarms.pdf(2.41MB)
--------Swarm testing.pdf(441KB)
--------Compositional load test generation for software pipelines.pdf(1MB)
--------Combining model-based and combinatorial testing for effective test case generation.pdf(660KB)
----Concurrency()
--------Testing concurrent programs to achieve high synchronization coverage.pdf(1.07MB)
--------Finding errors in multithreaded GUI applications.pdf(634KB)
--------Cooperative types for controlling thread interference in Java.pdf(459KB)
--------CARISMA_ a context-sensitive approach to race-condition sample-instance selection for multithreaded applications.pdf(578KB)
----Static Analysis()
--------Static detection of brittle parameter typing.pdf(398KB)
--------Static memory leak detection using full-sparse value-flow analysis.pdf(652KB)
--------Measuring enforcement windows with symbolic trace interpretation_ what well-behaved programs say.pdf(395KB)
----Web Applications()
--------ViewPoints_ differential string analysis for discovering client- and server-side input validation inconsistencies.pdf(678KB)
--------State aware test case regeneration for improving web application test suite coverage and fault detection.pdf(386KB)
--------Remedying the eval that men do.pdf(552KB)
----Regression Testing()
--------Regression mutation testing.pdf(614KB)
--------Efficient regression testing of ontology-driven systems.pdf(714KB)
----Dynamic Analysis()
--------Multi-slicing_ a compiler-supported parallel approach to data dependence profiling.pdf(433KB)
--------RefaFlex_ safer refactorings for reflective Java programs.pdf(385KB)
--------THeME_ a system for testing by hardware monitoring events.pdf(1.14MB)
----Security()
--------A quantitative study of accuracy in system call-based malware detection.pdf(576KB)
--------A first step towards algorithm plagiarism detection.pdf(1.12MB)
--------Undangle_ early detection of dangling pointers in use-after-free and double-free vulnerabilities.pdf(554KB)
----Bug Detection and Diagnosis()
--------Isolating failure causes through test case generation.pdf(990KB)
--------Detecting inconsistencies via universal reachability analysis.pdf(328KB)
--------Residual investigation_ predictive and precise bug detection.pdf(223KB)
----Empirical Studies()
--------A human study of patch maintainability.pdf(341KB)
--------Empirical investigation of search algorithms for environment model-based testing of real-time embedded software.pdf(613KB)
--------Understanding user understanding_ determining correctness of generated program invariants.pdf(354KB)