ICSE 2012
239 papers
- A bidirectional model-driven spreadsheet environment
- A generic methodology to derive domain-specific performance feedback for developers
- A history-based matching approach to identification of framework evolution
- A large scale exploratory analysis of software vulnerability life cycles
- A requirements-based approach for the design of adaptive systems
- A self-healing technique for Java applications
- A study on improving static analysis tools: Why are we not using them?
- A systematic study of automated program repair: Fixing 55 out of 105 bugs for $8 each
- A tactic-centric approach for automating traceability of quality concerns
- Active code completion
- Active refinement of clone anomaly reports
- Ambient awareness of build status in collocated software teams
- Amplifying tests to validate exception handling code
- An approach to variability management in service-oriented product lines
- An automated approach to generating efficient constraint solvers
- An empirical study about the effectiveness of debugging when random test cases are used
- An integrated bug processing framework
- Analyzing multi-agent systems with probabilistic model checking approach
- Application of Self-Adaptive techniques to federated authorization models
- Architectural task allocation in distributed environment: A traceability perspective
- Asking and answering questions about unfamiliar APIs: An exploratory study
- Assisting end-user development in browser-based mashup tools
- Augmented intelligence - The new AI - Unleashing human capabilities in knowledge work
- Augmenting test suites automatically
- Augmenting test suites effectiveness by increasing output diversity
- Automated analysis of CSS rules to support style maintenance
- Automated detection of client-state manipulation vulnerabilities
- Automated oracle creation support, or: How I learned to stop worrying about fault propagation and love mutation testing
- Automated repair of HTML generation errors in PHP applications using string constraint solving
- Automatic input rectification
- Automatic parameter recommendation for practical API usage
- Automatically detecting developer activities and problems in software development work
- Automatically finding performance problems with feedback-directed learning software testing
- Automating test automation
- Axis: Automatically fixing atomicity violations through solving control constraints
- BRACE: An assertion framework for debugging cyber-physical systems
- BabelRef: Detection and renaming tool for cross-language program entities in dynamic web applications
- Ballerina: Automatic generation and clustering of efficient random unit tests for multithreaded code
- Behavioral validation of JFSL specifications through model synthesis
- Blaze
- Bridging the divide between software developers and operators using logs
- Bug prediction based on fine-grained module histories
- BugRedux: Reproducing field failures for in-house debugging
- Build code analysis with symbolic evaluation
- CBCD: Cloned buggy code detector
- Capturing and exploiting fine-grained IDE interactions
- Certification-based development of critical systems
- Characterizing and predicting which bugs get reopened
- Characterizing logging practices in open-source software
- Co-adapting human collaborations and software architectures
- Code Bubbles: A practical working-set programming environment
- CodeTimeline: Storytelling with versioning data
- Collaboration patterns in distributed software development projects
- Combining functional and imperative programming for multicore software: An empirical study evaluating Scala and Java
- ConTexter feedback system
- ConcernReCS: Finding code smells in software aspectization
- Constructing parser for industrial software specifications containing formal and natural language description
- Content classification of development emails
- Continuous social screencasting to facilitate software tool discovery
- Coupled evolution of model-driven spreadsheets
- Crosscutting revision control system
- Debugger Canvas: Industrial experience with the code bubbles paradigm
- Detecting and visualizing inter-worksheet smells in spreadsheets
- Detecting metadata bugs on the fly
- Detecting similar software applications
- Developer prioritization in bug repositories
- Development of auxiliary functions: Should you be agile? An empirical assessment of pair programming and test-first programming
- Digital formations of the powerful and the powerless (Keynote)
- Disengagement in pair programming: Does it matter?
- Documenting and sharing knowledge about code
- Does organizing security patterns focus architectural choices?
- EVOSS: A tool for managing the evolution of free and open source software systems
- EXSYST: Search-based GUI testing
- Effective specification of decision rights and accountabilities for better performing software engineering projects
- Efficient reuse of domain-specific test knowledge: An industrial case in the smart card domain
- Egidio: A non-invasive approach for synthesizing organizational models
- Empirically researching development of international software
- Enabling dynamic metamodels through constraint-driven modeling
- Engineering and verifying requirements for programmable self-assembling nanomachines
- Enhancing architecture-implementation conformance with change management and support for behavioral mapping
- Evaluating the specificity of text retrieval queries to support software engineering tasks
- Exploring techniques for rationale extraction from existing documents
- Extending static analysis by mining project-specific rules
- FOCUS: An adaptation of a SWEBOK-based curriculum for industry requirements
- Facilitating communication between engineers with CARES
- FastFix: Monitoring control for remote software maintenance
- Finding suitable programs: Semantic search with incomplete and lightweight specifications
- Five days of empirical software engineering: The PASED experience
- Formal correctness, safety, dependability, and performance analysis of a satellite
- Generating obstacle conditions for requirements completeness
- Generating range fixes for software configuration
- Going global with agile service networks
- Goldfish bowl panel: Software development analytics
- GraPacc: A graph-based pattern-oriented, context-sensitive code completion tool
- Graph-based analysis and prediction for software evolution
- Graph-based pattern-oriented, context-sensitive source code completion
- Green mining: Investigating power consumption across versions
- HARPPIE: Hyper algorithmic recipe for productive parallelism intensive endeavors
- Hot clones: Combining search-driven development, clone management, and code provenance
- How do professional developers comprehend software?
- How much does unused code matter for maintenance?
- How software engineering can benefit from traditional industries - A practical experience report (Invited industrial talk)
- Identifying Linux bug fixing patches
- Improving IDE recommendations by considering global implications of existing recommendations
- Improving PSP education by pairing: An empirical study
- Improving early detection of software merge conflicts
- Improving failure-inducing changes identification using coverage analysis
- Improving information retrieval-based concept location using contextual relationships
- Industrial application of concolic testing approach: A case study on libexif by using CREST-BV and KLEE
- Inferring class level specifications for distributed systems
- Inferring developer expertise through defect analysis
- Inferring method specifications from natural language API descriptions
- Influencing the adoption of software engineering methods using social software
- Information needs for software development analytics
- Integrated impact analysis for managing software changes
- Integrating tools and frameworks in undergraduate software engineering curriculum
- Interactive refinement of combinatorial test plans
- JavaMOP: Efficient parametric runtime monitoring framework
- Language modularity with the MPS language workbench
- Large-scale formal verification in practice: A process perspective
- Large-scale test automation in the cloud (Invited industrial talk)
- Leveraging test generation and specification mining for automated bug detection without false positives
- Locating features in dynamically configured avionics software
- Log-based testing
- MASH: A tool for end-user plug-in composition
- MDSheet: A framework for model-driven spreadsheet engineering
- MagicFuzzer: Scalable deadlock detection for large-scale applications
- Maintaining invariant traceability through bidirectional transformations
- Making sense of healthcare benefits
- Managing evolution of software product line
- Metadata invariants: Checking and inferring metadata coding conventions
- Methodology for migration of long running process instances in a global large scale BPM environment in Credit Suisse's SOA landscape
- Mining Java class identifier naming conventions
- Mining application repository to recommend XML configuration snippets
- Mining input sanitization patterns for predicting SQL injection and cross site scripting vulnerabilities
- Model translations among big-step modeling languages
- Modeling Cloud performance with Kriging
- Moving mobile applications between mobile devices seamlessly
- Multi-label software behavior learning
- Object-centric debugging
- On how often code is cloned across repositories
- On the analysis of evolution of software artefacts and programs
- On the naturalness of software
- On the proactive and interactive visualization for feature evolution comprehension: An industrial investigation
- On-demand test suite reduction
- Online sharing and integration of results from mining software repositories
- Overcoming the challenges in cost estimation for distributed software projects
- Partial evaluation of model transformations
- Partial models: Towards modeling and reasoning with uncertainty
- Performance debugging in the large via mining millions of stack traces
- Petri nets state space analysis in the cloud
- Predicting performance via automated feature-interaction detection
- Privacy and utility for defect prediction: Experiments with MORPH
- ReBucket: A method for clustering duplicate crash reports based on call stack similarity
- Recommending source code for use in rapid software prototypes
- Reconciling manual and automatic refactoring
- Recovering traceability links between an API and its learning resources
- Reducing confounding bias in predicate-level statistical debugging metrics
- Refounding software engineering: The Semat initiative (Invited presentation)
- Release engineering practices and pitfalls
- Repository for Model Driven Development (ReMoDD)
- Restructuring unit tests with TestSurgeon
- Runtime monitoring of component changes with Spy@Runtime
- SDiC: Context-based retrieval in Eclipse
- SOA adoption in the Italian industry
- Search based design of software product lines architectures
- Security testing of web applications: A research plan
- Semi-automatically extracting FAQs to improve accessibility of software development knowledge
- Simulation-based abstractions for software product-line model checking
- Slicing MATLAB Simulink models
- Societal Computing
- Software analytics in practice: Mini tutorial
- Software architecture - What does it mean in industry? (Invited industrial talk)
- Software as an engineering material: How the affordances of programming have changed and what to do about it (Invited industrial talk)
- Software fault localization based on program slicing spectrum
- Software process improvement through the identification and removal of project-level knowledge flow obstacles
- Software regression as change of input partitioning
- Sound empirical evidence in software testing
- Specification engineering and modular verification using a web-integrated verifying compiler
- Specification patterns from research to industry: A case study in service-based applications
- Stack layout transformation: Towards diversity for securing binary programs
- Stages in teaching software testing
- Static detection of resource contention problems in server-side scripts
- Statically checking API protocol conformance with mined multi-object specifications
- Stride: Search-based deterministic replay in polynomial time via bounded linkage
- Summary of the ICSE 2012 tutorials and technical briefings
- Summary of the ICSE 2012 workshops
- Supporting extract class refactoring in Eclipse: The ARIES project
- Supporting sustainability with software - An industrial perspective (Keynote)
- Symbiotic general-purpose and domain-specific languages
- Synthesis of event-based controllers: A software engineering challenge
- Synthesizing API usage examples
- Teaching collaborative software development: A case study
- Teaching software engineering and software project management: An integrated and practical approach
- Temporal analysis of API usage concepts
- Ten tips to succeed in Global Software Engineering education
- Ten years of automated code analysis at Microsoft (Invited industrial talk)
- Test confessions: A study of testing practices for plug-in systems
- Testing and debugging UML models based on fUML
- The Quamoco product quality modelling and assessment approach
- The co-evolution of socio-technical structures in sustainable software development: Lessons from the open source software communities
- The impacts of software process improvement on developers: A systematic review
- Timely and efficient facilitation of coordination of software developers' activities
- Timely detection of Coordination Requirements to support collaboration among software developers
- Toward actionable, broadly accessible contests in Software Engineering
- Towards a federated cloud ecosystem (Invited industrial talk)
- Towards business processes orchestrating the physical enterprise with wireless sensor networks
- Towards flexible evolution of Dynamically Adaptive Systems
- Towards the verification of multi-diagram UML models
- TraceLab: An experimental workbench for equipping researchers to innovate, synthesize, and comparatively evaluate traceability solutions
- Trends in object-oriented software evolution: Investigating network properties
- UDesignIt: Towards social media for community-driven design
- Uncovering performance problems in Java applications with reference propagation profiling
- Understanding integer overflow in C/C++
- Understanding the impact of Pair Programming on developers attention: A case study on a large industrial experimentation
- Use, disuse, and misuse of automated refactorings
- Using automatic static analysis to identify technical debt
- Using continuous integration of code and content to teach software engineering with limited resources
- Using dynamic analysis to discover polynomial and array invariants
- Using invariant relations in the termination analysis of while loops
- Using knowledge elicitation to improve Web effort estimation: Lessons from six industrial case studies
- Using machine learning to enhance automated requirements model transformation
- Using structural and semantic information to support software refactoring
- Using the GPGPU for scaling up Mining Software Repositories
- Verifying client-side input validation functions using string analysis
- What make long term contributors: Willingness and opportunity in OSS community
- What scope is there for adopting evidence-informed teaching in SE?
- When open source turns cold on innovation - The challenges of navigating licensing complexities in new research domains
- Where does this code come from and where does it go? - Integrated code history tracker for open source systems
- Where should the bugs be fixed? More accurate information retrieval-based bug localization based on bug reports
- Whither software architecture? (Keynote)
- WhoseFault: Automatic developer-to-fault assignment through fault localization
- Winbook: A social networking based framework for collaborative requirements elicitation and WinWin negotiations
- WitchDoctor: IDE support for real-time auto-completion of refactorings
- WorkItemExplorer: Visualizing software development tasks using an interactive exploration environment
- Writing dynamic service orchestrations with DSOL
- iTree: Efficiently discovering high-coverage configurations using interaction trees
- make test-zesti: A symbolic execution solution for improving regression testing
- xMapper: An architecture-implementation mapping tool