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

mutation analysis (keyword)

types of item

keyword 456