loading...
T-UPPAAL: Online Model-based Testing of Real-Time Systems
Linz, Austria September 20-September 24
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ASE.2004.1005919th IEEE International Conference on ...
 This Article 
 
PURCHASE ARTICLE: $0
HTML
IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Marius Mikucionis, Kim G. Larsen, Brian Nielsen, "T-UPPAAL: Online Model-based Testing of Real-Time Systems," Automated Software Engineering, International Conference on, pp. 396-397, 19th IEEE International Conference on Automated Software Engineering (ASE'04), 2004.
 
 
BibTex
x
 
@article{ 10.1109/ASE.2004.10059,
author = {Marius Mikucionis and Kim G. Larsen and Brian Nielsen},
title = {T-UPPAAL: Online Model-based Testing of Real-Time Systems},
journal ={Automated Software Engineering, International Conference on},
volume = {0},
year = {2004},
issn = {1068-3062},
pages = {396-397},
doi = {http://doi.ieeecomputersociety.org/10.1109/ASE.2004.10059},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Automated Software Engineering, International Conference on
TI - T-UPPAAL: Online Model-based Testing of Real-Time Systems
SN - 1068-3062
SP396
EP397
A1 - Marius Mikucionis,
A1 - Kim G. Larsen,
A1 - Brian Nielsen,
PY - 2004
KW - null
VL - 0
JA - Automated Software Engineering, International Conference on
ER -
 
Marius Mikucionis, Aalborg University, Denmark
Kim G. Larsen, Aalborg University, Denmark
Brian Nielsen, Aalborg University, Denmark
The goal of testing is to gain confidence in a physical computer based system by means of executing it. More than one third of typical project resources is spent on testing embedded and real-time systems, but still it remains ad-hoc, based on heuristics, and error-prone. Therefore systematic, theoretically well-founded and effective automated real-time testing techniques are of great practical value.
Citation:
Marius Mikucionis, Kim G. Larsen, Brian Nielsen, "T-UPPAAL: Online Model-based Testing of Real-Time Systems," ase, pp.396-397, 19th IEEE International Conference on Automated Software Engineering (ASE'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.


Suggestions