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. We extend the notion of conformance testing on input-output featured transition systems with the novel concept of spinal test suites. We show how this concept dispenses with retesting the common behavior among different, but similar, products of a software product line. 
Harsh Beohar (Center for Research on Embedded Systems Halmstad   University, Sweden), Mohammad Reza Mousavi (Center for Rese...
cs.SE cs.LO