ICSE 2013
242 papers
- 1st FME workshop on formal methods in software engineering (FormaliSE 2013)
- 1st international workshop on assurance cases for software-intensive systems (ASSURE 2013)
- 1st international workshop on combining modelling and search-based software engineering (CMSBSE 2013)
- 1st international workshop on conducting empirical studies in industry (CESI 2013)
- 1st international workshop on data analysis patterns in software engineering (DAPSE 2013)
- 1st international workshop on live programming (LIVE 2013)
- 1st international workshop on natural language analysis in software engineering (NaturaLiSE 2013)
- 1st international workshop on release engineering (RELENG 2013)
- 1st international workshop on the engineering of mobile-enabled systems (MOBS 2013)
- 2nd SEMAT workshop on a general theory of software engineering (GTSE 2013)
- 2nd international workshop on green and sustainable software (GREENS 2013)
- 2nd international workshop on realizing artificial intelligence synergies in software engineering (RAISE 2013)
- 2nd international workshop on software engineering challenges for the smart grid (SE4SG 2013)
- 2nd international workshop on the twin peaks of requirements and architecture (TwinPeaks 2013)
- 2nd international workshop on user evaluations for software engineering researchers (USER 2013)
- 3rd international workshop on collaborative teaching of globally distributed software development (CTGDSD 2013)
- 3rd international workshop on developing tools as plug-ins (TOPI 2013)
- 3rd international workshop on games and software engineering: engineering computer games to enable positive, progressive change (GAS 2013)
- 4th international workshop on emerging trends in software metrics (WETSoM 2013)
- 4th international workshop on managing technical debt (MTD 2013)
- 4th international workshop on product LinE approaches in software engineering (PLEASE 2013)
- 4th international workshop on software engineering for sensor network applications (SESENA 2013)
- 5th international workshop on modeling in software engineering (MiSE 2013)
- 5th international workshop on principles of engineering service-oriented systems (PESOS 2013)
- 5th international workshop on software engineering for computational science and engineering (SE-CSE 2013)
- 5th international workshop on software engineering in health care (SEHC 2013)
- 6th international workshop on cooperative and human aspects of software engineering (CHASE 2013)
- 7th international workshop on software clones (IWSC 2013)
- 8th international workshop on automation of software test (AST 2013)
- A case for human-driven software development
- A characteristic study on failures of production distributed data-parallel programs
- A framework for managing cloned product variants
- A framework for self-healing software systems
- A framework to evaluate software engineering student contests: evaluation and integration with academic programs
- A hands-on Java PathFinder tutorial
- A large scale Linux-kernel based benchmark for feature location research
- A learning-based method for combining testing techniques
- A proposal for the improvement of project's cost predictability using EVM and historical data of cost
- A roadmap for software maintainability measurement
- A study of enabling factors for rapid fielding: combined practices to balance speed and stability
- A study of variability spaces in open source software
- Agility at scale: economic governance, measured improvement, and disciplined delivery
- Aluminum: principled scenario exploration through minimality
- An approach for restructuring text content
- An approach to documenting and evolving architectural design decisions
- An empirical study on the developers' perception of software coupling
- An evaluation of interactive test-driven labs with WebIDE in CS0
- An observable and controllable testing framework for modern systems
- An ontology toolkit for problem domain concept location in program comprehension
- Analysis of user comments: an approach for software requirements evolution
- Analyzing the change-proneness of service-oriented systems from an industrial perspective
- Are software patents bad? (keynote)
- Are your incoming aliases really necessary? counting the cost of object ownership
- Assisting developers of big data analytics applications when deploying on hadoop clouds
- Authentic assessment in software engineering education based on PBL principles: a case study in the telecom market
- Automated diagnosis of software configuration errors
- Automated reliability estimation over partial systematic explorations
- Automated software architecture security risk analysis using formalized signatures
- Automated testing of GUI applications: models, tools, and controlling flakiness
- Automatic detection of performance deviations in the load testing of large scale systems
- Automatic patch generation learned from human-written patches
- Automatic query reformulations for text retrieval in software engineering
- Automatic recovery from runtime failures
- Automatic synthesis of modular connectors via composition of protocol mediation patterns
- Automatic testing of sequential and concurrent substitutability
- Beyond boolean product-line model checking: dealing with feature attributes and multi-features
- Billions and billions of constraints: whitebox fuzz testing in production
- Boa: a language and infrastructure for analyzing ultra-large-scale software repositories
- Bottom-up model-driven development
- Bridging the gap between the total and additional test-case prioritization strategies
- Broken sets in software repository evolution
- Build your own model checker in one month
- Building high assurance secure applications using security patterns for capability-based platforms
- Building test suites in social coding sites by leveraging drive-by commits
- CEL: modeling everywhere
- Cassandra: proactive conflict minimization through optimized task scheduling
- Categorizing bugs with social networks: a case study on four open source software communities
- Changeset based developer communication to detect software failures
- Chronicler: lightweight recording to reproduce field failures
- Comparative causality: explaining the differences between executions
- Comparing multi-point stride coverage and dataflow coverage
- Computational alignment of goals and scenarios for complex systems
- ConfDiagnoser: an automated configuration error diagnosis tool for Java software
- Controller synthesis: from modelling to enactment
- Counter play-out: executing unrealizable scenario-based specifications
- Coupling software architecture and human architecture for collaboration-aware system adaptation
- Creating a shared understanding of testing culture on a social coding site
- DRC: a detection tool for dangling references in PHP-based web applications
- Data clone detection and visualization in spreadsheets
- Data science for software engineering
- Deciphering the story of software development through frequent pattern mining
- Decision theoretic requirements prioritization: a two-step approach for sliding towards value realization
- Departures from optimality: understanding human analyst's information foraging in assisted requirements tracing
- Detecting deadlock in programs with data-centric synchronization
- Detecting inconsistencies in wrappers: a case study
- Detecting spurious counterexamples efficiently in abstract model checking
- Developing verified programs with dafny
- Discovering essential code elements in informal documentation
- Distributed development considered harmful?
- Does bug prediction support human developers? findings from a google case study
- Does scale really matter? ultra-large-scale systems seven years after the study (keynote)
- Drag-and-drop refactoring: intuitive and efficient program transformation
- Dual ecological measures of focus in software development
- Dynamic injection of sketching features into GEF based diagram editors
- Dynamic synthesis of local time requirement for service composition
- Efficient and change-resilient test automation: an industrial case study
- Efficient construction of approximate call graphs for JavaScript IDE services
- Efficient quality assurance of variability-intensive systems
- Eliminative induction: a basis for arguing system confidence
- Enabling a classroom design studio with a collaborative sketch design tool
- Energy aware self-adaptation in mobile systems
- Engineering adaptive privacy: on the role of privacy awareness requirements
- Estimating mobile application energy consumption using program analysis
- Estimating software-intensive projects in the absence of historical data
- Evaluating usefulness of software metrics: an industrial experience report
- Example-driven modeling: model = abstractions + examples
- Expectations, outcomes, and challenges of modern code review
- Explicating symbolic execution (xSymExe): an evidence-based verification framework
- Exploring the impact of inter-smell relations on software maintainability: an empirical study
- Exploring the internal state of user interfaces by combining computer vision techniques with grammatical inference
- Expositor: scriptable time-travel debugging with first-class traces
- Fault comprehension for concurrent programs
- Feedback-directed unit test generation for C/C++ using concolic execution
- Formal specifications better than function points for code sizing
- Fostering software quality assessment
- From models to code and back: correct-by-construction code from UML and ALF
- GROPG: a graphical on-phone debugger
- Green streams for data-intensive software
- GuideArch: guiding the exploration of architectural solution space under uncertainty
- Guided test generation for web applications
- How to effectively use topic models for software engineering tasks? an approach based on genetic algorithms
- How, and why, process metrics are better
- Human performance regression testing
- Hunting for smells in natural language tests
- Identifying failure inducing developer pairs within developer networks
- Implementing database access control policy from unconstrained natural language text
- Improving feature location practice with multi-faceted interactive exploration
- Increasing anomaly handling efficiency in large organizations using applied machine learning
- Industry involvement in ICT curriculum: a comparative survey
- Inferring likely mappings between APIs
- Informing development decisions: from data to information
- Integrating systematic exploration, analysis, and maintenance in software development
- Interaction-based test-suite minimization
- Is time-zone proximity an advantage for software development? the case of the brazilian IT industry
- It's not a bug, it's a feature: how misclassification impacts bug prediction
- JITTAC: a just-in-time tool for architectural consistency
- JST: an automatic test generation tool for industrial Java applications with strings
- LAMBDAFICATOR: from imperative to functional programming through automated refactoring
- LASE: an example-based program transformation tool for locating and applying systematic edits
- LASE: locating and applying systematic edits by learning from examples
- Learning revised models for planning in adaptive systems
- Liberating pair programming research from the oppressive Driver/Observer regime
- MCT: a tool for commenting programs by multimedia comments
- MIDAS: a design quality assessment method for industrial software
- Managing non-functional uncertainty via model-driven adaptivity
- Measuring architecture quality by structure plus history analysis
- Measuring the forensic-ability of audit logs for nonrepudiation
- Memoise: a tool for memoized symbolic execution
- Mining SQL injection and cross site scripting vulnerabilities using hybrid program analysis
- Mitigating the obsolescence of specification models of service-based systems
- NavClus: a graphical recommender for assisting code exploration
- Normalizing source code vocabulary to support program comprehension and software quality
- Not going to take this anymore: multi-objective overtime planning for software engineering projects
- Novice understanding of program analysis tool notifications
- Observable modified Condition/Decision coverage
- Obtaining ground-truth software architectures
- On extracting unit tests from interactive live programming sessions
- On identifying user complaints of iOS apps
- On the relationships between domain-based coupling and code clones: an exploratory study
- On the value of user preferences in search-based software engineering: a case study in software product lines
- POPT: a problem-oriented programming and testing approach for novice students
- Partition-based regression verification
- Path sensitive static analysis of web applications for remote code execution vulnerability detection
- Pathways to technology transfer and adoption: achievements and challenges (mini-tutorial)
- PorchLight: a tag-based approach to bug triaging
- Practical semantic test simplification
- Predicting bug-fixing time: an empirical study of commercial software projects
- Pricing crowdsourcing-based software development tasks
- Program transformations to fix C integers
- Quantitative program slicing: separating statements by relevance
- Query quality prediction and reformulation for source code search: the refoqus tool
- RADAR: a tool for debugging regression problems in C/C++ software
- RERAN: timing- and touch-sensitive record and replay for Android
- Reasoning with qualitative preferences to develop optimal component-based systems
- Reducing human effort and improving quality in peer code reviews using automatic static analysis and reviewer recommendation
- Reliability analysis in symbolic pathfinder
- Reproducing and debugging field failures in house
- Requirements modelling by synthesis of deontic input-output automata
- Reverb: recommending code-related web pages
- Robust reconfigurations of component assemblies
- SNIPR: complementing code search with code retargeting capabilities
- Safe software updates via multi-version execution
- Scaling agile methods to regulated environments: an industry case study
- Seahawk: stack overflow in the IDE
- Search-based genetic optimization for deployment and reconfiguration of software in the cloud
- Segmented symbolic analysis
- Selecting checkpoints along the time line: a novel temporal checkpoint selection strategy for monitoring a batch of parallel business processes
- SemFix: program repair via semantic analysis
- Semantic smells and errors in access control models: a case study in PHP
- Service networks for development communities
- Situational awareness: personalizing issue tracking systems
- Sketching software in the wild
- Software analytics: achievements and challenges
- Software metrics: pitfalls and best practices
- Software requirement patterns
- Strategies for product-line verification: case studies and experiments
- Studios in software engineering education: towards an evaluable model
- Studying the effect of co-change dispersion on software quality
- Supporting application development with structured queries in the cloud
- Supporting incremental programming with ghosts
- Supporting maintenance tasks on transformational code generation environments
- Supporting swift reaction: automatically uncovering performance problems by systematic experiments
- Systematically selecting a software module during opportunistic reuse
- Teaching and learning programming and software engineering via interactive gaming
- Teaching developer skills in the first software engineering course
- Teaching software process modeling
- Teaching students global software engineering skills using distributed scrum
- Technical debt: past, present, and future (panel)
- Temporal code completion and navigation
- TestEvol: a tool for analyzing test-suite evolution
- The connection between movie making and software development (keynote)
- The design of bug fixes
- The role of domain knowledge and cross-functional communication in socio-technical coordination
- Toddler: detecting performance problems via similar memory-access patterns
- Toward a software product line for affective-driven self-adaptive systems
- Towards automated testing and fixing of re-engineered feature models
- Towards recognizing and rewarding efficient developer work patterns
- Town hall discussion of SE 2004 revisions (panel)
- Transfer defect learning
- UML in practice
- Understanding and simulating software evolution
- Understanding regression failures through test-passing and test-failing code changes
- Unifying FSM-inference algorithms through declarative specification
- User involvement in software evolution practice: a case study
- Using mutation analysis for a model-clone detector comparison framework
- V: ISSUE: LIZER: exploring requirements clarification in online communication over time
- Vulnerability of the day: concrete demonstrations for software engineering undergraduates
- What good are strong specifications?
- Why did this code change?
- Why don't software developers use static analysis tools to find bugs?
- X-PERT: accurate identification of cross-browser issues in web applications
- YODA: young and newcomer developer assistant