To the top

Page Manager: Webmaster
Last update: 9/11/2012 3:13 PM

Tell a friend about this page
Print version

Verification of Migrated … - University of Gothenburg, Sweden Till startsida
To content Read more about how we use cookies on

Verification of Migrated Product Lines

Conference paper
Authors Mukelabai Mukelabai
Published in Proceedings of the 22nd International Systems and Software Product Line Conference
ISBN 978-1-4503-5945-0
Publisher ACM
Publication year 2018
Published at Department of Computer Science and Engineering, Computing Science (GU)
Language en
Keywords Software Product Lines, Verification, Clone-and-Own, Migration
Subject categories Computer and Information Science


Maintaining several code bases (e.g., clones) of software variants in an application domain remains a widespread development practice, though costly and error-prone. Despite the many benefits that come with using the product-line approach, many companies are hesitant to migrate to an integrated platform for their product variants because such a migration is considered challenging and risky. Often this perception is because the migration is seen as a drastic change that is not easy to verify and assure developers that the migrated products still operate as before. In this research we propose to develop a language structure (or abstract representation) of artifacts in a software asset base that would facilitate an incremental migration of several code bases to an integrated platform. We further seek to propose and evaluate techniques for verifying the migrated product line with respect to its original code bases.

Page Manager: Webmaster|Last update: 9/11/2012

The University of Gothenburg uses cookies to provide you with the best possible user experience. By continuing on this website, you approve of our use of cookies.  What are cookies?