Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Advanced search
My bookmarks
0
offline test generation (keyword)
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
Add criteria
Simple search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publication
..
year
year of publication
Loading..
author
Loading..
TTÜ department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
1
Look more..
(1/85)
Export
export all inquiry results
(1)
Save TXT fail
Save PDF fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
1
book article EST
/
book article ENG
Aspect-oriented Model-based testing with UPPAAL timed automata
Vain, Jüri
;
Tsiopoulos, Leonidas
;
Kanter, Gert
Model and Data Engineering : 10th International Conference, MEDI 2021, Tallinn, Estonia, June 21–23, 2021 : proceedings
2021
/
p. 117-124
https://doi.org/10.1007/978-3-030-78428-7_10
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
Number of records 1, displaying
1 - 1
keyword
85
1.
offline test generation
2.
adaptive test strategy generation
3.
automated test pattern generation
4.
automatic test case generation
5.
automatic test pattern generation
6.
automatic test program generation
7.
behaviour level test generation
8.
functional test generation
9.
high-level test data generation
10.
highlevel test generation
11.
implementation-independent test generation
12.
provably correct test generation
13.
test generation
14.
test generation and fault diagnosis
15.
test program generation
16.
offline guessing attacks
17.
offline optimisation
18.
Activity-based demand generation
19.
automatic code generation
20.
Automatic generation control
21.
automatic GUI model generation
22.
building and urban form generation
23.
business model generation
24.
code generation
25.
disaster alert generation
26.
distributed electricity generation
27.
distributed generation
28.
Distributed Generation (DG)
29.
distributed power generation
30.
distrubuted power generation
31.
droplet generation
32.
droplet generation rate control
33.
electric power generation
34.
electricity generation
35.
energy generation
36.
extreme penetration level of non synchronous generation
37.
feasible path generation
38.
fifth generation computer
39.
fourth generation district heating
40.
frequent item generation
41.
generation
42.
generation and transmission expansion planning
43.
Generation Costs
44.
generation of electric energy
45.
generation succession
46.
heat generation
47.
hydroelectric power generation
48.
hydrogen generation
49.
I–III generation
50.
job generation
51.
multisine generation
52.
next generation 4D printing
53.
next generation sequencing
54.
Next-generation probiotics
55.
next-generation sequencing
56.
oil-shale power generation
57.
pattern Generation
58.
photovoltaic (PV) generation
59.
photovoltaic generation dispatch
60.
power generation
61.
power generation dispatch
62.
power generation economics
63.
power generation planning
64.
PV generation
65.
PV power generation
66.
Renewable energy generation
67.
renewable generation
68.
residual generation
69.
Second generation bioethanol
70.
second generation of tribology models
71.
second generation sequencing
72.
silver generation
73.
solar power generation
74.
space generation advisory council
75.
template based sql generation
76.
trajectory generation
77.
waste generation
78.
wave generation
79.
white light generation
80.
wind energy generation
81.
wind generation
82.
wind power generation
83.
4GDH (4th generation district heating)
84.
4th generation district heating
85.
5th generation district heating
×
vaste
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TTÜ department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TTÜ department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT