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