research
∙
08/11/2023
Validation-Driven Development
Formal methods play a fundamental role in asserting the correctness of r...
share
research
∙
09/05/2022
Using Consensual Biterms from Text Structures of Requirements and Code to Improve IR-Based Traceability Recovery
Traceability approves trace links among software artifacts based on whet...
research
∙
07/28/2022
Trace Refinement in B and Event-B
Traces are used to show whether a model complies with the intended behav...
research
∙
07/26/2022
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 r...
research
∙
07/07/2022
Application of Validation Obligations to Security Concerns
Our lives become increasingly dependent on safety- and security-critical...
research
∙
05/18/2022
Formalization of Advanced VOs semantics and VO Refinement
This document lays out the foundations for VO and requirement refinement...
research
∙
05/12/2022
IVOIRE Deliverable 1.1: Classification of existing VOs tools and Formalization of VOs semantics
This report discusses the foundations of the VO approach. Then, it explo...
research
∙
04/08/2021
Do Communities in Developer Interaction Networks align with Subsystem Developer Teams? An Empirical Study of Open Source Systems
Studies over the past decade demonstrated that developers contributing t...
research
∙
03/27/2021
Team-oriented Consistency Checking of Heterogeneous Engineering Artifacts
Consistency checking of interdependent heterogeneous engineering artifac...
research
∙
03/03/2021
TaskAllocator: A Recommendation Approach for Role-based Tasks Allocation in Agile Software Development
In this paper, we propose a recommendation approach – TaskAllocator – in...
research
∙
02/11/2021
Validation Obligations: A Novel Approach to Check Compliance between Requirements and their Formal Specification
Traditionally, practitioners use formal methods pre-dominately for one h...
research
∙
08/11/2020
Semantic Clone Detection via Probabilistic Software Modeling
Semantic clone detection is the process of finding program elements with...
research
∙
05/27/2020
Machine Learning for Software Engineering: A Systematic Mapping
Context: The software development industry is rapidly adopting machine l...
research
∙
04/17/2020
Model-driven Engineering of Safety and Security Systems: A Systematic Mapping Study
This paper presents a systematic mapping study on the model-driven engin...
research
∙
01/21/2020
Towards Fault Localization via Probabilistic Software Modeling
Software testing helps developers to identify bugs. However, awareness o...
research
∙
01/21/2020
Towards Semantic Clone Detection via Probabilistic Software Modeling
Semantic clones are program components with similar behavior, but differ...
research
∙
12/17/2019
Probabilistic Software Modeling: A Data-driven Paradigm for Software Analysis
Software systems are complex, and behavioral comprehension with the incr...
research
∙
12/24/2018
Feature Maps: A Comprehensible Software Representation for Design Pattern Detection
Design patterns are elegant and well-tested solutions to recurrent softw...
research
∙
06/11/2014