FSE 2018
124 papers
- A formal verification tool for Ethereum VM bytecode
- A novel automated approach for software effort estimation based on data augmentation
- ASketch: a sketching framework for Alloy
- Adversarial symbolic execution for detecting concurrency-related cache timing leaks
- AlloyInEcore: embedding of first-order relational logic into meta-object facility for automated model reasoning
- An empirical study on crash recovery bugs in large-scale distributed systems
- AppFlow: using machine learning to synthesize robust, reusable UI tests
- Applications of psychological science for actionable analytics
- Are mobile banking apps secure? what can be improved?
- Augmenting stack overflow with API usage patterns mined from GitHub
- Automated patch extraction via syntax- and semantics-aware Delta debugging on source code changes
- Automated refactoring of nested-IF formulae in spreadsheets
- Automated scenario-based integration testing of distributed systems
- Automated support for mobile application testing and maintenance
- Be careful of when: an empirical study on time-related misuse of issue tracking data
- Behind every great deep learning framework is an even greater programming languages concept (keynote)
- Beyond testing configurable systems: applying variational execution to automatic program repair and higher order mutation testing
- BigSift: automated debugging of big data analytics in data-intensive scalable computing
- Bug synthesis: challenging bug-finding tools with deep faults
- Bugs in the wild: examining the effectiveness of static analyzers at finding real-world bugs
- Building lean continuous integration and delivery pipelines by applying DevOps principles: a case study at Varidesk
- CloudRaid: hunting concurrency bugs in the cloud via log-mining
- Code vectors: understanding programs through embedded abstracted symbolic traces
- Complementing global and local contexts in representing API descriptions to improve API retrieval tasks
- Concurrency verification with maximal path causality
- DLFuzz: differential fuzzing testing of deep learning systems
- DSM: a specification mining tool using recurrent neural network based language model
- Dara: hybrid model checking of distributed systems
- Darwinian data structure selection
- Data race detection on compressed traces
- Deep learning type inference
- DeepSim: deep learning code functional similarity
- Design and validation of precooked developer dashboards
- Detecting speech act types in developer question/answer conversations during bug repair
- Detection of energy inefficiencies in Android wear watch faces
- Diversity and decorum in open source communities
- Do Android taint analysis tools keep their promises?
- Do the dependency conflicts in my project matter?
- Does ACM's code of ethics change ethical decision making in software development?
- EClone: detect semantic clones in Ethereum via symbolic transaction sketch
- Ecosystem-level determinants of sustained activity in open-source projects: a case study of the PyPI ecosystem
- Efficient static checking of library updates
- FACTS: automated black-box testing of FinTech systems
- FOT: a versatile, configurable, extensible fuzzing framework
- Feature-interaction aware configuration prioritization
- Feedback-directed differential testing of interactive debuggers
- FraudDroid: automated ad fraud detection for Android apps
- Gamifying static analysis
- How Dance(Sport) can help to produce better software
- How are spreadsheet templates used in practice: a case study on Enron
- How do developers resolve merge conflicts? an investigation into the processes, tools, and improvements
- How should compilers explain problems to developers?
- How well are regular expressions tested in the wild?
- INFAR: insight extraction from app reviews
- Identifying impactful service system problems via log analysis
- Improving IR-based bug localization with context-aware query reformulation
- Intelligent bug fixing with software bug knowledge graph
- Large-scale study of substitutability in the presence of effects
- Learning to sample: exploiting similarities across environments to learn performance models for configurable systems
- MODE: automated neural network model debugging via state differential analysis and input selection
- MemFix: static analysis-based repair of memory deallocation errors for C
- Mining error-handling specifications for systems software
- Model transformation languages under a magnifying glass: a controlled experiment with Xtend, ATL, and QVT
- Modeling and testing a family of surgical robots: an experience report
- Modify, enhance, select: co-evolution of combinatorial models and test plans
- Moving towards objective measures of program comprehension
- NAR-miner: discovering negative association rules from code for bug detection
- Neural-augmented static analysis of Android communication
- On the adoption of neural networks in modeling software reliability
- On the naturalness of proofs
- One size does not fit all: an empirical study of containerized continuous deployment workflows
- Operationalizing human values in software: a research roadmap
- Optimizing test prioritization via test distribution analysis
- Oreo: detection of clones in the twilight zone
- PAFL: extend fuzzing optimizations of single mode to industrial parallel mode
- Parameterized model counting for string and numeric constraints
- Path-based function embedding and its application to error-handling specification mining
- Performance comprehension at WiredTiger
- Phys: probabilistic physical unit assignment and inconsistency detection
- PowerStation: automatically detecting and fixing inefficiencies of database-backed web applications in IDE
- Practical AJAX race detection for JavaScript web applications
- Practices and tools for better software testing
- Predicting Node failure in cloud service systems
- Putback-based bidirectional model transformations
- PyDriller: Python framework for mining software repositories
- Quality assurance automation in autonomous systems
- RefiNym: using names to refine types
- Regression test selection for TizenRT
- Reshaping distributed agile and adaptive development environment
- Salient-class location: help developers understand code change in code review
- Scalability-first pointer analysis with self-tuning context-sensitivity
- Semantic inference from natural language privacy policies and Android code
- Singularity: pattern fuzzing for worst case complexity
- SketchFix: a tool for automated program repair approach using lazy candidate generation
- Software development challenges with air-gap isolation
- Software engineering collaboratories (SEClabs) and collaboratories as a service (CaaS)
- Software fairness
- Stochastic energy optimization for mobile GPS applications
- Symbolic execution with existential second-order constraints
- Syntax-guided synthesis of Datalog programs
- Ten years of hunting for similar code for fun and profit (keynote)
- Testing and validating end user programmed calculated fields
- Testing multithreaded programs via thread speed control
- Testing probabilistic programming systems
- The case for experiment-oriented computing
- The impact of failing, flaky, and high failure tests on the number of crash reports associated with Firefox builds
- The impact of regular expression denial of service (ReDoS) in practice: an empirical study at the ecosystem scale
- Themis: automatically testing software for discrimination
- Towards a theory of software development expertise
- Towards counterexample-guided k-induction for fast bug detection
- Towards data-driven vulnerability prediction for requirements
- Towards learning-augmented languages
- Towards quantifying the development value of code contributions
- Type migration in large-scale code bases
- Using finite-state models for log differencing
- VT-revolution: interactive programming tutorials made possible
- Verifying the long-run behavior of probabilistic system models in the presence of uncertainty
- Vista: web test repair using computer vision
- Visual web test repair
- VulSeeker-pro: enhanced semantic learning based binary vulnerability seeker with emulation
- WarningsGuru: integrating statistical bug models with static analysis to provide timely and specific bug warnings
- What makes a code change easier to review: an empirical investigation on code change reviewability
- Which generated test failures are fault revealing? prioritizing failures based on inferred precondition violations using PAF
- Winning the app production rally