Toggle navigation
reposiTUm
ABOUT REPOSITUM
HELP
Login
News
Browse by
Publication Types
Organizations
Researchers
Projects
TU Wien Academic Press
Open Access Series
Theses
Digitised Works
Year of Publication
JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS
View Statistics
Email Alert
RSS Feed
Details
Journal description
Title
Titel
JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS
e-ISSN
2047-7481
ISSN
2047-7473
Publisher
Herausgeber
WILEY
Publications
Publikationen
Show/Hide filters
Access Type
1
Open Access
Peer-Reviewed
3
true
Author
2
Wimmer, Manuel
1
Bersani, Marcello M.
1
Camilli, Matteo
1
Chiari, Michele
1
Deb, Kalyanmoy
1
Fleck, Martin
1
Kessentini, Marouane
1
Sahin, Dilan
1
Tamburri, Damian A.
1
Troya, Javier
.
next >
Subject
1
formal software engineering
1
formal verification
1
industry study
Date issued
3
2000 - 2026
Publication Type
3
Article
Close filters
Results 1-3 of 3 (Search time: 0.004 seconds).
RIS
EndNote
Bibtex
Preview
Author(s)
Title
Type
Issue Date
1
Sahin, Dilan
; Kessentini, Marouane
; Wimmer, Manuel
; Deb, Kalyanmoy
Model Transformation Testing: A Bi-Level Search-based Software Engineering Approach
Artikel
Article
2015
2
Chiari, Michele
; Camilli, Matteo
; Bersani, Marcello M.
; van Beusekom, Rutger
; Tamburri, Damian A.
Reality Check on Formal Methods in Industry: A Study of Verum Dezyne
Article
Artikel
Dec-2025
3
Fleck, Martin
; Troya, Javier
; Wimmer, Manuel
Search-Based Model Transformations
Artikel
Article
2016