ASE 2013
94 papers
- A comparative analysis of software architecture recovery techniques
- A pattern-based approach to parametric specification mining
- A scalable approach for malware detection through bounded feature space behavior modeling
- A study of repetitiveness of code changes in software evolution
- Adding context to fault localization with integration coverage
- Assessing the maturity of requirements through argumentation: A good enough approach
- AutoComment: Mining question and answer sites for automatic comment generation
- Automated inference of classifications and dependencies for combinatorial testing
- Automated planning for software architecture evolution
- Automated testing of cloud-based elastic systems with AUToCLES
- Automated unit testing of large industrial embedded software using concolic testing
- Automated verification of interactive rule-based configuration systems
- Automated verification of pattern-based interaction invariants in Ajax applications
- Automatic recommendation of API methods from feature requests
- Automatically partition software into least privilege components using dynamic data dependency analysis
- Automatically synthesizing SQL queries from input-output examples
- BLITZ: Compositional bounded model checking for real-world programs
- BOOM: Experiences in language and tool design for distributed systems (keynote)
- Big problems in industry (panel)
- Bita: Coverage-guided, automatic testing of actor programs
- CCmutator: A mutation generator for concurrency constructs in multithreaded C/C++ applications
- CSeq: A concurrency pre-processor for sequential C verification tools
- Characteristic studies of loop problems for structural test generation via symbolic execution
- Characterizing and detecting resource leaks in Android applications
- Class level fault prediction using software clustering
- Cloud Twin: Native execution of android applications on the Windows Phone
- Consistency-preserving edit scripts in model versioning
- Constraint-based automatic symmetry detection
- Context-aware task allocation for distributed agile team
- Crushinator: A framework towards game-independent testing
- Dangling references in multi-configuration and dynamic PHP-based Web applications
- Detecting and characterizing semantic inconsistencies in ported code
- Detecting and fixing emergent behaviors in Distributed Software Systems using a message content independent method
- Detecting bad smells in source code using change history information
- Detecting system use cases and validations from documents
- Developing self-verifying service-based systems
- Dynamically transforming data structures
- Efficient data race prediction with incremental reasoning on time-stamped lock history
- Efficient parametric runtime verification with deterministic string rewriting
- Entropy-based test generation for improved fault localization
- Environment rematching: Toward dependability improvement for self-adaptive applications
- ExPort: Detecting and visualizing API usages in large source code repositories
- Finding architectural flaws using constraints
- Flow Permissions for Android
- From comparison matrix to Variability Model: The Wikipedia case study
- Identifying execution points for dynamic analyses
- Improving bug localization using structured information retrieval
- Improving efficiency of dynamic analysis with dynamic dependence summaries
- JFlow: Practical refactorings for flow-based parallelism
- Learning effective query transformations for enhanced requirements trace retrieval
- Leveraging program equivalence for adaptive program repair: Models and first results
- Lightweight control-flow instrumentation and postmortem analysis in support of debugging
- Measuring the structural complexity of feature models
- Minimizing CPU time shortage risks in integrated embedded software
- Mining branching-time scenarios
- Model based test validation and oracles for data acquisition systems
- Model repair and transformation with Echo
- Model/code co-refactoring: An MDE approach
- Multi-user variability configuration: A game theoretic approach
- Natural language requirements quality analysis based on business domain models
- OCRA: A tool for checking the refinement of temporal contracts
- Operator-based and random mutant selection: Better together
- PIEtrace: Platform independent executable trace
- PYTHIA: Generating test cases with oracles for JavaScript applications
- Personalized defect prediction
- Pex4Fun: A web-based environment for educational gaming via automated test generation
- Preventing erosion of architectural tactics through their strategic implementation, preservation, and visualization
- Proving MCAPI executions are correct using SMT
- Randomizing regression tests using game theory
- Ranger: Parallel analysis of alloy models by range partitioning
- Recovering model transformation traces using multi-objective optimization
- Round-up: Runtime checking quasi linearizability of concurrent data structures
- SABRINE: State-based robustness testing of operating systems
- SBFR: A search based approach for reproducing failures of programs with grammar based input
- SEDGE: Symbolic example data generation for dataflow programs
- Scalable product line configuration: A straw to break the camel's back
- Semi-automatic generation of metamodels from model sketches
- Smart Cloud Broker: Finding your home in the clouds
- Software analytics for incident management of online services: An experience report
- Software model checking for distributed systems with selector-based, non-blocking communication
- Supporting bug investigation using history analysis
- Synthesizing fault-tolerant programs from deontic logic specifications
- TRAM: A tool for transforming textual requirements into analysis models
- Testing properties of dataflow program operators
- The bounded model checker LLBMC
- The challenges of verification and validation of automated planning systems (keynote)
- The potential of polyhedral optimization: An empirical study
- Tool support for automatic model transformation specification using concrete visualisations
- Towards contextual and on-demand code clone management by continuous monitoring
- Towards precise metrics for predicting graph query performance
- TzuYu: Learning stateful typestates
- Using automatically generated invariants for regression testing and bug localization
- Variability-aware performance prediction: A statistical learning approach
- iProbe: A lightweight user-level dynamic instrumentation tool