ASE 2011
112 papers
- A case for alloy annotations for efficient incremental analysis via domain specific solvers
- A framework for managing uncertainty in self-adaptive software systems
- A model checking framework for hierarchical systems
- A model-driven framework for guided design space exploration
- A performance comparison of contemporary algorithmic approaches for automated analysis operations on feature models
- A rule-based approach to the semantic lifting of model differences in the context of model versioning
- A topic-based approach for narrowing the search space of buggy files from a bug report
- APIExample: An effective web search based usage example recommendation system for java APIs
- An adaptive approach to impact analysis from change requests to source code
- An optimal strategy for algorithmic debugging
- Analyzing temporal API usage patterns
- Analyzing temporal properties of abstract models
- Auto-locating and fix-propagating for HTML validation errors to PHP server-side code
- AutoODC: Automated generation of Orthogonal Defect Classifications
- Automated documentation inference to explain failed tests
- Automated extraction of architecture-level performance models of distributed component-based systems
- Automated planning for feature model configuration based on stakeholders' business concerns
- Automated web application testing using search based software engineering
- Automatic assessment of software documentation quality
- Automatic generation of load tests
- Automatically detecting the quality of the query and its implications in IR-based concept location
- Automatically exploring how uncertainty impacts behavior of dynamically adaptive systems
- Automating analysis of qualitative preferences in goal-oriented requirements engineering
- BEST: A symbolic testing tool for predicting multi-threaded program failures
- Capacity planning for event-based systems using automated performance predictions
- Client-side web application slicing
- CloneDifferentiator: Analyzing clones by differentiation
- Code-based automated program fixing
- Combining search-based and constraint-based testing
- Coverage rewarded: Test input generation via adaptation-based programming
- DC2: A framework for scalable, scope-bounded software verification
- Decomposing feature models: language, environment, and applications
- Detection of feature interactions using feature-aware verification
- Deviation management during process execution
- Diagnosis of software failures using computational geometry
- Differential precondition checking: A lightweight, reusable analysis for refactoring tools
- Do software engineers benefit from source code navigation with traceability? - An experiment in software change management
- Domain and value checking of web application invocation arguments
- Ecological inference in empirical software engineering
- Enhancing architectural recovery using concerns
- Evaluating test selection strategies for end-user specified flow-based applications
- Exploring caching for efficient collection operations
- Extracting structured data from natural language documents with island parsing
- Fault-localization using dynamic slicing and change impact analysis
- Finding relevant answers in software forums
- Finding the merits and drawbacks of software resources from comments
- Flexible design pattern detection based on feature types
- Formalizing hardware/software interface specifications
- GRoundTram: An integrated framework for developing well-behaved bidirectional model transformations
- Generalizing evolutionary coupling with stochastic dependencies
- Generating essential user interface prototypes to validate requirements
- Generating program inputs for database application testing
- Generating realistic test models for model processing tools
- GitBAC: Flexible access control for non-modular concerns
- Guided test visualization: Making sense of errors in concurrent programs
- Heap cloning: Enabling dynamic symbolic execution of java programs
- History slicing
- Identifying future field accesses in exhaustive state space traversal
- Implementing efficient model validation in EMF tools
- Improving automated documentation to code traceability by combining retrieval techniques
- Improving source code search with natural language phrasal representations of method signatures
- Improving spectrum-based fault localization using proximity-based weighting of test cases
- Inferred dependence coverage to support fault contextualization
- Isomorphism in model tools and editors
- Iterative mining of resource-releasing specifications
- JPF-AWT: Model checking GUI applications
- Local vs. global models for effort estimation and defect prediction
- Localizing SQL faults in database applications
- MAJOR: An efficient and extensible tool for mutation analysis in a Java compiler
- Mendel: Source code recommendation based on a genetic metaphor
- Mining test oracles of web search engines
- Mixed constraints for test input generation - An initial exploration
- Model checking distributed systems by combining caching and process checkpointing
- Observations on the connectedness between requirements-to-code traces and calling relationships for trace validation
- Optimizing the automatic test generation by SAT and SMT solving for Boolean expressions
- PRECIS: Inferring invariants using program path guided clustering
- Precomputing possible configuration error diagnoses
- Prioritizing tests for fault localization through ambiguity group reduction
- Proximity based weighting of test cases to improve spectrum based fault localization
- Querying source code with natural language
- Run-time systems failure prediction via proactive monitoring
- SAUML: A tool for symbolic analysis of UML-RT models
- Safe asynchronous multicore memory operations
- Scalable and precise symbolic analysis for atomicity violations
- Scaling up automated test generation: Automatically generating maintainable regression unit tests for programs
- Search-based fault localization
- Self-adaptive software meets control theory: A preliminary approach supporting reliability requirements
- Slicing feature models
- Software process evaluation: A machine learning approach
- Specifying and detecting meaningful changes in programs
- Stateful testing: Finding more errors in code and contracts
- Statistical debugging with elastic predicates
- Supporting activity based computing paradigm in global software development
- Supporting domain-specific state space reductions through local partial-order reduction
- Symbolic search-based testing
- Taming changes With 1.x-Way architecture-implementation mapping
- TestEra: A tool for testing Java programs using alloy specifications
- The CORE system: Animation and functional correctness of pointer programs
- The Capture Calculus Toolset
- Toward consistency checking of natural language temporal requirements
- Towards an approach and framework for test-execution plan derivation
- Towards dynamic backward slicing of model transformations
- Towards more accurate retrieval of duplicate bug reports
- Towards requirements aware systems: Run-time resolution of design-time assumptions
- Tracing requirements to tests with high precision and recall
- Unifying testing and analysis through behavioral coverage
- Using Formal Concept Analysis to support change analysis
- Using model checking to analyze static properties of declarative models
- Using model-based assurance to strengthen diagnostic procedures
- Wikipedia and how to use it for semantic document representation
- iDiff: Interaction-based program differencing tool
- jCT: A Java Code Tomograph