Searching - TalTech Research Portal

display

sort
1

book article

Mutation analysis for systemC designs at TLMGuarnieri, Valerio; Bombieri, Nicola; Pravadelli, Graziano; Fummi, Franco; Hantson, Hanno; Raik, Jaan; Jenihhin, Maksim; Ubar, Raimund-Johannes12th IEEE Latin American Test Workshop (LATW) : Porto de Galinhas, Brasil, 27-30 March 20112011 / [6] p https://ieeexplore.ieee.org/document/5985925

book article
2

journal article

On the reuse of TLM mutation analysis at RTLGuarnieri, Valerio; Hantson, Hanno; Raik, Jaan; Jenihhin, Maksim; Ubar, Raimund-JohannesJournal of electronic testing : theory and applications2012 / p. 435-448 : ill https://link.springer.com/article/10.1007/s10836-012-5303-6

journal article

Number of records 2, displaying 1 - 2

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

mutation analysis (keyword)

types of item

keyword 482