ASE 2016
100 papers
- APEx: automated inference of error specifications for C APIs
- API recommendation system for software development
- An automated collaborative requirements engineering tool for better validation of requirements
- An empirical evaluation of two user interfaces of an interactive program verifier
- An empirical investigation into the nature of test smells
- An empirical study on dependence clusters for effort-aware fault-proneness prediction
- An end-user oriented tool suite for development of mobile applications
- An extensible framework for variable-precision data-flow analyses in MPS
- AnModeler: a tool for generating domain models from textual specifications
- Applying combinatorial test data generation to big data applications
- Array length inference for C library bindings
- Automated model-based Android GUI testing using multi-level GUI comparison criteria
- Automated testing and notification of mobile app privacy leak-cause behaviours
- Automatic microbenchmark generation to prevent dead code elimination and constant folding
- Automatic runtime recovery via error handler synthesis
- Automatic test image generation using procedural noise
- Automatically recommending code reviewers based on their expertise: an empirical comparison
- Battery-aware transformations in mobile applications
- BovInspector: automatic inspection and repair of buffer overflow vulnerabilities
- Bugram: bug detection with n-gram language models
- CORRECT: code reviewer recommendation at GitHub for Vendasta technologies
- CVExplorer: identifying candidate developers by mining and exploring their open source contributions
- Changing microsoft's build: revolution or evolution
- Conc-iSE: incremental symbolic execution of concurrent software
- Continuous detection of design flaws in evolving object-oriented programs using incremental multi-pattern matching
- CrowdService: serving the individuals through mobile crowdsourcing and service composition
- DSL-maps: from requirements to design of domain-specific languages
- Deep learning code fragments for code clone detection
- Developer targeted analytics: supporting software development decisions with runtime information
- DistIA: a cost-effective dynamic impact analysis for distributed programs
- Efficient detection of inconsistencies in a multi-developer engineering environment
- Evaluating non-adequate test-case reduction
- Evaluating the evaluations of code recommender systems: a reality check
- Factoring requirement dependencies in software requirement selection using graphs and integer programming
- Finding access control bugs in web applications with CanCheck
- Fine-tuning spectrum based fault localisation with frequent method item sets
- GUICat: GUI testing as a service
- Generating test cases to expose concurrency bugs in Android applications
- Goal-conflict detection based on temporal satisfiability checking
- Greedy combinatorial test case generation using unsatisfiable cores
- How good are the specs? a study of the bug-finding effectiveness of existing Java API specifications
- HybriDroid: static analysis framework for Android hybrid applications
- Identifying domain elements from textual specifications
- IncA: a DSL for the definition of incremental program analyses
- Inferring annotations for device drivers from verification histories
- Learning a dual-language vector space for domain-specific cross-lingual question retrieval
- Lightweight collection and storage of software repository data with DataRover
- Local-based active classification of test report to assist crowdsourced testing
- LockPeeker: detecting latent locks in Java APIs
- Locus: locating bugs from software changes
- MACKE: compositional analysis of low-level vulnerabilities with symbolic execution
- Migrating cascading style sheets to preprocessors by introducing mixins
- Mining input grammars from dynamic taints
- Mining revision histories to detect cross-language clones without intermediates
- Model driven design of heterogeneous synchronous embedded systems
- Model-based whitebox fuzzing for program binaries
- Move-optimized source code tree differencing
- Multi-objective test report prioritization using image understanding
- On essential configuration complexity: measuring interactions in highly-configurable systems
- Optimizing customized program coverage
- Phrase-based extraction of user opinions in mobile app reviews
- Practical guidelines for change recommendation using association rule mining
- Precise semantic history slicing through dynamic delta refinement
- Predicting semantically linkable knowledge in developer online forums via convolutional neural network
- Privacy preserving via interval covering based subclass division and manifold learning based bi-directional obfuscation for effort estimation
- ProcessPAIR: a tool for automated performance analysis and improvement recommendation in software development
- Program generation for performance
- QUICKAR: automatic query reformulation for concept location using crowdsourced knowledge
- Radius aware probabilistic testing of deadlocks with guarantees
- Recommending relevant classes for bug reports using multi-objective search
- Reflection-aware static analysis of Android apps
- Relda2: an effective static analysis tool for resource leak detection in Android apps
- SOFIA: an automated security oracle for black-box testing of SQL-injection vulnerabilities
- SimilarTech: automatically recommend analogical libraries across different programming languages
- Sound static deadlock analysis for C/Pthreads
- Static race detection for device drivers: the Goblint approach
- Statistical analysis of large sets of models
- StraightTaint: decoupled offline symbolic taint analysis
- SuperMod: tool support for collaborative filtered model-driven software product line engineering
- Supporting oracle construction via static analysis
- Symbolic execution of complex program driven by machine learning based constraint solving
- Symbolic execution of stored procedures in database management systems
- Taming Android fragmentation: characterizing and detecting compatibility issues for Android apps
- TeeVML: tool support for semi-automatic integration testing environment emulation
- Test case permutation to improve execution time
- Testing advanced driver assistance systems using multi-objective search and neural networks
- The IDE as a scriptable information system
- The interactive verification debugger: effective understanding of interactive proof attempts
- The power of probabilistic thinking
- Too much automation? the bellwether effect and its implications for transfer learning
- Towards automatically generating descriptive names for unit tests
- Towards bounded model checking using nonlinear programming solver
- Towards efficient and effective automatic program repair
- Traceability maintenance: factors and guidelines
- Usage, costs, and benefits of continuous integration in open-source projects
- Verifying simulink stateflow model: timed automata approach
- Visual contract extractor: a tool for reverse engineering visual contracts using dynamic analysis
- Visualization of combinatorial models and test plans
- What developers want and need from program analysis: an empirical study
- What makes killing a mutant hard