mdh.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
From fault injection to mutant injection: The next step for safety analysis?
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0002-4987-7669
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0002-6352-4368
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. Dept. of Computer Science, University of York, United Kingdom.ORCID iD: 0000-0003-2415-8219
2013 (English)In: Lect. Notes Comput. Sci., 2013, p. 276-277Conference paper, Published paper (Refereed)
Resource type
Text
Abstract [en]

Mutation testing has been used to assess test suite coverage, and researchers have proposed adapting the idea for other uses. Safety kernels allow the use of untrusted software components in safety-critical applications: a trusted software safety kernel detects undesired behavior and takes remedial action. We propose to use specification mutation, model checking, and model-based testing to verify safety kernels for component-based, safety-critical computer systems.

Place, publisher, year, edition, pages
2013. p. 276-277
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 7857
Keywords [en]
component based design, mutation testing, safety analysis, Safety-critical systems, Model based testing, Safety critical applications, Safety critical systems, Software component, Undesired behavior, Computer software selection and evaluation, Hardware, Model checking, Safety engineering, Software testing
National Category
Computer and Information Sciences
Identifiers
URN: urn:nbn:se:mdh:diva-31635DOI: 10.1007/978-3-642-39611-3_27Scopus ID: 2-s2.0-84880721313ISBN: 9783642396106 (print)OAI: oai:DiVA.org:mdh-31635DiVA, id: diva2:930422
Conference
8th International on Hardware and Software: Verification and Testing, HVC 2012; Haifa; Israel; 6 November 2012 through 8 November 2012
Available from: 2016-05-24 Created: 2016-05-24 Last updated: 2018-01-26Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records BETA

Rodriguez-Navas, GuillermoGraydon, PatrickBate, Iain

Search in DiVA

By author/editor
Rodriguez-Navas, GuillermoGraydon, PatrickBate, Iain
By organisation
Embedded Systems
Computer and Information Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 3 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