ASE 2014
107 papers
- 42 variability bugs in the linux kernel: a qualitative analysis
- 8Cage: lightweight fault-based test generation for simulink
- A dynamic analysis to support object-sharing code refactorings
- A proposal for revisiting coverage testing metrics
- A requirements monitoring infrastructure for systems of systems
- A tool chain for generating the description files of highly available software
- A web based UML modeling tool with touch screens
- Abstraction-aware verifying compiler for yet another MDD
- Accelerated test execution using GPUs
- Active code search: incorporating user feedback to improve code search relevance
- An empirical evaluation and comparison of manual and automated test selection
- An empirical study on reducing omission errors in practice
- Angels and monsters: an empirical investigation of potential test effectiveness and efficiency improvement from strongly subsuming higher order mutation
- Assertion guided abstraction: a cooperative optimization for dynamic partial order reduction
- Assigning time budgets to component functions in the design of time-critical automotive systems
- AugIR: the conceptual design and evaluation of an augmented interaction room
- Automated analysis of multithreaded programs for performance modeling
- Automated domain-specific C verification with mbeddr
- Automated requirements analysis for a molecular watchdog timer
- Automated synthesis and deployment of cloud applications
- Automated unit test generation for classes with environment dependencies
- Automated variability analysis and testing of an E-commerce site.: an experience report
- Automatic early defects detection in use case documents
- Automatic verification of interactions in asynchronous systems with unbounded buffers
- Automating regression verification
- Automating the formalization of product comparison matrices
- Behavioral resource-aware model inference
- CoCoTest: a tool for model-in-the-loop testing of continuous controllers
- Combining rule-based and information retrieval techniques to assign software change requests
- Compatibility testing using patterns-based trace comparison
- Concurrent transformation components using contention context sensors
- Constructing adaptive configuration dialogs using crowd data
- Continuous test generation: enhancing continuous integration with automated test generation
- Derailer: interactive security analysis for web applications
- Determining the most probable root causes of run-time errors in simulink models
- Discriminating influences among instructions in a dynamic slice
- Diver: precise dynamic impact analysis using dependence-based trace pruning
- Docovery: toward generic automatic document recovery
- Dompletion: DOM-aware JavaScript code completion
- Droidmarking: resilient software watermarking for impeding android application repackaging
- DupFinder: integrated tool support for duplicate bug report detection
- Embrace your issues: compassing the software engineering landscape using bug reports
- Evaluation of string constraint solvers in the context of symbolic execution
- Exact and approximate probabilistic symbolic execution for nondeterministic programs
- Finding HTML presentation failures using image comparison techniques
- Fine-grained and accurate source code differencing
- Firecrow: a tool for web application analysis and reus
- Formalisation of the integration of behavior trees
- From out-place transformation evolution to in-place model patching
- Fusion fault localizers
- HUSACCT: architecture compliance checking with rich sets of module and rule types
- Improvement of applications' stability through robust APIs
- Improving the accuracy of oracle verdicts through automated model steering
- Incremental symbolic execution for automated test suite maintenance
- Information flows as a permission mechanism
- Interrogative-guided re-ranking for question-oriented software text retrieval
- Issues of automated software composition in AI planning
- Keynote talk: EasyChair
- Keynote talk: experiences from developing industrial software systems with long lifecycles
- Keynote talk: the logic of information design
- Language fuzzing using constraint logic programming
- Leveraging existing tests in automated test generation for web applications
- Localization of concurrency bugs using shared memory access pairs
- MIMIC: locating and understanding bugs by analyzing mimicked executions
- MPAnalyzer: a tool for finding unintended inconsistencies in program source code
- Meta-Model validation and verification with MetaBest
- MiL testing of highly configurable continuous controllers: scalable search using surrogate models
- Minimal strongly unsatisfiable subsets of reactive system specifications
- Model-driven development of content management systems based on Joomla
- Multi-objective optimization in rule-based design space exploration
- NeedFeed: taming change notifications by modeling code relevance
- PBGT tool: an integrated modeling and testing environment for pattern-based GUI testing
- Pattern-based auto-completion of UML modeling activities
- Personas in the middle: automated support for creating personas as focal points in feature gathering forums
- PiE: programming in eliza
- Potential biases in bug localization: do they matter?
- PrefFinder: getting the right preference in configurable software systems
- Program analysis for secure big data processing
- Recommendation system for software refactoring using innovization and interactive dynamic optimization
- Recommending refactorings based on team co-maintenance patterns
- Resilient user interface level tests
- Scaling exact multi-objective combinatorial optimization by parallelization
- SeSAME: modeling and analyzing high-quality service compositions
- Search-based inference of polynomial metamorphic relations
- Seeking the user interface
- Static, lightweight includes resolution for PHP
- Statistical learning approach for mining API usage mappings for code migration
- Studying task allocation decisions of novice agile teams with data from agile project management tools
- SymCrash: selective recording for reproducing crashes
- Symbolic state validation through runtime data
- Taming test inputs for separation assurance
- Targeted test input generation using symbolic-concrete backward execution
- The confidence in our k-tails
- Towards an intelligent domain-specific traceability solution
- Towards self-healing smartphone software via automated patching
- Tracing software build processes to uncover license compliance inconsistencies
- Tracking down root causes of defects in simulink models
- Tracking load-time configuration options
- Transferring an automated test generation tool to practice: from pex to fakes and code digger
- Understanding performance stairs: elucidating heuristics
- Using visual dataflow programming for interactive model comparison
- Utilizing feature location techniques for feature addition and feature enhancement
- Validating ajax applications using a delay-based mutation technique
- Variability-aware change impact analysis of multi-language product lines
- Verifying self-adaptive applications suffering uncertainty
- Workspace updates of visual models
- symMMU: symbolically executed runtime libraries for symbolic memory access