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
automatic test case 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..
(1/126)
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
Designing reliable cyber-physical systems
Aleksandrowicz, Gadi
;
Arbel, Eli
;
Bloem, Roderick
;
Devadze, Sergei
;
Jenihhin, Maksim
;
Jutman, Artur
;
Raik, Jaan
;
Shibin, Konstantin
Languages, design methods, and tools for electronic system design : selected contributions from FDL 2016
2018
/
p. 15-38 : ill
https://doi.org/10.1007/978-3-319-62920-9_2
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
Number of records 1, displaying
1 - 1
keyword
126
1.
automatic test case generation
2.
automatic test pattern generation
3.
automatic test program generation
4.
automatic code generation
5.
Automatic generation control
6.
automatic GUI model generation
7.
adaptive test strategy generation
8.
automated test pattern generation
9.
behaviour level test generation
10.
functional test generation
11.
Hierarchical Multi-level Test Generation
12.
high-level test data generation
13.
highlevel test generation
14.
implementation-independent test generation
15.
offline test generation
16.
provably correct test generation
17.
test generation
18.
test generation and fault diagnosis
19.
Test Group Generation for Detecting Multiple Faults
20.
test program generation
21.
automatic AI (autoAI)
22.
automatic assertion mining
23.
automatic calibration
24.
automatic clutch engagement
25.
automatic composition method
26.
automatic control
27.
automatic control systems
28.
automatic controllers
29.
automatic error correction
30.
automatic evaluation
31.
automatic fault diagnosis
32.
automatic frequency control
33.
Automatic identification system
34.
automatic identification system (AIS)
35.
automatic machine learning (autoML)
36.
automatic model creation
37.
automatic processing of solutions
38.
automatic program synthesis
39.
automatic programming
40.
Automatic Security Verification
41.
automatic speaker verification
42.
automatic speech recognition
43.
automatic tide gauges
44.
automatic weather stations
45.
automatic voltage control
46.
DLL for automatic calibration
47.
Speaker-attributed automatic speech
48.
verification, assertion-based verification, automatic assertion mining, data mining, association rule mining
49.
Activity-based demand generation
50.
automated code generation
51.
building and urban form generation
52.
business model generation
53.
code generation
54.
data set generation
55.
decentralized key generation
56.
disaster alert generation
57.
distributed electricity generation
58.
distributed generation
59.
Distributed Generation (DG)
60.
distributed generation systems
61.
distributed power generation
62.
distrubuted power generation
63.
droplet generation
64.
droplet generation rate control
65.
electric power generation
66.
electricity generation
67.
energy generation
68.
extreme penetration level of non synchronous generation
69.
feasible path generation
70.
fifth generation computer
71.
food waste generation
72.
fourth generation district heating
73.
frequent item generation
74.
generation
75.
generation and transmission expansion planning
76.
Generation Costs
77.
generation of electric energy
78.
generation scheduling
79.
generation succession
80.
heat generation
81.
hydroelectric power generation
82.
hydrogen generation
83.
I–III generation
84.
job generation
85.
knowledge generation
86.
multisine generation
87.
next generation 4D printing
88.
next generation sequencing
89.
Next-generation probiotics
90.
next-generation sequencing
91.
oil-shale power generation
92.
pattern Generation
93.
photovoltaic (PV) generation
94.
photovoltaic generation dispatch
95.
power generation
96.
power generation dispatch
97.
power generation economics
98.
power generation planning
99.
PV generation
100.
PV power generation
101.
Renewable energy generation
102.
renewable generation
103.
residual generation
104.
rule generation
105.
Scenario Generation
106.
Second generation bioethanol
107.
second generation of tribology models
108.
second generation sequencing
109.
signal generation
110.
silver generation
111.
sixth-generation (6G)
112.
solar power generation
113.
space generation advisory council
114.
template based sql generation
115.
trajectory generation
116.
waste generation
117.
wave generation
118.
WEEE generation
119.
white light generation
120.
wind energy generation
121.
wind generation
122.
wind power generation
123.
16S rRNA gene amplicon next-generation sequencing
124.
4GDH (4th generation district heating)
125.
4th generation district heating
126.
5th generation district heating
×
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