Cristin-resultat-ID: 1957005
Sist endret: 18. februar 2022, 14:35
NVI-rapporteringsår: 2021
Resultat
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
2021

MC/DC Test Cases Generation Based on BDDs

Bidragsytere:
  • Faustin Ahishakiye
  • Jose Ignacio Requeno Jarabo
  • Lars Michael Kristensen og
  • Volker Stolz

Bok

SETTA2021: 7th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications
ISBN:
  • 978-3-030-91265-9

Utgiver

Springer International Publishing

Serie

Lecture Notes in Computer Science (LNCS)
ISSN 0302-9743
e-ISSN 1611-3349
NVI-nivå 1
Finn i kanalregisteret

Om resultatet

Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
Publiseringsår: 2021
Volum: 13071
Hefte: 1
Sider: 178 - 197
ISBN:
  • 978-3-030-91265-9

Lenker

original online (doi)

ORIA

Klassifisering

Fagfelt (NPI)

Fagfelt: Informatikk og datateknikk
- Fagområde: Realfag og teknologi

Beskrivelse Beskrivelse

Tittel

MC/DC Test Cases Generation Based on BDDs

Bidragsytere

Faustin Ahishakiye

  • Tilknyttet:
    Forfatter
    ved Institutt for datateknologi, elektroteknologi og realfag ved Høgskulen på Vestlandet

Jose Ignacio Requeno Jarabo

  • Tilknyttet:
    Forfatter
    ved Institutt for datateknologi, elektroteknologi og realfag ved Høgskulen på Vestlandet
  • Tilknyttet:
    Forfatter
    ved Universidad Complutense de Madrid

Lars Michael Kristensen

  • Tilknyttet:
    Forfatter
    ved Institutt for datateknologi, elektroteknologi og realfag ved Høgskulen på Vestlandet
Aktiv cristin-person

Volker Stolz

  • Tilknyttet:
    Forfatter
    ved Institutt for datateknologi, elektroteknologi og realfag ved Høgskulen på Vestlandet
1 - 4 av 4

Resultatet er en del av Resultatet er en del av

SETTA2021: 7th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications.

Qin, Shengchao; Jim, Woodcock; Wenhui, Zhang. 2021, CAS, UoYVitenskapelig antologi/Konferanseserie
1 - 1 av 1