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
automatic assertion mining (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
TTÜ subject term
TTÜ 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
TTÜ subject term
TTÜ 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
TTÜ subject term
TTÜ 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
TTÜ subject term
TTÜ 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
TTÜ subject term
TTÜ 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 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
1
Look more..
(1/76)
Export
export all inquiry results
(1)
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 EST
/
journal article ENG
An automated method for mining high-quality assertion sets
Heidari Iman, Mohammadreza
;
Raik, Jaan
;
Jenihhin, Maksim
;
Jervan, Gert
;
Ghasempouri, Tara
Microprocessors and microsystems
2023
/
art. 104773
https://doi.org/10.1016/j.micpro.2023.104773
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Number of records 1, displaying
1 - 1
keyword
76
1.
automatic assertion mining
2.
Assertion Mining
3.
assertion
4.
assertion candidate
5.
assertion checkers
6.
Assertion Minimization
7.
assertion qualification
8.
assertion sign
9.
assertion-based verification
10.
Husserl on inclusion and assertion
11.
Peirce on inclusion and assertion
12.
sheet of assertion
13.
automatic AI (autoAI)
14.
automatic calibration
15.
automatic clutch engagement
16.
automatic code generation
17.
automatic control
18.
automatic control systems
19.
automatic error correction
20.
automatic evaluation
21.
automatic fault diagnosis
22.
Automatic generation control
23.
automatic GUI model generation
24.
automatic machine learning (autoML)
25.
automatic model creation
26.
automatic processing of solutions
27.
automatic program synthesis
28.
automatic programming
29.
automatic speaker verification
30.
automatic speech recognition
31.
automatic test case generation
32.
automatic test pattern generation
33.
automatic test program generation
34.
automatic tide gauges
35.
automatic weather stations
36.
automatic voltage control
37.
DLL for automatic calibration
38.
association rule mining
39.
Australian mining industry
40.
business process mining
41.
data mining
42.
data stream mining
43.
data-mining
44.
distributed data mining
45.
distributed data mining (DDM)
46.
educational data mining
47.
European mining
48.
informal mining
49.
knowledge discovery and data mining
50.
metal mining
51.
mining
52.
mining block
53.
mining co- and by-products
54.
mining industry
55.
Mining life cycle
56.
mining line patterns from event logs
57.
mining losses
58.
mining organization
59.
mining patterns from event logs
60.
mining regulations
61.
mining technology
62.
mining waste
63.
mining waste management
64.
numerical association rule mining
65.
oil shale mining
66.
pattern mining from event logs
67.
pattern mining from log files
68.
post-mining land use
69.
quantitative association rule mining
70.
room-and-pillar mining
71.
selective mining
72.
sustainable mining
73.
text mining
74.
underground mining
75.
vulnerability mining
76.
(Mining and Metallurgy Regions of EU, 2018-2020) MIREU
×
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