T-UPPAAL: Online Model-based Testing of Real-Time Systems

	This Article
	PDF RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Marius Mikucionis Articles by Kim G. Larsen Articles by Brian Nielsen

19th IEEE International Conference on Automated Software Engineering (ASE'04)

T-UPPAAL: Online Model-based Testing of Real-Time Systems (PDF)

Linz, Austria

September 20-September 24

ISBN: 0-7695-2131-2

	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

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ASE.2004.10059

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

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.