ASE 2017
117 papers
- A comprehensive study of real-world numerical bug characteristics
- A comprehensive study on real world concurrency bugs in Node.js
- A demonstration of simultaneous execution and editing in a development environment
- A language model for statements of software code
- A static analysis tool with optimizations for reachability determination
- ANDROFLEET: testing WiFi peer-to-peer mobile apps in the large
- APIBot: question answering bot for API documentation
- All about activity injection: threats, semantics, and detection
- AnswerBot: automated generation of answer summary to developersź technical questions
- Are developers aware of the architectural impact of their changes?
- Automated cross-platform inconsistency detection for mobile apps
- Automatic loop-invariant generation and refinement through selective sampling
- Automatic summarization of API reviews
- Automatic testing of symbolic execution engines via program generation and differential testing
- Automatically assessing code understandability: how far are we?
- Automatically assessing crashes from heap overflows
- Automatically generating commit messages from diffs using neural machine translation
- Automatically reducing tree-structured test inputs
- BProVe: a formal verification framework for business process models
- BProVe: tool support for business process verification
- Boosting complete-code tool for partial program
- Can automated pull requests encourage software developers to upgrade out-of-date dependencies?
- Characterizing and taming non-deterministic bugs in JavaScript applications
- Cobra - an interactive static code analyzer
- CogniCrypt: supporting developers in using cryptography
- Comprehensive failure characterization
- Context-aware integrated development environment command recommender systems
- Contract-based program repair without the contracts
- Crowd intelligence enhances automated mobile testing
- DSIbin: identifying dynamic data structures in C/C++ binaries
- DSSynth: an automated digital controller synthesis tool for physical plants
- Defaultification refactoring: a tool for automatically converting Java methods to default
- Detecting fragile comments
- Detecting information flow by mutating input data
- Detecting unknown inconsistencies in web applications
- Diagnosing assumption problems in safety-critical products
- EHBDroid: beyond GUI testing for Android applications
- ELIXIR: effective object oriented program repair
- EventFlowSlicer: a tool for generating realistic goal-driven GUI tests
- Exploring regular expression comprehension
- FEMIR: a tool for recommending framework extension examples
- FiB: squeezing loop invariants by interpolation between Forward/Backward predicate transformers
- Floating-point symbolic execution: a case study in n-version programming
- Generating simpler AST edit scripts by considering copy-and-paste
- Gremlin-ATL: a scalable model transformation framework
- Improved query reformulation for concept location using CodeRank and document structures
- Improving missing issue-commit link recovery using positive and unlabeled data
- Improving software text retrieval using conceptual knowledge in source code
- In-memory fuzzing for binary code similarity analysis
- Incrementally slicing editable submodels
- IntPTI: automatic integer error repair with proper-type inference
- Kobold: web usability as a service
- Learn&Fuzz: machine learning for input fuzzing
- Learning effective changes for software projects
- Learning to share: engineering adaptive decision-support for online social networks
- Leveraging abstract interpretation for efficient dynamic symbolic execution
- Leveraging syntax-related code for automated program repair
- Managing software evolution through semantic history slicing
- Mining constraints for event-based monitoring in systems of systems
- Mining implicit design templates for actionable code reuse
- Mining structures from massive text data: will it help software engineering?
- Model checker execution reports
- ModelWriter: text and model-synchronized document engineering platform
- Modular verification of interrupt-driven software
- More effective interpolations in software model checking
- O2O service composition with social collaboration
- Opiner: an opinion search and summarization engine for APIs
- PAD: programming third-party web advertisement censorship
- Parallel bug-finding in concurrent programs via reduced interleaving instances
- Parsimony: an IDE for example-guided synthesis of lexers and parsers
- Perceived language complexity in GitHub issue discussions and their effect on issue resolution
- Predicting relevance of change recommendations
- Privacy-aware data-intensive applications
- Programming bots by synthesizing natural language expressions into API invocations
- Promoting secondary orders of event pairs in randomized scheduling using a randomized stride
- Proof-based coverage metrics for formal verification
- Quick verification of concurrent programs by iteratively relaxed scheduling
- Recommending crowdsourced software developers in consideration of skill improvement
- Renaming and shifted code in structured merging: looking ahead for precision and performance
- Rethinking pointer reasoning in symbolic execution
- RuntimeSearch: Ctrl+F for a running program
- SEALANT: a detection and visualization tool for inter-app security vulnerabilities in Android
- STARTS: STAtic regression test selection
- Saying 'hi!' is not enough: mining inputs for effective test generation
- Semantics-assisted code review: an efficient toolchain and a user study
- SentiCR: a customized sentiment analysis tool for code review interactions
- SimplyDroid: efficient event sequence simplification for Android application
- Sketch-guided GUI test generation for mobile applications
- Software engineering without borders
- Software performance self-adaptation through efficient model predictive control
- Static detection of asymptotic resource side-channel vulnerabilities in web applications
- SymInfer: inferring program invariants using symbolic states
- Synthetic data generation for statistical testing
- Systematic reduction of GUI test sequences
- Systematically testing background services of mobile apps
- TREM: a tool for mining timed regular specifications from system traces
- Test suite parallelization in open-source projects: a study on its usage and impact
- Testing intermediate representations for binary analysis
- The impact of continuous integration on other software development practices: a large-scale empirical study
- The rise of the (modelling) bots: towards assisted modelling via social networks
- TiQi: a natural language interface for querying software project data
- Tortoise: interactive system configuration repair
- Towards API-specific automatic program repair
- Towards a software vulnerability prediction model using traceable code patterns and software metrics
- Towards robust instruction-level trace alignment of binary code
- Towards search-based modelling and analysis of requirements and architecture decisions
- Towards the automatic classification of traceability links
- TrEKer: tracing error propagation in operating system kernels
- Transfer learning for performance modeling of configurable systems: an exploratory analysis
- UI driven Android application reduction
- UNDEAD: detecting and preventing deadlocks in production software
- Understanding and overcoming parallelism bottlenecks in ForkJoin applications
- Understanding feature requests by leveraging fuzzy method and linguistic analysis
- Visualization support for requirements monitoring in systems of systems
- Why and how JavaScript developers use linters
- iCoq: regression proof selection for large-scale verification projects
- taco: a tool to generate tensor algebra kernels