文件名称：ICSE 2011-International Conference on Software Engineering论文集合2
文件大小：24.23MB
文件格式：RAR
更新时间：2015-03-29 12:47:14
ICSE2011
ICSE 2011-International Conference on Software Engineering论文集合2
【文件预览】：
ICSE 2011-International Conference on Software Engineering2
----Tools and environments()
--------Enabling the runtime assertion checking of concurrent contracts for the Java modeling language.pdf(472KB)
--------An industrial case study on quality impact prediction for evolving service-oriented software.pdf(1.74MB)
--------A comparison of model-based and judgment-based release planning in incremental software projects.pdf(985KB)
----Web surfing()
--------Automated cross-browser compatibility testing.pdf(702KB)
--------A framework for automated testing of javascript web applications.pdf(2.26MB)
--------Coalescing executions for fast uncertainty analysis.pdf(1.05MB)
----Riding the design wave II()
--------Feature cohesion in software product lines _ an exploratory study.pdf(634KB)
--------Detecting software modularity violations.pdf(570KB)
--------Leveraging software architectures to guide and verify the development of sense-compute-control applications.pdf(534KB)
----Riding the design wave I()
--------Synthesis of live behaviour models for fallible domains.pdf(414KB)
--------LIME _ a framework for debugging load imbalance in multi-threaded execution.pdf(619KB)
--------Coverage guided systematic concurrency testing.pdf(448KB)
----Software testing and analysis()
--------Value-based program characterization and its application to software plagiarism detection.pdf(692KB)
--------Practical change impact analysis based on static program slicing for industrial software systems.pdf(741KB)
--------Code coverage analysis in practice for large systems.pdf(855KB)
----Software engineering at large()
--------Experiences with text mining large collections of unstructured systems development artifacts at jpl.pdf(320KB)
--------Building and using pluggable type-checkers.pdf(225KB)
--------Deploying CogTool _ integrating quantitative usability assessment into real-world software development.pdf(3.2MB)
----Testing the waters II()
--------Program abstractions for behaviour validation.pdf(559KB)
--------Programs, tests, and oracles _ the foundations of testing revisited.pdf(605KB)
--------RACEZ _ a lightweight and non-invasive race detection tool for production applications.pdf(743KB)
----Testing the waters I()
--------Camouflage _ automated anonymization of field data.pdf(813KB)
--------aComment _ mining annotations from comments and code to detect interrupt related concurrency bugs.pdf(361KB)
--------A practical guide for using statistical tests to assess randomized algorithms in software engineering.pdf(322KB)
----Surfing the dependability wave()
--------The impact of fault models on software robustness evaluations.pdf(567KB)
--------A lightweight code analysis and its role in evaluation of a dependability case.pdf(522KB)
--------Towards quantitative software reliability assessment in incremental development processes.pdf(739KB)
----Testing the waters III()
--------Precise identification of problems for structural test generation.pdf(444KB)
--------Mining parametric specifications.pdf(1.68MB)
--------Estimating footprints of model operations.pdf(597KB)
----Software metrics()
--------Characterizing the differences between pre- and post- release versions of software.pdf(1.06MB)
--------Why software quality improvement fails _ and how to succeed nevertheless.pdf(298KB)
--------An evaluation of the internal quality of business applications _ does size matter.pdf(457KB)
----Surfer model checking()
--------Symbolic model checking of software product lines.pdf(678KB)
--------Run-time efficient probabilistic model checking.pdf(1.09MB)
--------Verifying multi-threaded software using smt-based context-bounded model checking.pdf(472KB)