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/227)
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
225
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.
food waste generation
46.
fourth generation district heating
47.
frequent item generation
48.
generation
49.
generation and transmission expansion planning
50.
Generation Costs
51.
generation of electric energy
52.
generation scheduling
53.
generation succession
54.
heat generation
55.
hydroelectric power generation
56.
hydrogen generation
57.
I–III generation
58.
job generation
59.
knowledge generation
60.
multisine generation
61.
next generation 4D printing
62.
next generation sequencing
63.
Next-generation probiotics
64.
next-generation sequencing
65.
oil-shale power generation
66.
pattern Generation
67.
photovoltaic (PV) generation
68.
photovoltaic generation dispatch
69.
power generation
70.
power generation dispatch
71.
power generation economics
72.
power generation planning
73.
PV generation
74.
PV power generation
75.
Renewable energy generation
76.
renewable generation
77.
residual generation
78.
rule generation
79.
Second generation bioethanol
80.
second generation of tribology models
81.
second generation sequencing
82.
signal generation
83.
silver generation
84.
sixth-generation (6G)
85.
solar power generation
86.
space generation advisory council
87.
template based sql generation
88.
trajectory generation
89.
waste generation
90.
wave generation
91.
WEEE generation
92.
white light generation
93.
wind energy generation
94.
wind generation
95.
wind power generation
96.
16S rRNA gene amplicon next-generation sequencing
97.
4GDH (4th generation district heating)
98.
4th generation district heating
99.
5th generation district heating
100.
accelerated shelf-life test
101.
antigen test
102.
Applications in Test Engineering
103.
ASTM G65 dry sand rubber wheel abrasion test
104.
Automated Synthesis of Software-based Self-test
105.
automated test environment
106.
Auvergne test-bed
107.
battery test
108.
behavioral test
109.
bending test
110.
bit-error rate test
111.
Board and System Test
112.
board test
113.
bounds test
114.
built-in self-test
115.
capillary condensation redistribution test
116.
chi-square test
117.
closed bottle test
118.
cognitive screening test
119.
compartment fire test
120.
compartment test
121.
cone penetration test (CPT)
122.
COVID-19 antigen test
123.
cutting test
124.
cybersecurity test bed
125.
DDR4 interconnect test
126.
design and test
127.
design-for-test
128.
deterministic test sequences
129.
diagnostic test
130.
digital test
131.
Digital test and testable design
132.
double-pulse test
133.
drawing test
134.
dry droplet antimicrobial test
135.
embedded test
136.
fan pressurisation test
137.
final test result prediction
138.
four-point bending test
139.
FPGA based test
140.
FPGA-Assisted Test
141.
FPGA-centric test
142.
functional self-test
143.
Granger causality test
144.
hardness test
145.
high-level synthesis for test
146.
high-speed serial link test
147.
IEEE 9 bus test system
148.
in situ tensile test in SEM
149.
industrial field test
150.
in-situ tensile test in SEM
151.
Johansen cointegration test
152.
Kolmogorov-Smirnov test
153.
load test
154.
logic built-in self-test
155.
Luria alternating series test
156.
Mann–Kendall test
157.
Mann-Kendall trend test
158.
memory interconnect test
159.
microprocessor test
160.
Model test
161.
multiplier test
162.
orthogonal test
163.
package test analysis
164.
parallel design and test
165.
performance test
166.
piezocone penetration test (CPTu)
167.
Point Load Test index
168.
pressurisation test
169.
processor-centric board test
170.
progressive damage test
171.
pseudo-exhaustive test
172.
purity test
173.
real-time room temperature test
174.
rolling thin film oven test
175.
rtioco-based timed test sequences
176.
seasonal Mann Kendall test
177.
seismic piezocone penetration test
178.
self-test
179.
self-test architectures
180.
sentence writing test
181.
serial sevens test
182.
ship towing test tank
183.
similar material simulation test
184.
small-scale fire test
185.
small‐scale test
186.
software based self-test
187.
software-based self-test
188.
software-based self-test (SBST)
189.
soil phosphorus (P) test
190.
standard test method
191.
static load test
192.
static-dynamic probing test (SDT)
193.
stress test
194.
system level test
195.
teaching design and test of systems
196.
tensile test
197.
tensile test
198.
test
199.
test and evaluation platform
200.
test automation
201.
test bench
202.
test coverage
203.
test driven development
204.
test driven modelling
205.
test embankment
206.
test equipment
207.
test groups
208.
test model design
209.
test optimization
210.
test packets
211.
test path synthesis
212.
test patterns
213.
test point insertion
214.
test reference year
215.
test replication
216.
test scenario description language
217.
test-bed
218.
test-chips
219.
test-house
220.
test-pattern
221.
test-suite reduction
222.
Three-point bending test
223.
unit root test
224.
usability platform test
225.
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