文件名称：Foundations of Software Engineering 2010年论文集
文件大小：21.5MB
文件格式：RAR
更新时间：2014-05-15 13:25:53
FSE 论文集 2010 ACM ESEC
（我现在主要在CSDN上整理计算机安全、系统及通信方面的论文及相关理论书籍，如果对这方面内容感兴趣，可以访问：http://qysh123.download.csdn.net/ 查看我上传的所有资料。内容比较多，需要大家人工手动查找。另外，资料顺序并不按照时间排列，只是想起来了就上传。CSDN这套系统不敢恭维，也请大家见谅。） 软件工程研究领域的著名国际会议，International Symposium on Foundations of Software Engineering 2010年的论文合集，该会议是ACM和ESEC（欧洲软件工程协会）合办的会议。所以通常也叫做ESEC/FSE，很适合软件工程的相关研究领域人员阅读。
【文件预览】：
FSE 2010
----Concurrency()
--------A trace simplification technique for effective debugging of concurrent programs.pdf(558KB)
--------PENELOPE _ weaving threads to expose atomicity violations.pdf(777KB)
--------Staged concurrent program analysis.pdf(507KB)
----Web services()
--------Change-point detection for black-box services.pdf(1.08MB)
--------Guided recovery for web service applications.pdf(1.22MB)
--------Automatic workarounds for web applications.pdf(518KB)
----Empirical studies of systems()
--------The missing links _ bugs and bug-fix commits.pdf(1.08MB)
--------Evolution of a bluetooth test application product line _ a case study.pdf(559KB)
----Miscellaneous()
--------Locating need-to-translate constant strings in web applications.pdf(398KB)
--------Synthesis of live behaviour models.pdf(474KB)
--------Combining hardware and software instrumentation to classify program executions.pdf(408KB)
----Dependencies()
--------Path-based fault correlations.pdf(2.96MB)
--------DSketch _ lightweight, adaptable dependency analysis.pdf(622KB)
--------Field-sensitive program dependence analysis.pdf(437KB)
----Verification()
--------Scalable SMT-based verification of GPU kernel functions.pdf(490KB)
--------Golden implementation driven software debugging.pdf(531KB)
----Testing()
--------Representation dependence testing using program inversion.pdf(552KB)
--------An enhanced test case selection approach for model-based testing _ an industrial case study.pdf(585KB)
--------Directed test suite augmentation _ techniques and tradeoffs.pdf(486KB)
----Distributed systems()
--------FUSION _ a framework for engineering self-tuning self-adaptive software systems.pdf(1.32MB)
--------Realizability analysis for message-based interactions using shared-state projections.pdf(472KB)
--------Finding latent performance bugs in systems implementations.pdf(587KB)
----Analysis()
--------Practical and effective symbolic analysis for buffer overflow detection.pdf(481KB)
--------An effective dynamic analysis for detecting generalized deadlocks.pdf(578KB)
----Replay()
--------Language-based replay via data flow cut.pdf(1.38MB)
--------Memory indexing _ canonicalizing addresses across executions.pdf(872KB)
--------LEAP _ lightweight deterministic multi-processor replay of concurrent java programs.pdf(460KB)
----Empirical studies of people()
--------Creating and evolving developer documentation _ understanding the decisions of open source contributors.pdf(569KB)
--------Organizational volatility and its effects on software defects.pdf(453KB)
--------Developer fluency _ achieving true mastery in software projects.pdf(416KB)
----Code similarities()
--------Leveraging usage similarity for effective retrieval of examples in code repositories.pdf(509KB)
--------A study of the uniqueness of source code.pdf(1.2MB)
--------Instant code clone search.pdf(586KB)