print

Provably correct test development for 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 VIII : selected papers from the Eleventh International Baltic Conference, DB&IS 2014
location of publication
Amsterdam
publisher
IOS Press
year of publication
2014
pages
p. 289-302 : ill
series
Frontiers in artificial intelligence and applications ; 270
conference name, date
Eleventh International Baltic Conference, DB&IS 2014, 8-11 June, 2014
conference location
Tallinn
subject term
tarkvaraarendus
testimine
automaatkontroll
keyword
model-based testing
provably correct test generation
timed automata
verification by model checking
ISSN
0922-6389
ISBN
978-1-61499-457-2
notes
Bibliogr.: 13 ref
TTÜ department
arvutiteaduse instituut
TTÜ Küberneetika Instituut
language
inglise
Vain, J., Anier, A., Halling, E. Provably correct test development for timed systems // Databases and information systems VIII : selected papers from the Eleventh International Baltic Conference, DB&IS 2014. Amsterdam : IOS Press, 2014. p. 289-302 : ill. (Frontiers in artificial intelligence and applications ; 270).