ASE 2012
68 papers
- A model-driven parser generator with reference resolution support
- A qualitative study on user guidance capabilities in product configuration tools
- Adaptability of model comparison tools
- An automated approach to forecasting QoS attributes based on linear and non-linear time series modeling
- Arcade.PLC: a verification platform for programmable logic controllers
- Augmented dynamic symbolic execution
- Automated API migration in a user-extensible refactoring tool for Erlang programs
- Automated evaluation of syntax error recovery
- Automated inference of goal-oriented performance prediction functions
- Automatic query performance assessment during the retrieval of software artifacts
- Automatic recovery of statecharts from procedural code
- Automatically generating and adapting model constraints to support co-evolution of design models
- Automatically securing permission-based software by reducing the attack surface: an application to Android
- Boreas: an accurate and scalable token-based approach to code clone detection
- CHESS: a model-driven engineering tool environment for aiding the development of complex industrial systems
- Can I clone this piece of code here?
- Caprice: a tool for engineering adaptive privacy
- Code patterns for automatically validating requirements-to-code traces
- Communicating continuous integration servers for increasing effectiveness of automated testing
- Computing repair trees for resolving inconsistencies in design models
- Detection of embedded code smells in dynamic web applications
- Diagnosys: automatic generation of a debugging interface to the Linux kernel
- Diversity maximization speedup for fault localization
- Duplicate bug report detection with a combination of information retrieval and topic modeling
- Fast and precise points-to analysis with incremental CFL-reachability summarisation: preliminary experience
- Formal verification techniques for model transformations specified by-demonstration
- GUITest: a Java library for fully automated GUI robustness testing
- GZoltar: an eclipse plug-in for testing and debugging
- Generating model transformation rules from examples using an evolutionary algorithm
- Healing online service systems via mining historical issue repositories
- Identifying refactoring sequences for improving software maintainability
- Improving the effectiveness of spectra-based fault localization using specifications
- JStereoCode: automatically identifying method and class stereotypes in Java code
- Locating distinguishing features using diff sets
- MaramaAI: tool support for capturing and managing consistency of multi-lingual requirements
- Observatory of trends in software related microblogs
- Practical isolation of failure-inducing changes for debugging regression faults
- Predicting common web application vulnerabilities from input validation and sanitization code patterns
- Predicting recurring crash stacks
- Predicting software complexity by means of evolutionary testing
- Property-preserving program refinement
- PuMoC: a CTL model-checker for sequential programs
- Puzzle-based automatic testing: bringing humans into the loop by solving puzzles
- Quokka: visualising interactions of enterprise software environment emulators
- REInDetector: a framework for knowledge-based requirements engineering
- Re-founding software engineering - SEMAT at the age of three (keynote abstract)
- Refactorings without names
- Runtime monitoring of software energy hotspots
- SYMake: a build code analysis and refactoring tool for makefiles
- Selection of regression system tests for security policy evolution
- Semantic patch inference
- Slicing and replaying code change history
- Software defect prediction using semi-supervised learning with dimension reduction
- Structured merge with auto-tuning: balancing precision and performance
- Support vector machines for anti-pattern detection
- Supporting automated software re-engineering using re-aspects
- Supporting automated vulnerability analysis using formalized vulnerability signatures
- Supporting operating system kernel data disambiguation using points-to analysis
- Test suite selection based on traceability annotations
- The GISMOE challenge: constructing the pareto program surface using genetic programming to find better programs (keynote paper)
- To what extent could we detect field defects? an empirical study of false negatives in static bug finding tools
- Unbounded data model verification using SMT solvers
- User-aware privacy control via extended static-information-flow analysis
- Using GUI ripping for automated testing of Android applications
- Using mobile devices for collaborative requirements engineering
- Using unfoldings in automated testing of multithreaded programs
- Weave droid: aspect-oriented programming on Android devices: fully embedded or in the cloud
- kbe-anonymity: test data anonymization for evolving programs