Search Results for author:
Found 6 papers, 0 papers with code
Balanced Knowledge Distribution among Software Development Teams -- Observations from Open-Source and Closed-Source Software Development
In software development teams, developer turnover is among the primary reasons for project failures as it leads to a great void of knowledge and strain for the newcomers.
Validation Obligations: A Novel Approach to Check Compliance between Requirements and their Formal Specification
Traditionally, practitioners use formal methods pre-dominately for one half of the quality-assurance process: verification (do we build the software right?).
Software Engineering Formal Languages and Automata Theory
Semantic Clone Detection via Probabilistic Software Modeling
Semantic clone detection is the process of finding program elements with similar or equal runtime behavior.
Machine Learning for Software Engineering: A Systematic Mapping
Context: The software development industry is rapidly adopting machine learning for transitioning modern day software systems towards highly intelligent and self-learning systems.
Probabilistic Software Modeling: A Data-driven Paradigm for Software Analysis
Software systems are complex, and behavioral comprehension with the increasing amount of AI components challenges traditional testing and maintenance strategies. The lack of tools and methodologies for behavioral software comprehension leaves developers to testing and debugging that work in the boundaries of known scenarios.
A Hitchhiker's Guide to Search-Based Software Engineering for Software Product Lines
Search Based Software Engineering (SBSE) is an emerging discipline that focuses on the application of search-based optimization techniques to software engineering problems.
