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
url
https://doi.org/10.3233/978-1-61499-458-9-289
subject term
tarkvaraarendus
testimine
automaatkontroll
Scopus
https://www.scopus.com/sourceid/19500157321
https://www.scopus.com/record/display.uri?eid=2-s2.0-84911488779&origin=inward&txGid=f7cdcf5c12732d1f0bdf01829c35e145
WOS
https://www.webofscience.com/wos/woscc/full-record/WOS:000362357700021
quartile
Q3
category (general)
Computer science
Arvutiteadus
category (sub)
Computer science. Artificial intelligence
Arvutiteadus. Tehisintellekt
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
scientific publication
teaduspublikatsioon
classifier
3.1
TalTech department
arvutiteaduse instituut
TTÜ Küberneetika Instituut
language
inglise