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. load-bearing analysis
242. log file analysis
243. logical analysis
244. logico-phaneroscopical analysis
245. long-term performance analysis
246. Lyapunov analysis
247. machinery utilization analysis
248. macroeconomic analysis
249. macrofossil analysis
250. MALDI-TOF mass spectrometry analysis
251. malware analysis
252. map analysis
253. market analysis
254. market basket analysis
255. mass analysis
256. Material flow analysis
257. materials computational analysis
258. mathematical analysis
259. matrix analysis
260. mediation analysis
261. melissopalynological analysis
262. meta-analysis
263. metabolic control analysis
264. metabolic flux analysis
265. metabolic pathways analysis
266. metagenetic analysis
267. metagenome analysis
268. Metagenomic analysis
269. metallographic analysis
270. metaphors in analysis
271. meta-regression analysis
272. method of analysis
273. method of signature analysis of outgoing traffic
274. methods: data analysis
275. MICMAC analysis
276. microarray analysis
277. microfacies analysis
278. microscope analysis
279. microscopy image analysis
280. microstructural analysis
281. milk analysis
282. mixing analysis
283. modal analysis
284. Module Analysis
285. Monetary policy analysis
286. Monte Carlo analysis
287. morphotectonic analysis
288. motion analysis
289. motor current signature analysis
290. multi scale analysis
291. multi-country analysis
292. multicriteria analysis
293. multi-criteria analysis
294. Multi-criteria decision analysis
295. multi-criteria-analysis
296. multifractal analysis
297. multiphysics analysis
298. Multiple criteria analysis
299. multiple factorial analysis
300. multivariate analysis
301. multivariate data analysis
302. network analysis
303. noise analysis
304. non-Archimedean analysis
305. non-commutative complex analysis
306. nonlinear analysis
307. numerical analysis
308. organic residue analysis
309. package test analysis
310. paper micro-zone analysis
311. parametric multi-impact analysis
312. Pareto front analysis
313. particle size analysis
314. PCA analysis
315. peptide analysis
316. performance analysis
317. performance analysis reconfigurable architectures
318. PESTEL analysis
319. phenotypic analysis
320. phylogenetic analysis
321. plant macrofossil analysis
322. pollen analysis
323. popularity analysis
324. post-analysis of rules
325. power mismatch analysis
326. power system analysis computing
327. predictive analysis
328. principal component analysis
329. principal component analysis (PCA)
330. probabilistic analysis
331. profitability analysis
332. program analysis
333. proximity analysis
334. pulse analysis
335. Pulse shape analysis
336. pulse wave analysis
337. pulse waveform analysis
338. qualitative analysis
339. qualitative and quantitative analysis
340. qualitative comparison analysis
341. qualitative network analysis
342. quantitative analysis
343. quantitative chemical analysis
344. quantitative metal analysis
345. quantitative risk analysis
346. quantitative XRD analysis
347. quasi steady state (QSS) analysis
348. quasi-static analysis
349. Raman analysis
350. ramp behavior analysis
351. ramping behaviour analysis
352. ratio analysis
353. Real-time Analysis
354. real-time vibration analysis
355. regression analysis
356. Regression tree analysis
357. reliability analysis
358. risk analysis
359. risk preference analysis
360. robot-cell performance analysis
361. robust stability analysis
362. robustness analysis
363. RTL analysis
364. safety risk analysis
365. scenario analysis
366. seasonal analysis
367. security analysis
368. security log analysis
369. self-analysis
370. SEM analysis
371. SEM-analysis
372. sensitivity analysis
373. Sensors modeling and analysis
374. sensory analysis
375. sentiment analysis
376. sequence analysis
377. signal analysis
378. similarity analysis
379. simulation analysis
380. simulation and analysis
381. Simultaneous thermogravimetry (TG) and differential thermal analysis (DTA)
382. single crystal analysis
383. singular spectrum analysis (SSA)
384. situational analysis
385. sobol sensitivity analysis
386. social network analysis
387. social-economic analysis
388. sociotechnical analysis
389. spatial analysis
390. spatial data analysis
391. spatio-temporal analysis
392. spectral analysis
393. spectrogram analysis
394. Spectrophotometric analysis
395. spectrum analysis
396. spore and pollen analysis
397. stability analysis
398. stable isotope analysis
399. stakeholder analysis
400. static analysis
401. static timing analysis
402. statistical analysis
403. steady state analysis
404. steady-state analysis
405. steady‐state growth space analysis
406. stedy-state analysis
407. strength analysis
408. string analysis
409. structural analysis
410. structural decomposition analysis
411. structure computer analysis
412. student data analysis
413. suitability analysis
414. surface wave analysis
415. survival analysis
416. sweat analysis
417. SWOT analysis
418. symbolic data analysis
419. symmetry analysis
420. synchronous reluctance motors thermal analysis
421. system analysis
422. system analysis and design
423. system integrated analysis
424. system-level analysis
425. systems integrated analysis
426. systems-theoretic process analysis (STPA)
427. task analysis
428. taste dilution analysis
429. technical analysis
430. technoeconomic analysis
431. Techno-economic analysis
432. technology analysis
433. TEM and SEM analysis
434. TEM-analysis
435. term-frequency analysis
436. testability analysis
437. texture profile analysis
438. the accuracy of monitoring in analysis of impact impulses
439. thematic analysis
440. thematic content analysis
441. theoretical analysis
442. thermal analysis
443. thermal analysis tool
444. thermodynamic analysis
445. thermoeconomic analysis
446. thermogravimetric analysis
447. time analysis
448. time domain analysis
449. time series analysis
450. timing analysis
451. tolerance analysis
452. topographic analysis
453. training needs analysis
454. Transdermal analysis patch
455. transformer analysis
456. transient analysis
457. trend analysis
458. uncertainty analysis
459. urban analysis
460. user click behaviour analysis
461. value network analysis
462. water analysis
463. waveform analysis
464. wavelet analysis
465. weak signal analysis
466. wear analysis
467. western blot analysis
468. vibrational analysis
469. wind analysis
470. visco-thermal analysis
471. visits registration and statistical analysis
472. work analysis
473. X-ray analysis
474. X-ray crystallographic analysis
475. X-ray line-profile analysis
476. XRD structure analysis
477. XYZ analysis
478. (computational fluid dynamics) CFD analysis

mutation analysis (keyword)

types of item

keyword 478