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

mutation analysis (keyword)

types of item

keyword 468