ICSE 2012-International Conference on Software Engineering 2012
5星 · 超过95%的资源 需积分: 10 54 浏览量
2012-10-31
19:25:47
上传
评论 2
收藏 57.57MB ZIP 举报 
ICSE 2012-International Conference on Software Engineering 2012 （121个子文件） 
Automatic input rectification.pdf 2.18MB Privacy and utility for defect prediction_ experiments with MORPH.pdf 1.68MB Partial evaluation of model transformations.pdf 1.55MB Reducing confounding bias in predicate-level statistical debugging metrics.pdf 1.55MB Automatic parameter recommendation for practical API usage.pdf 1.41MB Understanding the impact of pair programming on developers attention_ a case study on a large industrial experimentation.pdf 1.26MB Debugger canvas_ industrial experience with the code bubbles paradigm.pdf 1.21MB Where does this code come from and where does it go - integrated code history tracker for open source systems -.pdf 1.17MB Stride_ search-based deterministic replay in polynomial time via bounded linkage.pdf 1.12MB On the proactive and interactive visualization for feature evolution comprehension_ an industrial investigation.pdf 1.12MB Maintaining invariant traceability through bidirectional transformations.pdf 1.05MB Partial models_ towards modeling and reasoning with uncertainty.pdf 1MB Automated analysis of CSS rules to support style maintenance.pdf 945KB On-demand test suite reduction.pdf 922KB Characterizing logging practices in open-source software.pdf 898KB Build code analysis with symbolic evaluation.pdf 868KB WitchDoctor_ IDE support for real-time auto-completion of refactorings.pdf 819KB Axis_ automatically fixing atomicity violations through solving control constraints.pdf 817KB Disengagement in pair programming_ does it matter.pdf 816KB Developer prioritization in bug repositories.pdf 814KB Performance debugging in the large via mining millions of stack traces.pdf 812KB A large scale exploratory analysis of software vulnerability life cycles.pdf 809KB Constructing parser for industrial software specifications containing formal and natural language description.pdf 777KB MagicFuzzer_ scalable deadlock detection for large-scale applications.pdf 773KB Teaching software engineering and software project management_ an integrated and practical approach.pdf 770KB Collaboration patterns in distributed software development projects.pdf 766KB Graph-based pattern-oriented, context-sensitive source code completion.pdf 766KB Object-centric debugging.pdf 745KB Methodology for migration of long running process instances in a global large scale BPM environment in credit suisse's SOA landscape.pdf 729KB The quamoco product quality modelling and assessment approach.pdf 712KB Content classification of development emails.pdf 701KB Ambient awareness of build status in collocated software teams.pdf 700KB Test confessions_ a study of testing practices for plug-in systems.pdf 684KB Graph-based analysis and prediction for software evolution.pdf 678KB Using knowledge elicitation to improve web effort estimation_ lessons from six industrial case studies.pdf 667KB Metadata invariants_ checking and inferring metadata coding conventions.pdf 660KB Enhancing architecture-implementation conformance with change management and support for behavioral mapping.pdf 648KB Recommending source code for use in rapid software prototypes.pdf 607KB Static detection of resource contention problems in server-side scripts.pdf 585KB Characterizing and predicting which bugs get reopened.pdf 575KB Inferring class level specifications for distributed systems.pdf 574KB Large-scale formal verification in practice_ a process perspective.pdf 568KB BugRedux_ reproducing field failures for in-house debugging.pdf 567KB ReBucket_ a method for clustering duplicate crash reports based on call stack similarity.pdf 563KB An automated approach to generating efficient constraint solvers.pdf 559KB Information needs for software development analytics.pdf 518KB Inferring method specifications from natural language API descriptions.pdf 518KB Teaching collaborative software development_ a case study.pdf 514KB Predicting performance via automated feature-interaction detection.pdf 512KB Automatically finding performance problems with feedback-directed learning software testing.pdf 495KB Formal correctness, safety, dependability, and performance analysis of a satellite.pdf 493KB Crosscutting revision control system.pdf 482KB Does organizing security patterns focus architectural choices.pdf 470KB Synthesizing API usage examples.pdf 466KB Amplifying tests to validate exception handling code.pdf 465KB Generating obstacle conditions for requirements completeness.pdf 459KB iTree_ efficiently discovering high-coverage configurations using interaction trees.pdf 447KB Extending static analysis by mining project-specific rules.pdf 444KB How do professional developers comprehend software.pdf 438KB Improving early detection of software merge conflicts.pdf 435KB The impacts of software process improvement on developers_ a systematic review.pdf 435KB make test-zesti_ a symbolic execution solution for improving regression testing.pdf 428KB Using dynamic analysis to discover polynomial and array invariants.pdf 417KB Ten tips to succeed in global software engineering education.pdf 405KB Automated repair of HTML generation errors in PHP applications using string constraint solving.pdf 404KB Detecting similar software applications.pdf 403KB Slicing MATLAB simulink models.pdf 403KB WhoseFault_ automatic developer-to-fault assignment through fault localization.pdf 400KB Behavioral validation of JFSL specifications through model synthesis.pdf 383KB Automating test automation.pdf 374KB Temporal analysis of API usage concepts.pdf 372KB Identifying Linux bug fixing patches.pdf 371KB Using continuous integration of code and content to teach software engineering with limited resources.pdf 368KB Industrial application of concolic testing approach_ a case study on libexif by using CREST-BV and KLEE.pdf 360KB What make long term contributors_ willingness and opportunity in OSS community.pdf 359KB Active refinement of clone anomaly reports.pdf 353KB Automated detection of client-state manipulation vulnerabilities.pdf 349KB Automated oracle creation support, or_ how I learned to stop worrying about fault propagation and love mutation testing.pdf 348KB CBCD_ cloned buggy code detector.pdf 345KB Bug prediction based on fine-grained module histories.pdf 344KB Reconciling manual and automatic refactoring.pdf 339KB Making sense of healthcare benefits.pdf 336KB Detecting and visualizing inter-worksheet smells in spreadsheets.pdf 336KB On the naturalness of software.pdf 336KB BALLERINA_ automatic generation and clustering of efficient random unit tests for multithreaded code.pdf 328KB An empirical study about the effectiveness of debugging when random test cases are used.pdf 328KB How much does unused code matter for maintenance.pdf 325KB Improving PSP education by pairing_ an empirical study.pdf 321KB Uncovering performance problems in Java applications with reference propagation profiling.pdf 320KB Simulation-based abstractions for software product-line model checking.pdf 320KB Use, disuse, and misuse of automated refactorings.pdf 319KB Overcoming the challenges in cost estimation for distributed software projects.pdf 316KB A history-based matching approach to identification of framework evolution.pdf 311KB Generating range fixes for software configuration.pdf 304KB A systematic study of automated program repair_ fixing 55 out of 105 bugs for $8 each.pdf 302KB Verifying client-side input validation functions using string analysis.pdf 292KB Statically checking API protocol conformance with mined multi-object specifications.pdf 292KB Efficient reuse of domain-specific test knowledge_ an industrial case in the smart card domain.pdf 289KB Understanding integer overflow in C C++.pdf 285KB Where should the bugs be fixed - more accurate information retrieval-based bug localization based on bug reports.pdf 279KB共 121 条
- 1
- 2
- 1
- 2
- 3
- 4
前往页