FSE 2008
35 papers
- A design-centric view of the economy: abstract
- A scalable technique for characterizing the usage of temporaries in framework-intensive Java applications
- ACM SIGSOFT impact paper award: reflections and prospects
- Alchemy: transmuting base alloy specifications into implementations
- An empirical study of the effect of time constraints on the cost-benefits of regression testing
- Automated identification of parameter mismatches in web applications
- Automatically locating framework extension examples
- Can developer-module networks predict failures?
- Deriving input syntactic structure from execution
- Dev 2.0: model driven development in the cloud
- Differential symbolic execution
- Doloto: code splitting for network-bound web 2.0 applications
- ENNA: software effort estimation using ensemble of neural networks with associative memory
- Effective blame for information-flow violations
- Efficient online monitoring of web-service SLAs
- Empirical evidence of the benefits of workspace awareness in software configuration management
- Experience in using a process language to define scientific workflow and generate dataset provenance
- Finding programming errors earlier by evaluating runtime monitors ahead-of-time
- Generation of concurrency control code using discrete-event systems theory
- Inter-context control-flow and data-flow test adequacy criteria for nesC applications
- Javert: fully automatic mining of general temporal properties from dynamic traces
- Latent social structure in open source projects
- Marple: a demand-driven path-sensitive buffer overflow detector
- Model-based fault detection in context-aware adaptive applications
- Modular verification of web services using efficient symbolic encoding and summarization
- On correct and complete strong merging of partial behaviour models
- Predicting failures with developer networks and social network analysis
- Profile-guided program simplification for effective testing and analysis
- Randomized active atomicity violation detection in concurrent programs
- Requirements engineering: from craft to discipline
- Semi-automating small-scale source code reuse via structural correspondence
- The implications of method placement on API learnability
- Towards compositional synthesis of evolving systems
- Using assertions to help end-user programmers create dependable web macros
- What makes a good bug report?