liu.seSearch for publications in DiVA
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • 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
Systematically uncovering mutants in testing safety critical software: Using symbolic execution on surviving mutants from mutation testing
Linköping University, Department of Computer and Information Science, Software and Systems. (SAS)
Linköping University, Department of Computer and Information Science, Software and Systems. (SAS)
2019 (English)Independent thesis Advanced level (degree of Master (Two Years)), 20 credits / 30 HE creditsStudent thesisAlternative title
Systematiskt upptäckande av mutanter i testning av säkerhetskritisk mjukvara : Användning av symbolisk exekvering på överlevande mutanter från mutationstestning (Swedish)
Abstract [en]

This thesis investigates how symbolic execution and constraint solving can be used for detecting equivalent and non-equivalent mutants in mutation testing. The presented method proposes a driver implementation, realized as a plugin for Dextool, to differentiate original and mutated code from each other by executing both versions symbolically using KLEE. The method was tried on a number of code examples, uncovering equivalent and non-equivalent mutants successfully. It was concluded that detection of equivalent and non-equivalent mutants was possible and relevant for mutation testing, but with limitations in terms of scalability and applicability due to increasing amount of side effects, path explosion and certain functions not being suitable for symbolic execution.

Place, publisher, year, edition, pages
2019. , p. 82
Keywords [en]
Mutation Testing, Symbolic Execution, Dextool
National Category
Computer Engineering Computer Systems
Identifiers
URN: urn:nbn:se:liu:diva-163338ISRN: LIU-IDA/LITH-EX-A--19/105--SEOAI: oai:DiVA.org:liu-163338DiVA, id: diva2:1392113
External cooperation
Saab Aeronautics
Subject / course
Computer science
Presentation
2020-01-10, Alan Turing, Linköpings universitet, 581 83 LINKÖPING, Linköping, 13:00 (Swedish)
Supervisors
Examiners
Available from: 2020-02-07 Created: 2020-02-06 Last updated: 2020-02-07Bibliographically approved

Open Access in DiVA

Systematically uncovering mutants in testing safety critical software: Using symbolic execution on surviving mutants from mutation testing(527 kB)7 downloads
File information
File name FULLTEXT01.pdfFile size 527 kBChecksum SHA-512
8b0fc1f8e2994a74e17082a14eddac0bea3dcaf34b9b5e44654315feaedeb0667d6906c0f92d9a5618f0c0d53399e9d278800a6a670114cd37fa1bc48546ab8e
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Pettersson, NiklasPetersson, Nils
By organisation
Software and Systems
Computer EngineeringComputer Systems

Search outside of DiVA

GoogleGoogle Scholar
Total: 7 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

urn-nbn

Altmetric score

urn-nbn
Total: 78 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • 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