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

mutation analysis (keyword)

types of item

keyword 448