ICSE 2011
214 papers
- 1.x-Way architecture-implementation mapping
- A case study of measuring process risk for early insights into software safety
- A case study on refactoring in Haskell programs
- A combination approach for enhancing automated traceability
- A comparison of model-based and judgment-based release planning in incremental software projects
- A decision support system for the classification of software coding faults: a research abstract
- A declarative approach to enable flexible and dynamic service compositions
- A demonstration of a distributed software design sketching tool
- A domain specific requirements model for scientific computing
- A formal approach to software synthesis for architectural platforms
- A framework for automated testing of javascript web applications
- A framework for the integration of user centered design and agile software development processes
- A lightweight code analysis and its role in evaluation of a dependability case
- A method for selecting SOA pilot projects including a pilot metrics framework
- A practical guide for using statistical tests to assess randomized algorithms in software engineering
- A software behaviour analysis framework based on the human perception systems
- A study of ripple effects in software ecosystems
- Always-available static and dynamic feedback
- An empirical investigation into the role of API-level refactorings during software evolution
- An empirical study of build maintenance effort
- An end-user demonstration approach to support aspect-oriented modeling
- An evaluation of the internal quality of business applications: does size matter?
- An industrial case study on quality impact prediction for evolving service-oriented software
- Angelic debugging
- Architecture evaluation without an architecture: experience with the smart grid
- Aspect recommendation for evolving software
- Assessing programming language impact on development and maintenance: a study on c and c++
- AutoBlackTest: a tool for automatic black-box testing
- Automated cross-browser compatibility testing
- Automated security hardening for evolving UML models
- Automated usability evaluation of parallel programming constructs
- Automatically detecting and describing high level actions within methods
- BQL: capturing and reusing debugging knowledge
- Better testing through oracle selection
- Blending freeform and managed information in tables
- Bringing domain-specific languages to digital forensics
- Build system maintenance
- Building and using pluggable type-checkers
- Building domain specific software architectures from software architectural design patterns
- CREWW: collaborative requirements engineering with wii-remotes
- Camouflage: automated anonymization of field data
- Capturing tacit architectural knowledge using the repertory grid technique
- Characterizing process variation
- Characterizing the differences between pre- and post- release versions of software
- Coalescing executions for fast uncertainty analysis
- Code coverage analysis in practice for large systems
- CodeTopics: which topic am I coding now?
- Collaborative teaching of globally distributed software development: community building workshop (CTGDSD 2011)
- Configuring global software teams: a multi-company analysis of project productivity, quality, and profits
- Covana: precise identification of problems in pex
- Coverage guided systematic concurrency testing
- Data analytics for game development
- Dealing with noise in defect prediction
- Deploying CogTool: integrating quantitative usability assessment into real-world software development
- Design and implementation of a data analytics infrastructure in support of crisis informatics research
- Detecting architecturally-relevant code smells in evolving software systems
- Detecting cross-browser issues in web applications
- Detecting software modularity violations
- Diagnosing new faults using mutants and prior faults
- Digitally annexing desk space for software development
- Directed test suite augmentation
- Does the initial environment impact the future of developers
- DyTa: dynamic symbolic execution guided with static verification results
- Dynamic shape analysis of program heap using graph spectra
- Empirical assessment of MDE in industry
- Empirical results on the study of software vulnerabilities
- Enabling the runtime assertion checking of concurrent contracts for the Java modeling language
- Estimating footprints of model operations
- Evolve: tool support for architecture evolution
- Exciting new trends in design thinking
- Experiences with text mining large collections of unstructured systems development artifacts at jpl
- Exploiting hardware advances for software testing and debugging
- Exploring, exposing, and exploiting emails to include human factors in software engineering
- Factors leading to integration failures in global feature-oriented development: an empirical analysis
- Feature cohesion in software product lines: an exploratory study
- Fifth international workshop on software clones: (IWSC 2011)
- Finding relevant functions in millions of lines of code
- FireDetective: understanding ajax client/server interactions
- First workshop on developing tools as plug-ins: (TOPI 2011)
- Flexible generators for software reuse and evolution
- Fourth international workshop on multicore software engineering: (IWMSE 2011)
- Fourth international workshop on software engineering for computational science and engineering: (SE-CSE2011)
- Fourth workshop on refactoring tools: (WRT 2011)
- Frequency and risks of changes to clones
- Fuzzy set-based automatic bug triaging
- GATE: game-based testing environment
- How do programmers ask and answer questions on the web?
- ICSE 2011 technical briefings
- Identifying method friendships to remove the feature envy bad smell
- Identifying opaque behavioural changes
- Identifying program, test, and environmental changes that affect behaviour
- Impact of process simulation on software practice: an initial report
- Impact of software resource estimation research on practice: a preliminary report on achievements, synergies, and challenges
- Improving open source software patch contribution process: methods and tools
- Improving requirements quality using essential use case interaction patterns
- Inconsistency management framework for model-based development
- Inconsistent path detection for XML IDEs
- Inference of field initialization
- Inferring better contracts
- Information foraging as a foundation for code navigation
- Interactivity, continuity, sketching, and experience: (keynote abstract)
- Interface decomposition for service compositions
- Iterative context-aware feature location
- JDeodorant: identification and application of extract class refactorings
- JavAdaptor: unrestricted dynamic software updates for Java
- LIME: a framework for debugging load imbalance in multi-threaded execution
- Learning to adapt requirements specifications of evolving systems
- Leveraging software architectures to guide and verify the development of sense/compute/control applications
- MT-Scribe: an end-user approach to automate software model evolution
- Matching logic: a new program verification approach
- MeCC: memory comparison-based clone detector
- Measuring subversions: security and legal risk in reused software artifacts
- Mental models and parallel program maintenance
- Miler: a toolset for exploring email data
- Mining message sequence graphs
- Mining parametric specifications
- Mining service abstractions
- Mining software repositories using topic models
- Model projection: simplifying models in response to restricting the environment
- Model-based performance testing
- Model-driven engineering practices in industry
- Multifractal aspects of software development
- Non-essential changes in version histories
- On-demand feature recommendations derived from mining public product descriptions
- Ownership, experience and defects: a fine-grained study of authorship
- Palus: a hybrid automated test generation tool for java
- Patching vulnerabilities with sanitization synthesis
- Permission-based programming languages
- Perspectives of delegation in team-based distributed software development over the GENI infrastructure
- Portfolio: a search engine for finding functions and their usages
- Portfolio: finding relevant functions and their usage
- Positive effects of utilizing relationships between inconsistencies for more effective inconsistency resolution
- Practical change impact analysis based on static program slicing for industrial software systems
- Pragmatic prioritization of software quality assurance efforts
- Pragmatic reuse in web application development
- Precise identification of problems for structural test generation
- Predictable dynamic deployment of components in embedded systems
- Problem identification for structural test generation: first step towards cooperative developer testing
- Program abstractions for behaviour validation
- Program analysis: from qualitative analysis to quantitative analysis
- Programs, tests, and oracles: the foundations of testing revisited
- RACEZ: a lightweight and non-invasive race detection tool for production applications
- ReAssert: a tool for repairing broken unit tests
- Reengineering legacy software products into software product line based on automatic variability analysis
- Refactoring Java programs for flexible locking
- Refactoring pipe-like mashups for end-user programmers
- Refactoring to role objects
- Requirements tracing: discovering related documents through artificial pheromones and term proximity
- Reuse vs. maintainability: revealing the impact of composition code properties
- Reverse engineering feature models
- Run-time efficient probabilistic model checking
- SCORE 2011: the second student contest on software engineering
- SEREBRO: facilitating student project team collaboration
- SORASCS: a case study in soa-based platform design for socio-cultural analysis
- Scalable automatic linearizability checking
- Search-enhanced testing
- Searching, selecting, and synthesizing source code
- Second international workshop on managing technical debt: (MTD 2011)
- Second international workshop on product line approaches in software engineering: (PLEASE 2011)
- Second international workshop on software engineering for sensor network applications: (SESENA 2011)
- Second international workshop on web 2.0 for software engineering: (Web2SE 2011)
- Seventh international workshop on software engineering for secure systems: (SESS 2011)
- Sixth international workshop on automation of software test: (AST 2011)
- Sixth international workshop on traceability in emerging forms of software engineering: (TEFSE 2011)
- Sketching tools for ideation
- Socio-technical developer networks: should we trust our measurements?
- Software systems as cities: a controlled experiment
- Specification mining in concurrent and distributed systems
- Specification mining in concurrent and distributed systems
- StakeSource2.0: using social networks of stakeholders to identify and prioritise requirements
- Static extraction of program configuration options
- Supporting professional spreadsheet users by generating leveled dataflow diagrams
- Symbolic execution for software testing in practice: preliminary assessment
- Symbolic model checking of software product lines
- Synthesis of live behaviour models for fallible domains
- Systematizing security test case planning using functional requirements phrases
- Taming reflection: Aiding static analysis in the presence of reflection and custom class loaders
- Test blueprint: an effective visual support for test coverage
- The American law institute's principles on software contracts and their ramifications for software engineering research
- The code orb: supporting contextualized coding via at-a-glance views
- The hidden experts in software-engineering communication
- The impact of fault models on software robustness evaluations
- The lazy initialization multilayered modeling framework
- The quamoco tool chain for quality modeling and assessment
- Third international workshop on principles of engineering service-oriented systems: (PESOS 2011)
- Third international workshop on search-driven development: users, infrastructure, tools, and evaluation (SUITE 2011)
- Third international workshop on software engineering in healthcare: (SEHC 2011)
- Topic-based defect prediction
- Toward a better understanding of tool usage
- Toward sustainable software engineering
- Towards architectural information in implementation
- Towards overcoming human analyst fallibility in the requirements tracing process
- Towards quantitative software reliability assessment in incremental development processes
- Tracing architectural concerns in high assurance systems
- Tracing architecturally significant requirements: a decision-centric approach
- Tracking data structures for postmortem analysis
- Transformation for class immutability
- Tuple density: a new metric for combinatorial test suites
- Understanding broadcast based peer review on open source software projects
- Unifying execution of imperative and declarative code
- Using MATCON to generate CASE tools that guide deployment of pre-packaged applications
- Using impact analysis in industry
- Using software evolution history to facilitate development and maintenance
- Value-based program characterization and its application to software plagiarism detection
- Verifying multi-threaded software using smt-based context-bounded model checking
- View infinity: a zoomable interface for feature-oriented software development
- Why software quality improvement fails: (and how to succeed nevertheless)
- Workshop on SHAring and Reusing architectural Knowledge: (SHARK 2011)
- Workshop on cooperative and human aspects of software engineering: (CHASE 2011)
- Workshop on emerging trends in software metrics: (WETSoM 2011)
- Workshop on flexible modeling tools: (FlexiTools 2011)
- Workshop on games and software engineering: (GAS 2011)
- Workshop on software engineering for cloud computing: (SECLOUD 2011)
- aComment: mining annotations from comments and code to detect interrupt related concurrency bugs