FSE 2013
95 papers
- A cost-effectiveness criterion for applying software defect prediction models
- A framework for defining the dynamic semantics of DSLs
- A logical revolution (keynote)
- A publication culture in software engineering (panel)
- A statistical semantic language model for source code
- API change and fault proneness: a threat to the success of Android apps
- Adequate monitoring of service compositions
- Agreements for software reuse in corporations
- An empirical analysis of the co-evolution of schema and code in database applications
- Artifact evaluation (summary)
- Automated oracles: an empirical study on cost and effectiveness
- Automatically describing software faults
- Automotive architecture description and its quality
- Bayesian inference using data flow analysis
- Boosting concolic testing via interpolation
- BugMap: a topographic map of bugs
- Cachetor: detecting cacheable data to remove bloat
- Cascading verification: an integrated method for domain-specific model checking
- Code fragment summarization
- Compiling mockups to flexible UIs
- Con2colic testing
- Convergent contemporary software peer review practices
- Crossing the gap from imperative to functional programming through refactoring
- Data debugging with continuous testing
- Design and optimization of multi-clocked embedded systems using formal technique
- Differential assertion checking
- Distributed program tracing
- Diversity in software engineering research
- Do all task dependencies require coordination? the role of task properties in identifying critical coordination needs in software projects
- Dynodroid: an input generation system for Android apps
- Effective dynamic detection of alias analysis errors
- Efficiency and early fault detection with lower and higher strength combinatorial interaction testing
- Empirical answers to fundamental software engineering problems (panel)
- Enhancing symbolic execution with built-in term rewriting and constrained lazy initialization
- Explaining inconsistent code
- Extracting URLs from JavaScript via program analysis
- Feature model extraction from large collections of informal product descriptions
- Finding incorrect compositions of atomicity
- Fuzzy service matching in on-the-fly computing
- Good technology makes the difficult task easy
- Identifying message flow in distributed event-based systems
- Improving trace accuracy through data-driven configuration and composition of tracing features
- Incrementally synthesizing controllers from scenario-based product line specifications
- Inferring project-specific bug patterns for detecting sibling bugs
- Iterative test suites refinement for elastic computing systems
- Jalangi: a selective record-replay and dynamic analysis framework for JavaScript
- Jalangi: a tool framework for concolic testing, selective record-replay, and dynamic analysis of JavaScript
- KATCH: high-coverage testing of software patches
- Lexical statistical machine translation for language migration
- Making offline analyses continuous
- Mining behavior models from enterprise web applications
- Mining succinct predicated bug signatures
- N-way model merging
- PHRT: a model and programmable tool for hardware reengineering automation
- PoMMaDe: pushdown model-checking for malware detection
- Practical static analysis of JavaScript applications in the presence of frameworks and libraries
- Precise range analysis on large industry code
- Precision reuse for efficient regression verification
- Prediction of atomic web services reliability based on k-means clustering
- Preventing database deadlocks in applications
- Producing software by integration: challenges and research directions (keynote)
- RADA: a tool for reasoning about algebraic data types with abstractions
- REDACT: preventing database deadlocks from application-based transactions
- RSA-MBT: a test tool for generating test artifacts based on models
- RUBRIC: a flexible tool for automated checking of conformance to requirement boilerplates
- Regression tests to expose change interaction errors
- RiTHM: a tool for enabling time-triggered runtime verification for C programs
- Risky files: an approach to focus quality improvement effort
- SPLat: lightweight dynamic analysis for reducing combinatorics in testing configurable systems
- Sample size vs. bias in defect prediction
- Scalable analysis of variable software
- Scalable and incremental software bug detection
- Searching for better configurations: a rigorous approach to clone evaluation
- Second-order constraints in dynamic invariant inference
- Server interface descriptions for automated testing of JavaScript web applications
- ShAir: extensible middleware for mobile peer-to-peer resource sharing
- SocialCDE: a social awareness tool for global software teams
- Software engineering for mathematics (keynote)
- Synthesis of component and connector models from crosscutting structural views
- System reliability calculation based on the run-time analysis of ladder program
- Termination proofs from tests
- The economics of static analysis tools
- Tightfit: adaptive parallelization with foresight
- Toward understanding the causes of unanswered questions in software information sites: a case study of stack overflow
- Towards emotional awareness in software development teams
- Towards open architecture system
- USMMC: a self-contained model checker for UML state machines
- Understanding gamification mechanisms for software development
- Using fault history to improve mutation reduction
- Using topic models to understand the evolution of a software ecosystem
- Where is the business logic?
- Will you still compile me tomorrow? static cross-version compiler validation
- Z3-str: a z3-based string solver for web application analysis
- aPET: a test case generation tool for concurrent objects
- h-ubu: an industrial-strength service-oriented component framework for JavaScript applications