Multi-fragment Markov model guided online test generation for MPSoC

autor
Vain, Jüri
Tsiopoulos, Leonidas
Kharchenko, Vyacheslav
Apneet Kaur
Jenihhin, Maksim
Raik, Jaan
vastutusandmed
Jüri Vain, Leonidas Tsiopoulos, Vyacheslav Kharchenko, Apneet Kaur, Maksim Jenihhin, and Jaan Raik
allikas
ICTERI 2017 : ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer : proceedings of the 13th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer, Kyiv, Ukraine, May 15-18, 2017
ilmumiskoht
Aachen
kirjastus/väljaandja
CEUR-WS.org
ilmumisaasta
2017
leheküljed
p. 594-607 : ill
seeria-sari
CEUR workshop proceedings ; 1844
konverentsi nimetus, aeg
13th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer, ICTERI 2017, May 15-18, 2017
konverentsi toimumispaik
Kyiv, Ukraine
leitav
http://www.scopus.com/inward/record.uri?eid=2-s2.0-85020540459&partnerID=40&md5=af226e25c344c52689f23bf5c39cc267
http://ceur-ws.org/Vol-1844/10000594.pdf
märksõna
kuupvõrgud
tarkvaraarendus
testimine
modelleerimine (teadus)
Scopus
https://www.scopus.com/sourceid/21100218356
https://www.scopus.com/record/display.uri?eid=2-s2.0-85020540459&origin=inward&txGid=822a1c19d42faa05854df1b2bd3d60ba
kvartiil
Q3
kategooria (üld)
Computer science
Arvutiteadus
kategooria (alam)
Computer science. General computer science
Arvutiteadus. Üldine arvutiteadus
võtmesõna
formal methods
Markov models
model-based testing
multi-processor system-on-chip
UPPAAL timed automata
verification
ISSN
1613-0073
märkused
Bibliogr.: 19 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
tarkvarateaduse instituut
arvutisüsteemide instituut
keel
inglise