Alexander Egyed | DeepAI

AI Chat

Featured Co-authors

He Zhang
77 publications
Robert Wille
23 publications
Sebastiano Panichella
16 publications
Enrique Alba
15 publications
Patrick Mader
13 publications
Atif Mashkoor
13 publications
Michael Leuschel
11 publications
Xiaoxing Ma
10 publications
Rudolf Ramler
9 publications
Hui Gao
9 publications
Lukas Linsbauer
8 publications

∙ 08/11/2023

Validation-Driven Development

Formal methods play a fundamental role in asserting the correctness of r...

0 Sebastian Stock, et al. ∙

∙ 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...

0 Hui Gao, et al. ∙

∙ 07/28/2022

Trace Refinement in B and Event-B

Traces are used to show whether a model complies with the intended behav...

0 Sebastian Stock, et al. ∙

∙ 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...

0 Saad Shafiq, et al. ∙

∙ 07/07/2022

Application of Validation Obligations to Security Concerns

Our lives become increasingly dependent on safety- and security-critical...

0 Sebastian Stock, et al. ∙

∙ 05/18/2022

Formalization of Advanced VOs semantics and VO Refinement

This document lays out the foundations for VO and requirement refinement...

0 Sebastian Stock, et al. ∙

∙ 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...

0 Sebastian Stock, et al. ∙

∙ 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...

0 Usman Ashraf, et al. ∙

∙ 03/27/2021

Team-oriented Consistency Checking of Heterogeneous Engineering Artifacts

Consistency checking of interdependent heterogeneous engineering artifac...

0 Michael Alexander Tröls, et al. ∙

∙ 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...

0 Saad Shafiq, et al. ∙

∙ 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...

0 Atif Mashkoor, et al. ∙

∙ 08/11/2020

Semantic Clone Detection via Probabilistic Software Modeling

Semantic clone detection is the process of finding program elements with...

0 Hannes Thaller, et al. ∙

∙ 05/27/2020

Machine Learning for Software Engineering: A Systematic Mapping

Context: The software development industry is rapidly adopting machine l...

0 Saad Shafiq, et al. ∙

∙ 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...

0 Atif Mashkoor, et al. ∙

∙ 01/21/2020

Towards Fault Localization via Probabilistic Software Modeling

Software testing helps developers to identify bugs. However, awareness o...

0 Hannes Thaller, et al. ∙

∙ 01/21/2020

Towards Semantic Clone Detection via Probabilistic Software Modeling

Semantic clones are program components with similar behavior, but differ...

0 Hannes Thaller, et al. ∙

∙ 12/17/2019

Probabilistic Software Modeling: A Data-driven Paradigm for Software Analysis

Software systems are complex, and behavioral comprehension with the incr...

0 Hannes Thaller, et al. ∙

∙ 12/24/2018

Feature Maps: A Comprehensible Software Representation for Design Pattern Detection

Design patterns are elegant and well-tested solutions to recurrent softw...

0 Hannes Thaller, et al. ∙

∙ 06/11/2014

A Hitchhiker's Guide to Search-Based Software Engineering for Software Product Lines

Search Based Software Engineering (SBSE) is an emerging discipline that ...

0 Roberto E. Lopez-Herrejon, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world