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
mutation analysis (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
2
Look more..
(1/430)
Export
export all inquiry results
(2)
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
book article
Mutation analysis for systemC designs at TLM
Guarnieri, Valerio
;
Bombieri, Nicola
;
Pravadelli, Graziano
;
Fummi, Franco
;
Hantson, Hanno
;
Raik, Jaan
;
Jenihhin, Maksim
;
Ubar, Raimund-Johannes
12th IEEE Latin American Test Workshop (LATW) : Porto de Galinhas, Brasil, 27-30 March 2011
2011
/
[6] p
https://ieeexplore.ieee.org/document/5985925
book article
2
journal article
On the reuse of TLM mutation analysis at RTL
Guarnieri, Valerio
;
Hantson, Hanno
;
Raik, Jaan
;
Jenihhin, Maksim
;
Ubar, Raimund-Johannes
Journal of electronic testing : theory and applications
2012
/
p. 435-448 : ill
https://link.springer.com/article/10.1007/s10836-012-5303-6
journal article
Number of records 2, displaying
1 - 2
keyword
430
1.
mutation analysis
2.
missense mutation
3.
model-based mutation testing
4.
mutation
5.
Mutation and crossover operators
6.
mutation operators
7.
mutation testing
8.
specification mutation
9.
timed automata mutation
10.
ABC analysis
11.
AC analysis
12.
accuracy analysis
13.
acoustic analysis
14.
acoustic signal analysis
15.
activation analysis
16.
algebraic analysis
17.
amino acids analysis
18.
analysis
19.
analysis costs
20.
analysis methods
21.
analysis model
22.
analysis patterns
23.
analysis software
24.
analysis structuring
25.
analytical analysis
26.
analytical flow network analysis
27.
application analysis
28.
audio signal analysis
29.
autocorrelation analysis
30.
bandwidth analysis
31.
banking analysis
32.
barrier analysis
33.
benchmark analysis
34.
bibliometric analysis
35.
big data analysis
36.
big graph analysis
37.
Biochemical analysis
38.
bioelectrical impedance analysis
39.
bioinformatic analysis
40.
biomass composition analysis
41.
break-even analysis
42.
Buckling analysis
43.
business analysis
44.
business process analysis
45.
C. Numerical analysis
46.
cache vulnerability analysis
47.
calculation analysis
48.
case analysis methodology
49.
cash flow analysis
50.
cash-based analysis
51.
circuit analysis
52.
citation analysis
53.
climate analysis
54.
cluster analysis
55.
CO2 concentration analysis
56.
co-citation analysis
57.
comparative analysis
58.
competition analysis
59.
component dependency analysis
60.
Computational Fluid Dynamics (CFD) analysis
61.
conformational analysis
62.
content analysis
63.
control system analysis
64.
Convergence analysis
65.
correlation analysis
66.
Cost & benefit analysis
67.
cost analysis
68.
cost benefit analysis
69.
cost efficiency analysis
70.
cost-benefit analysis
71.
cost-effectiveness analysis
72.
costing analysis cataloging processes
73.
country analysis model
74.
coupled and decoupled analysis
75.
co-word analysis
76.
critical disclosure analysis
77.
cross-lagged analysis
78.
cross-language analysis
79.
cryoelectron microscopy single-particle analysis
80.
dairy product analysis
81.
data analysis
82.
data envelopment analysis
83.
defect and failure analysis
84.
dependency analysis
85.
descriptive sensory analysis
86.
determinacy analysis
87.
detrended fluctuation analysis (DFA)
88.
deviation analysis
89.
DFM analysis
90.
Differential Power Analysis (DPA)
91.
differential thermal analysis (DTA)
92.
digital image analysis
93.
discrete analysis
94.
discrete spectral analysis
95.
discriminant analysis
96.
dispersion analysis
97.
domain analysis
98.
domain analysis and engineering
99.
donor behavior analysis
100.
droplet analysis
101.
droplet digital image analysis
102.
DuPont analysis
103.
dynamic analysis
104.
dynamic handwriting analysis
105.
EBSD analysis
106.
economic analysis
107.
Economic growth and aggregate productivity regional government analysis
108.
EEG analysis
109.
efficiency analysis
110.
efficiency map analysis
111.
Eigenvalue analysis
112.
electric machine analysis computing
113.
electromagnetic analysis
114.
electron backscattered diffraction analysis
115.
elemental analysis
116.
ELF Binary Analysis
117.
empirical analysis
118.
energy system analysis
119.
Enrichment analysis
120.
enterprise analysis model (EAM)
121.
enterprise data analysis
122.
environmental analysis
123.
EOF analysis
124.
epistemological analysis
125.
error analysis
126.
event log analysis
127.
evolved gas analysis
128.
Evolved gas analysis (EGA)
129.
ex post analysis
130.
experimental analysis
131.
experimental modal analysis
132.
explicit analysis
133.
exploratory analysis
134.
exploratory data analysis
135.
factor analysis
136.
failure analysis
137.
Failure mode and effect analysis (FMEA)
138.
failure modes and effect analysis
139.
fast independent component analysis
140.
fault analysis
141.
fault analysis model
142.
fault tree analysis
143.
FEA analysis
144.
feasibility analysis
145.
feature analysis
146.
FEM analysis
147.
financial statement analysis
148.
fingerprint analysis
149.
finite element (FE) analysis
150.
finite element analysis
151.
finite element analysis (FEA)
152.
finite-element (FE) analysis
153.
finite-element analysis
154.
flow analysis
155.
flow network analysis
156.
Flux balance analysis
157.
flux balance analysis biotechnological processes
158.
food analysis
159.
forensic analysis
160.
forensic soil analysis
161.
formal concept analysis
162.
Fourier analysis
163.
fractal analysis
164.
framing analysis
165.
free vibration analysis
166.
frequency analysis
167.
frequency domain analysis
168.
frequency response analysis
169.
frequency-domain analysis
170.
functional data analysis
171.
functional gene analysis
172.
functional institutional analysis
173.
fuzzy set qualitative comparative analysis (fsQCA)
174.
gait analysis
175.
gap analysis
176.
gate-level analysis
177.
GC/MS analysis
178.
genome-wide analysis
179.
geospatial analysis
180.
girder analysis
181.
GIS analysis
182.
grading analysis
183.
grain-size analysis
184.
grounding damage analysis
185.
harmonic analysis
186.
hierarchical cluster analysis (statistics)
187.
hierarchical timing analysis
188.
hierarchical two-level analysis
189.
high-speed thermogravimetric analysis
190.
high-temperature differential thermal analysis (HDTA)
191.
high-throughput analysis
192.
identity structure analysis
193.
Identity Structure Analysis (ISA)
194.
image analysis
195.
impact analysis
196.
index number analysis
197.
information analysis
198.
innovative support analysis
199.
input-output analysis
200.
institutional analysis
201.
integrated system of performance analysis
202.
international comparative analysis
203.
intsitutional analysis
204.
investment analysis
205.
investment impact analysis
206.
isogeometric analysis
207.
kinetic analysis
208.
Lagrangian analysis
209.
landscape analysis
210.
learning analysis
211.
life cycle analysis
212.
life cycle analysis (LCA)
213.
life cycle cost analysis (LCCA)
214.
lifetime analysis
215.
linguistic analysis
216.
link analysis
217.
literature analysis
218.
lithofacies analysis
219.
load-bearing analysis
220.
log file analysis
221.
logical analysis
222.
logico-phaneroscopical analysis
223.
long-term performance analysis
224.
Lyapunov analysis
225.
machinery utilization analysis
226.
macroeconomic analysis
227.
macrofossil analysis
228.
MALDI-TOF mass spectrometry analysis
229.
malware analysis
230.
map analysis
231.
market analysis
232.
market basket analysis
233.
mass analysis
234.
Material flow analysis
235.
materials computational analysis
236.
mathematical analysis
237.
matrix analysis
238.
mediation analysis
239.
melissopalynological analysis
240.
meta-analysis
241.
metabolic control analysis
242.
metabolic flux analysis
243.
metabolic pathways analysis
244.
metagenome analysis
245.
Metagenomic analysis
246.
metallographic analysis
247.
metaphors in analysis
248.
meta-regression analysis
249.
method of analysis
250.
method of signature analysis of outgoing traffic
251.
methods: data analysis
252.
MICMAC analysis
253.
microarray analysis
254.
microfacies analysis
255.
microscopy image analysis
256.
microstructural analysis
257.
milk analysis
258.
mixing analysis
259.
modal analysis
260.
Module Analysis
261.
Monetary policy analysis
262.
Monte Carlo analysis
263.
motion analysis
264.
motor current signature analysis
265.
multi scale analysis
266.
multi-country analysis
267.
multicriteria analysis
268.
multi-criteria analysis
269.
Multi-criteria decision analysis
270.
multi-criteria-analysis
271.
multifractal analysis
272.
multiphysics analysis
273.
Multiple criteria analysis
274.
multiple factorial analysis
275.
multivariate analysis
276.
multivariate data analysis
277.
network analysis
278.
non-commutative complex analysis
279.
numerical analysis
280.
organic residue analysis
281.
package test analysis
282.
paper micro-zone analysis
283.
particle size analysis
284.
PCA analysis
285.
peptide analysis
286.
performance analysis
287.
performance analysis reconfigurable architectures
288.
PESTEL analysis
289.
phenotypic analysis
290.
phylogenetic analysis
291.
pollen analysis
292.
popularity analysis
293.
post-analysis of rules
294.
power system analysis computing
295.
predictive analysis
296.
principal component analysis
297.
principal component analysis (PCA)
298.
profitability analysis
299.
program analysis
300.
pulse analysis
301.
pulse wave analysis
302.
pulse waveform analysis
303.
qualitative analysis
304.
qualitative and quantitative analysis
305.
qualitative comparison analysis
306.
quantitative analysis
307.
quantitative chemical analysis
308.
quantitative metal analysis
309.
quantitative risk analysis
310.
quantitative XRD analysis
311.
quasi steady state (QSS) analysis
312.
quasi-static analysis
313.
Raman analysis
314.
ramp behavior analysis
315.
ramping behaviour analysis
316.
ratio analysis
317.
Real-time Analysis
318.
regression analysis
319.
Regression tree analysis
320.
reliability analysis
321.
risk analysis
322.
risk preference analysis
323.
robot-cell performance analysis
324.
robust stability analysis
325.
robustness analysis
326.
RTL analysis
327.
scenario analysis
328.
security analysis
329.
security log analysis
330.
self-analysis
331.
SEM analysis
332.
sensitivity analysis
333.
Sensors modeling and analysis
334.
sensory analysis
335.
sentiment analysis
336.
signal analysis
337.
similarity analysis
338.
simulation analysis
339.
Simultaneous thermogravimetry (TG) and differential thermal analysis (DTA)
340.
singular spectrum analysis (SSA)
341.
situational analysis
342.
sobol sensitivity analysis
343.
social network analysis
344.
social-economic analysis
345.
sociotechnical analysis
346.
spatial analysis
347.
spatial data analysis
348.
spectral analysis
349.
spectrogram analysis
350.
spectrum analysis
351.
spore and pollen analysis
352.
stability analysis
353.
stable isotope analysis
354.
stakeholder analysis
355.
static analysis
356.
static timing analysis
357.
statistical analysis
358.
steady state analysis
359.
steady-state analysis
360.
steady‐state growth space analysis
361.
stedy-state analysis
362.
strength analysis
363.
string analysis
364.
structural analysis
365.
structural decomposition analysis
366.
structure computer analysis
367.
student data analysis
368.
suitability analysis
369.
surface wave analysis
370.
survival analysis
371.
SWOT analysis
372.
symbolic data analysis
373.
symmetry analysis
374.
synchronous reluctance motors thermal analysis
375.
system analysis
376.
system analysis and design
377.
system integrated analysis
378.
system-level analysis
379.
systems integrated analysis
380.
systems-theoretic process analysis (STPA)
381.
task analysis
382.
taste dilution analysis
383.
technical analysis
384.
technoeconomic analysis
385.
Techno-economic analysis
386.
technology analysis
387.
TEM and SEM analysis
388.
term-frequency analysis
389.
testability analysis
390.
texture profile analysis
391.
the accuracy of monitoring in analysis of impact impulses
392.
thematic analysis
393.
thematic content analysis
394.
theoretical analysis
395.
thermal analysis
396.
thermal analysis tool
397.
thermodynamic analysis
398.
thermogravimetric analysis
399.
time analysis
400.
time domain analysis
401.
time series analysis
402.
timing analysis
403.
tolerance analysis
404.
topographic analysis
405.
training needs analysis
406.
Transdermal analysis patch
407.
transformer analysis
408.
transient analysis
409.
trend analysis
410.
uncertainty analysis
411.
urban analysis
412.
user click behaviour analysis
413.
value network analysis
414.
water analysis
415.
waveform analysis
416.
wavelet analysis
417.
weak signal analysis
418.
wear analysis
419.
western blot analysis
420.
vibrational analysis
421.
wind analysis
422.
visco-thermal analysis
423.
visits registration and statistical analysis
424.
work analysis
425.
X-ray analysis
426.
X-ray crystallographic analysis
427.
X-ray line-profile analysis
428.
XRD structure analysis
429.
XYZ analysis
430.
(computational fluid dynamics) CFD analysis
×
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