Spinal Test Suites for Software Product Lines

A major challenge in testing software product lines is efficiency. In particular, testing a product line should take less effort than testing each and every product individually. We address this issue in the context of input-output conformance testing, which is a formal theory of model-based testing...

Full description

Bibliographic Details
Main Authors: Harsh Beohar, Mohammad Reza Mousavi
Format: Article
Language:English
Published: Open Publishing Association 2014-03-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1403.7260v1