Alexandru Florin Iosif-Lazar

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
Context. Variability-intensive programs (program families) appear in many application areas and for many reasons today. Different family members, called variants, are derived by switching statically configurable options (features) on and off, while reuse of the common code is maximized. Inquiry. Verification of program families is challenging since the(More)
  • 1