Provably correct test generation for online testing of timed systems
autor
Vain, Jüri
Anier, Aivo
Halling, Evelin
vastutusandmed
Jüri Vain, Aivo Anier and Evelin Halling
allikas
Databases and Information Systems : proceedings of the 11th International Baltic Conference, Baltic DB&IS 2014 : Tallinn, Estonia, 8-11 June, 2014
ilmumiskoht
Tallinn
kirjastus/väljaandja
Tallinn University of Technology Press
ilmumisaasta
2014
leheküljed
p. 337-348 : ill
konverentsi nimetus, aeg
Databases and Information Systems, 8-11 June, 2014
konverentsi toimumispaik
Tallinn
märksõna
infotehnoloogia
testimine
võtmesõna
model-based testing
provably correct test generation
timed automata
verification by model checking
ISBN
978-9949-23-632-9
märkused
Bibliogr.: 18 ref
TTÜ struktuuriüksus
arvutiteaduse instituut
TTÜ Küberneetika Instituut
keel
inglise