Provably correct test generation for online testing of timed systems
author
Vain, Jüri
Anier, Aivo
Halling, Evelin
statement of authorship
Jüri Vain, Aivo Anier and Evelin Halling
source
Databases and Information Systems : proceedings of the 11th International Baltic Conference, Baltic DB&IS 2014 : Tallinn, Estonia, 8-11 June, 2014
location of publication
Tallinn
publisher
Tallinn University of Technology Press
year of publication
2014
pages
p. 337-348 : ill
conference name, date
Databases and Information Systems, 8-11 June, 2014
conference location
Tallinn
subject term
infotehnoloogia
testimine
keyword
model-based testing
provably correct test generation
timed automata
verification by model checking
ISBN
978-9949-23-632-9
notes
Bibliogr.: 18 ref
TTÜ department
arvutiteaduse instituut
TTÜ Küberneetika Instituut
language
inglise