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 program 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 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
3
Look more..
(2/125)
Export
export all inquiry results
(3)
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
journal article
Automated software-based in-field self-test program synthesis
Jasnetski, Artjom
;
Ubar, Raimund-Johannes
;
Tšertov, Anton
International journal of microelectronics and computer science
2017
/
p. 57-64 : ill
journal article
2
book article
Automated software-based self-test generation for microprocessors
Jasnetski, Artjom
;
Ubar, Raimund-Johannes
;
Tšertov, Anton
Proceedings of the 24st International Conference Mixed Design of Integrated Circuits and Systems : MIXDES 2017 : Bydgoszcz, Poland, June 19-21, 2014
2017
/
p. 453-458 : ill
https://doi.org/10.23919/MIXDES.2017.8005252
book article
3
book article
On automatic software-based self-test program generation based on high-Level decision diagrams
Jasnetski, Artjom
;
Ubar, Raimund-Johannes
;
Tšertov, Anton
LATS 2016 : 17th IEEE Latin-American Test Symposium, Foz do Iguacu, Brazil, 6th-9th April 2016
2016
/
p. 177
http://dx.doi.org/10.1109/LATW.2016.7483357
book article
Number of records 3, displaying
1 - 3
keyword
124
1.
automatic test program generation
2.
automatic test case generation
3.
automatic test pattern generation
4.
test program generation
5.
automatic program synthesis
6.
automatic code generation
7.
Automatic generation control
8.
automatic GUI model generation
9.
adaptive test strategy generation
10.
automated test pattern generation
11.
behaviour level test generation
12.
functional test generation
13.
high-level test data generation
14.
highlevel test generation
15.
implementation-independent test generation
16.
offline test generation
17.
provably correct test generation
18.
test generation
19.
test generation and fault diagnosis
20.
Alternative Transient Program-Electromagnetic Transient Program (ATP-EMTP)
21.
automatic AI (autoAI)
22.
automatic assertion mining
23.
automatic calibration
24.
automatic clutch engagement
25.
automatic control
26.
automatic control systems
27.
automatic error correction
28.
automatic evaluation
29.
automatic fault diagnosis
30.
automatic machine learning (autoML)
31.
automatic model creation
32.
automatic processing of solutions
33.
automatic programming
34.
Automatic Security Verification
35.
automatic speaker verification
36.
automatic speech recognition
37.
automatic tide gauges
38.
automatic weather stations
39.
automatic voltage control
40.
DLL for automatic calibration
41.
verification, assertion-based verification, automatic assertion mining, data mining, association rule mining
42.
Apollo program
43.
Baltic-wide HELCOM COMBINE monitoring program
44.
college program
45.
master program
46.
monitoring program
47.
NATO. Science for Peace and Security Program
48.
probabilistic relational program logic
49.
program
50.
program analysis
51.
program equivalence
52.
program management
53.
program packages
54.
program transformation
55.
program verification
56.
SNAP program
57.
stufy program
58.
Activity-based demand generation
59.
building and urban form generation
60.
business model generation
61.
code generation
62.
disaster alert generation
63.
distributed electricity generation
64.
distributed generation
65.
Distributed Generation (DG)
66.
distributed generation systems
67.
distributed power generation
68.
distrubuted power generation
69.
droplet generation
70.
droplet generation rate control
71.
electric power generation
72.
electricity generation
73.
energy generation
74.
extreme penetration level of non synchronous generation
75.
feasible path generation
76.
fifth generation computer
77.
fourth generation district heating
78.
frequent item generation
79.
generation
80.
generation and transmission expansion planning
81.
Generation Costs
82.
generation of electric energy
83.
generation succession
84.
heat generation
85.
hydroelectric power generation
86.
hydrogen generation
87.
I–III generation
88.
job generation
89.
multisine generation
90.
next generation 4D printing
91.
next generation sequencing
92.
Next-generation probiotics
93.
next-generation sequencing
94.
oil-shale power generation
95.
pattern Generation
96.
photovoltaic (PV) generation
97.
photovoltaic generation dispatch
98.
power generation
99.
power generation dispatch
100.
power generation economics
101.
power generation planning
102.
PV generation
103.
PV power generation
104.
Renewable energy generation
105.
renewable generation
106.
residual generation
107.
Second generation bioethanol
108.
second generation of tribology models
109.
second generation sequencing
110.
silver generation
111.
solar power generation
112.
space generation advisory council
113.
template based sql generation
114.
trajectory generation
115.
waste generation
116.
wave generation
117.
white light generation
118.
wind energy generation
119.
wind generation
120.
wind power generation
121.
16S rRNA gene amplicon next-generation sequencing
122.
4GDH (4th generation district heating)
123.
4th generation district heating
124.
5th generation district heating
subject term
1
1.
PHARE (programm). Farm Environmental Managing Program projekt)
×
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