@incollection{fmt:2008,
	title = {Testing {Real-Time} Systems Using {UPPAAL}},
	url = {http://dx.doi.org/10.1007/978-3-540-78917-8_3},
	abstract = {This chapter presents principles and techniques for model-based black-box conformance testing of real-time systems using the
Uppaal model-checking tool-suite. The basis for testing is given as a network of concurrent timed automata specified by the
test engineer. Relativized input/output conformance serves as the notion of implementation correctness, essentially timed
trace inclusion taking environment assumptions into account. Test cases can be generated offline and later executed, or they
can be generated and executed online. For both approaches this chapter discusses how to specify test objectives, derive test
sequences, apply these to the system under test, and assign a verdict.
},
	booktitle = {Formal Methods and Testing},
	author = {Anders Hessel and Kim Larsen and Marius Mikucionis and Brian Nielsen and Paul Pettersson and Arne Skou},
	year = {2008},
	pages = {77--117},
        url = {http://www.cs.aau.dk/~marius/tron/FMT2008.pdf}
}

@InProceedings{dagstuhl, 
author =         {Kim Larsen and Marius Mikucionis and Brian Nielsen},
title =          {{Online Testing of Real-time Systems using Uppaal: Status and Future 
Work}},
editor =         {E. Brinksma and W. Grieskamp and J. Tretmans and E. Weyuker},
booktitle = {Dagstuhl Seminar Proceedings volume 04371: Perspectives of Model-Based Tes
ting},
organization = {},
year =   2004,
publisher = {IBFI gem. GmbH, Schloss Dagstuhl},
pages ={},
address =        {Schloss Dagstuhl, D-66687 Wadern, Germany.},
month =          {September},
date =           {5-10},
note = {},
series =         {},
url = {http://www.cs.aau.dk/~marius/tron/Dagstuhl2004.pdf}
}

@techreport{BRICS-RS-03-49b,
  author =       "Mikucionis, Marius and Larsen, Kim G. and
                  Nielsen, Brian",
  title =        "Online On-the-Fly Testing of Real-time
                  Systems",
  institution =  "BRICS",
  year =         2003,
  number =       "RS-03-49",
  address =      "iesd",
  month =        "December",
  note =         "14~pp",
  keywords =     "testing, real-time systems, embedded systems,
                  timed trace inclusion, on-the-fly, online,
                  conformance, UppAal, conformance testing,
                  automated test derivation, test generation and
                  execution, model-based testing, real-time
                  testing, adapter, symbolic constraint solving,
                  infinite state space, state-set estimation",
  abstract =     "In this paper we present a framework, an
                  algorithm and a new tool for online testing of
                  real-time systems based on symbolic techniques
                  used in UPPAAL model checker. We extend UPPAAL
                  timed automata network model to a test
                  specification which is used to generate test
                  primitives and to check the correctness of
                  system responses including the timing aspects.
                  We use timed trace inclusion as a conformance
                  relation between system and specification to
                  draw a test verdict. The test generation and
                  execution algorithm is implemented as an
                  extension to UPPAAL and experiments carried out
                  to examine the correctness and performance of
                  the tool. The experiment results are
                  promising",
  linkhtmlabs =  "",
  linkps =       "",
  linkpdf = 	 {http://www.cs.aau.dk/~marius/tron/BRICS2003.pdf},
  url = 	 {http://www.cs.aau.dk/~marius/tron/BRICS2003.pdf}
}

@InProceedings{fates:04,
  author =       {K.G. Larsen and M. Mikucionis and B. Nielsen}, 
  title =        {Online Testing of Real-time Systems Using {\sc Uppaal}},
  booktitle =    {Formal Approaches to Testing of Software},
  year =         {2004},
  month =        {September 21},
  address =      {Linz, Austria},
  publisher =    {Lecture Notes in Computer Science},
  url =          {http://www.cs.aau.dk/~marius/tron/FATES2004.pdf}
}

@InProceedings{nwpt:03,
  author = 	 {M. Mikucionis and B. Nielsen and K.G. Larsen}, 
  title = 	 {Real-time System Testing On-the-fly},
  booktitle =    {the 15th Nordic Workshop on Programming Theory},
  pages = 	 {36-38},
  year = 	 {2003},
  month = 	 {October 29--31},
  series = 	 {B},
  number = 	 {34},
  address = 	 {Turku, Finland},
  publisher =    {\AA bo Akademi, Department of Computer Science, Finland},
  note = 	 {Abstracts},
  url = {http://www.cs.aau.dk/~marius/tron/nwpt03.pdf}
}

@MastersThesis{mst:03,
  author = 	 {M. Mikucionis and E. Sasnauskaite},
  title = 	 {On-the-fly Testing Using \textsc{UppAal}},
  school = 	 {Department of Computer Science, Aalborg University},
  year = 	 {2003},
  address = 	 {Denmark},
  month = 	 {June},
  url = {http://www.cs.aau.dk/~marius/tron/master.pdf}
}

@InProceedings{emsoft:05,
  author =       {Kim G. Larsen and Marius Mikucionis and Brian Nielsen},
  title =        {Testing real-time embedded software using UPPAAL-TRON: an industrial case study},
  booktitle =    {the 5th ACM international conference on Embedded software},
  pages =        {299 - 306},
  year =         {2005},
  month =        {September 18--22},
  publisher =    {ACM Press New York, NY, USA},
  url =          {http://doi.acm.org/10.1145/1086228.1086283},
  linkpdf = {http://www.cs.aau.dk/~marius/tron/EMSOFT2005.pdf}
}


@InProceedings{ase:04,
  author = 	 {Marius Mikucionis and Kim G. Larsen and Brian Nielsen},
  title = 	 {T-UPPAAL: Online Model-based Testing of Real-time Systems: tool demo},
  booktitle =    {the 19th IEEE International Conference on Automated Software Engineering},
  pages = 	 {396-397},
  year = 	 {2004},
  address = 	 {Linz, Austria},
  month = 	 {September 24},
  url = {http://www.cs.aau.dk/~marius/tron/ASE2004.pdf}
}