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
Searching
My bookmarks
0
offline test generation (keyword)
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
Add criteria
Advanced 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/226)
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
224
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.
white light generation
92.
wind energy generation
93.
wind generation
94.
wind power generation
95.
16S rRNA gene amplicon next-generation sequencing
96.
4GDH (4th generation district heating)
97.
4th generation district heating
98.
5th generation district heating
99.
accelerated shelf-life test
100.
antigen test
101.
Applications in Test Engineering
102.
ASTM G65 dry sand rubber wheel abrasion test
103.
Automated Synthesis of Software-based Self-test
104.
automated test environment
105.
Auvergne test-bed
106.
battery test
107.
behavioral test
108.
bending test
109.
bit-error rate test
110.
Board and System Test
111.
board test
112.
bounds test
113.
built-in self-test
114.
capillary condensation redistribution test
115.
chi-square test
116.
closed bottle test
117.
cognitive screening test
118.
compartment fire test
119.
compartment test
120.
cone penetration test (CPT)
121.
COVID-19 antigen test
122.
cutting test
123.
cybersecurity test bed
124.
DDR4 interconnect test
125.
design and test
126.
design-for-test
127.
deterministic test sequences
128.
diagnostic test
129.
digital test
130.
Digital test and testable design
131.
double-pulse test
132.
drawing test
133.
dry droplet antimicrobial test
134.
embedded test
135.
fan pressurisation test
136.
final test result prediction
137.
four-point bending test
138.
FPGA based test
139.
FPGA-Assisted Test
140.
FPGA-centric test
141.
functional self-test
142.
Granger causality test
143.
hardness test
144.
high-level synthesis for test
145.
high-speed serial link test
146.
IEEE 9 bus test system
147.
in situ tensile test in SEM
148.
industrial field test
149.
in-situ tensile test in SEM
150.
Johansen cointegration test
151.
Kolmogorov-Smirnov test
152.
load test
153.
logic built-in self-test
154.
Luria alternating series test
155.
Mann–Kendall test
156.
Mann-Kendall trend test
157.
memory interconnect test
158.
microprocessor test
159.
Model test
160.
multiplier test
161.
orthogonal test
162.
package test analysis
163.
parallel design and test
164.
performance test
165.
piezocone penetration test (CPTu)
166.
Point Load Test index
167.
pressurisation test
168.
processor-centric board test
169.
progressive damage test
170.
pseudo-exhaustive test
171.
purity test
172.
real-time room temperature test
173.
rolling thin film oven test
174.
rtioco-based timed test sequences
175.
seasonal Mann Kendall test
176.
seismic piezocone penetration test
177.
self-test
178.
self-test architectures
179.
sentence writing test
180.
serial sevens test
181.
ship towing test tank
182.
similar material simulation test
183.
small-scale fire test
184.
small‐scale test
185.
software based self-test
186.
software-based self-test
187.
software-based self-test (SBST)
188.
soil phosphorus (P) test
189.
standard test method
190.
static load test
191.
static-dynamic probing test (SDT)
192.
stress test
193.
system level test
194.
teaching design and test of systems
195.
tensile test
196.
tensile test
197.
test
198.
test and evaluation platform
199.
test automation
200.
test bench
201.
test coverage
202.
test driven development
203.
test driven modelling
204.
test embankment
205.
test equipment
206.
test groups
207.
test model design
208.
test optimization
209.
test packets
210.
test path synthesis
211.
test patterns
212.
test point insertion
213.
test reference year
214.
test replication
215.
test scenario description language
216.
test-bed
217.
test-chips
218.
test-house
219.
test-pattern
220.
test-suite reduction
221.
Three-point bending test
222.
unit root test
223.
usability platform test
224.
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