Verification in Software Product Line Development.

Natsuko Noda, Tomoji Kishi

Research output: Contribution to journalArticlepeer-review

1 Citation (Scopus)


Software product line development (SPLD) is the development in that assets are systematically reused and therefore software can be efficiently developed. However, verification cost can easily increase in software development. Hence, the verification in SPLD is important; how to verify huge number of potential products, how to verify reusable assets, and so forth. In this paper, we describe current trends of verification techniques for software product line, especially testing and verification with formal methods.

Original languageEnglish
Pages (from-to)3-17
Number of pages15
JournalComputer Software
Issue number3
Publication statusPublished - 2013 Jan

ASJC Scopus subject areas

  • Software


Dive into the research topics of 'Verification in Software Product Line Development.'. Together they form a unique fingerprint.

Cite this