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
TalTech subject term
TalTech 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
TalTech subject term
TalTech 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
TalTech subject term
TalTech 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
TalTech subject term
TalTech 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
TalTech subject term
TalTech 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 publications
..
year
year of publication
Loading..
author
Loading..
TalTech department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
1
Look more..
(2/225)
Export
export all inquiry results
(1)
Save TXT 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
223
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.
Hierarchical Multi-level Test Generation
10.
high-level test data generation
11.
highlevel test generation
12.
implementation-independent test generation
13.
provably correct test generation
14.
test generation
15.
test generation and fault diagnosis
16.
Test Group Generation for Detecting Multiple Faults
17.
test program generation
18.
offline guessing attacks
19.
offline optimisation
20.
Activity-based demand generation
21.
automated code generation
22.
automatic code generation
23.
Automatic generation control
24.
automatic GUI model generation
25.
building and urban form generation
26.
business model generation
27.
code generation
28.
data set generation
29.
decentralized key generation
30.
disaster alert generation
31.
distributed electricity generation
32.
distributed generation
33.
Distributed Generation (DG)
34.
distributed generation systems
35.
distributed power generation
36.
distrubuted power generation
37.
droplet generation
38.
droplet generation rate control
39.
electric power generation
40.
electricity generation
41.
energy generation
42.
extreme penetration level of non synchronous generation
43.
feasible path generation
44.
fifth generation computer
45.
fourth generation district heating
46.
frequent item generation
47.
generation
48.
generation and transmission expansion planning
49.
Generation Costs
50.
generation of electric energy
51.
generation scheduling
52.
generation succession
53.
heat generation
54.
hydroelectric power generation
55.
hydrogen generation
56.
I–III generation
57.
job generation
58.
knowledge generation
59.
multisine generation
60.
next generation 4D printing
61.
next generation sequencing
62.
Next-generation probiotics
63.
next-generation sequencing
64.
oil-shale power generation
65.
pattern Generation
66.
photovoltaic (PV) generation
67.
photovoltaic generation dispatch
68.
power generation
69.
power generation dispatch
70.
power generation economics
71.
power generation planning
72.
PV generation
73.
PV power generation
74.
Renewable energy generation
75.
renewable generation
76.
residual generation
77.
rule generation
78.
Second generation bioethanol
79.
second generation of tribology models
80.
second generation sequencing
81.
signal generation
82.
silver generation
83.
sixth-generation (6G)
84.
solar power generation
85.
space generation advisory council
86.
template based sql generation
87.
trajectory generation
88.
waste generation
89.
wave generation
90.
white light generation
91.
wind energy generation
92.
wind generation
93.
wind power generation
94.
16S rRNA gene amplicon next-generation sequencing
95.
4GDH (4th generation district heating)
96.
4th generation district heating
97.
5th generation district heating
98.
accelerated shelf-life test
99.
antigen test
100.
Applications in Test Engineering
101.
ASTM G65 dry sand rubber wheel abrasion test
102.
Automated Synthesis of Software-based Self-test
103.
automated test environment
104.
Auvergne test-bed
105.
battery test
106.
behavioral test
107.
bending test
108.
bit-error rate test
109.
Board and System Test
110.
board test
111.
bounds test
112.
built-in self-test
113.
capillary condensation redistribution test
114.
chi-square test
115.
closed bottle test
116.
cognitive screening test
117.
compartment fire test
118.
compartment test
119.
cone penetration test (CPT)
120.
COVID-19 antigen test
121.
cutting test
122.
cybersecurity test bed
123.
DDR4 interconnect test
124.
design and test
125.
design-for-test
126.
deterministic test sequences
127.
diagnostic test
128.
digital test
129.
Digital test and testable design
130.
double-pulse test
131.
drawing test
132.
dry droplet antimicrobial test
133.
embedded test
134.
fan pressurisation test
135.
final test result prediction
136.
four-point bending test
137.
FPGA based test
138.
FPGA-Assisted Test
139.
FPGA-centric test
140.
functional self-test
141.
Granger causality test
142.
hardness test
143.
high-level synthesis for test
144.
high-speed serial link test
145.
IEEE 9 bus test system
146.
in situ tensile test in SEM
147.
industrial field test
148.
in-situ tensile test in SEM
149.
Johansen cointegration test
150.
Kolmogorov-Smirnov test
151.
load test
152.
logic built-in self-test
153.
Luria alternating series test
154.
Mann–Kendall test
155.
Mann-Kendall trend test
156.
memory interconnect test
157.
microprocessor test
158.
Model test
159.
multiplier test
160.
orthogonal test
161.
package test analysis
162.
parallel design and test
163.
performance test
164.
piezocone penetration test (CPTu)
165.
Point Load Test index
166.
pressurisation test
167.
processor-centric board test
168.
progressive damage test
169.
pseudo-exhaustive test
170.
purity test
171.
real-time room temperature test
172.
rolling thin film oven test
173.
rtioco-based timed test sequences
174.
seasonal Mann Kendall test
175.
seismic piezocone penetration test
176.
self-test
177.
self-test architectures
178.
sentence writing test
179.
serial sevens test
180.
ship towing test tank
181.
similar material simulation test
182.
small-scale fire test
183.
small‐scale test
184.
software based self-test
185.
software-based self-test
186.
software-based self-test (SBST)
187.
soil phosphorus (P) test
188.
standard test method
189.
static load test
190.
static-dynamic probing test (SDT)
191.
stress test
192.
system level test
193.
teaching design and test of systems
194.
tensile test
195.
tensile test
196.
test
197.
test and evaluation platform
198.
test automation
199.
test bench
200.
test coverage
201.
test driven development
202.
test driven modelling
203.
test embankment
204.
test equipment
205.
test groups
206.
test model design
207.
test optimization
208.
test packets
209.
test path synthesis
210.
test patterns
211.
test point insertion
212.
test reference year
213.
test replication
214.
test scenario description language
215.
test-bed
216.
test-chips
217.
test-house
218.
test-pattern
219.
test-suite reduction
220.
Three-point bending test
221.
unit root test
222.
usability platform test
223.
1995 ECC benchmark test
subject term
2
1.
European Test Symposium (ETS)
2.
16PF (test)
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TalTech department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TalTech department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT