hh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Symbolic Characterisation of Commonalities in Testing Software Product Lines
Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).
2016 (English)In: 2016 9TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST), Piscataway, N.J.: IEEE , 2016, p. 387-388Conference paper, Published paper (Refereed)
Abstract [en]

Validation and verification of Software Product Lines is particularly challenging due to the complex structure and interaction of commonalities and variabilities among products. There are several approaches to specify the structure of such commonalities and variabilities, such as the delta-oriented approach. Building upon such a structure, we propose an approach to avoid redundant analysis in Software Product Lines by extending them to semantic behavioural changes. To this end, we propose to use Differential Symbolic Execution, an automated technique for proving functional behavioural equivalence based on satisfiability modulo theories. Our proposal aims at identifying the behavioural commonalities of one software product relative to another and exploits them in order to establish an efficient model-based testing trajectory.

Place, publisher, year, edition, pages
Piscataway, N.J.: IEEE , 2016. p. 387-388
Series
IEEE International Conference on Software Testing Verification and Validation, ISSN 2381-2834
National Category
Software Engineering Production Engineering, Human Work Science and Ergonomics Computer Sciences Computer Systems
Identifiers
URN: urn:nbn:se:hh:diva-35671DOI: 10.1109/ICST.2016.48ISI: 000391252900041Scopus ID: 2-s2.0-84983284243ISBN: 978-1-5090-1827-7 (electronic)OAI: oai:DiVA.org:hh-35671DiVA: diva2:1164964
Conference
9th IEEE International Conference on Software Testing, Verification and Validation (ICST), APR 10-15, 2016, Chicago, IL
Available from: 2017-12-12 Created: 2017-12-12 Last updated: 2018-01-13Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records BETA

Kunze, Sebastian

Search in DiVA

By author/editor
Kunze, Sebastian
By organisation
Centre for Research on Embedded Systems (CERES)
Software EngineeringProduction Engineering, Human Work Science and ErgonomicsComputer SciencesComputer Systems

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 12 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf