Verification of Software Product Lines with Delta-Oriented Slicing

@inproceedings{Grahl2010VerificationOS,
  title={Verification of Software Product Lines with Delta-Oriented Slicing},
  author={Daniel Grahl and Vladimir Klebanov and Ina Schaefer},
  booktitle={FoVeOOS},
  year={2010}
}
Software product line (SPL) engineering is a well-known approach to develop industry-size adaptable software systems. SPL are often used in domains where high-quality software is desirable; the overwhelming product diversity, however, remains a challenge for assuring correctness. In this paper, we present delta-oriented slicing, an approach to reduce the deductive verification effort across an SPL where individual products are Java programs and their relations are described by deltas. On the… CONTINUE READING
31 Citations
33 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-10 of 31 extracted citations

Tests and Proofs

  • Achim D. Brucker Jacques Julliand
  • Lecture Notes in Computer Science
  • 2012
Highly Influenced
10 Excerpts

References

Publications referenced by this paper.
Showing 1-10 of 33 references

Batory and Egon Börger . Modularizing theorems for software product lines : The Jbook case study

  • S Don
  • Journal of Universal Computer Science
  • 2008

Similar Papers

Loading similar papers…