文件名称：International Symposium on Software Testing and Analysis 2010年论文集
文件大小：16.24MB
文件格式：RAR
更新时间：2013-11-07 07:24:17
ISSTA 软件测试与分析 论文集 ACM 2010
是International Symposium on Software Testing and Analysis 2010年的论文集。 传统观点认为这个会议和ICSE，POPL等大会相比层次要稍逊一筹，但我个人认为其专业性较强，大多数论文也很严谨，近年来发表文章的也多是知名高校与欧美研发型公司。很适合软件分析、可信软件、可靠性分析等专业的研究人员和相应测试、开发人员阅读。
【文件预览】：
International Symposium on Software Testing and Analysis 2010
----Technical session 8_concurrency and differential testing()
--------N-version disassembly _ differential testing of x86 disassemblers.pdf(377KB)
--------Analyzing concurrency bugs using dual slicing.pdf(744KB)
----Technical session 2_debugging()
--------Directed test generation for effective fault localization.pdf(505KB)
--------Causal inference for statistical fault localization.pdf(437KB)
--------Automated fixing of programs with contracts.pdf(1.16MB)
----Formal demos()
--------Software fault prediction tool.pdf(326KB)
--------ASSURE _ automated support for secure and usable requirements engineering.pdf(1.76MB)
----Technical session 6_symbolic execution()
--------On test repair using symbolic execution.pdf(422KB)
--------Exploiting program dependencies for scalable multiple-path symbolic execution.pdf(615KB)
--------Parallel symbolic execution for structural test generation.pdf(469KB)
----Technical session 5_test input generation and fuzzing()
--------Mutation-driven generation of unit tests and oracles.pdf(644KB)
--------OCAT _ object capture-based automated testing.pdf(934KB)
--------Testing system virtual machines.pdf(696KB)
----Doctoral symposium()
--------Automated analysis of load testing results.pdf(310KB)
----Technical session 7_empirical studies()
--------The Google FindBugs fixit.pdf(795KB)
--------Formal analysis of the effectiveness and predictability of random testing.pdf(839KB)
--------A study on agility and testing processes in software organizations.pdf(500KB)
----Technical session 1_formal verification and analysis()
--------Strict control dependence and its effect on dynamic information flow analyses.pdf(808KB)
--------Proving memory safety of floating-point computations by combining static and dynamic program analysis.pdf(430KB)
--------Analysis of invariants for efficient bounded verification.pdf(799KB)
--------Automatically identifying critical input regions and code in applications.pdf(560KB)
----Technical session 4_anomaly detection()
--------Learning from 6,000 projects _ lightweight cross-project anomaly detection.pdf(703KB)
--------Perturbing numerical calculations for statistical analysis of floating-point program (in)stability.pdf(1.34MB)
--------Automatic detection of unsafe component loadings.pdf(512KB)
----Technical session 3_mining and taxonomies()
--------Generating test cases for specification mining.pdf(693KB)
--------Modeling consumer-perceived web application fault severities for testing.pdf(491KB)