Otsing - TalTech teadusportaal

Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English

Publikatsioonid

Publikatsioonid

Otsing

Valitud kirjed 0

software testing (võtmesõna)

—

—

—

—

Lisa tingimus Liitotsing filter

Tühista

teaviku laadid

raamat ..

artikkel ajakirjas ..

artikkel ajalehes ..

artikkel kogumikus ..

dissertatsioon ..

Open Access ..

Teaduspublikatsioon ..

aasta

Toon andmeid..

Toon andmeid..

TTÜ struktuuriüksus

Toon andmeid..

Toon andmeid..

Toon andmeid..

Toon andmeid..

Toon andmeid..

Tühista

Kirjeid leitud 4
Vaata veel.. (2/178)
Ekspordi

ekspordi kõik päringu tulemused (4)
Salvesta TXT fail

prindi
Märgitud kirjetega toimetamiseks ava valitud kirjed

kuva

reasta
1

artikkel kogumikus EST / artikkel kogumikus ENG

FoREnSiC– an automatic debugging environment for C programsBloem, Roderick; Raik, Jaan; Repinski, UrmasEighth Haifa Verification Conference : HVC 2012 : November 6-8, Haifa, Israel : [proceedings]2013 / p. 260-265 : ill https://doi.org/10.1007/978-3-642-39611-3_24 Conference Proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG
2

artikkel kogumikus EST / artikkel kogumikus ENG

Inductive and coinductive predicate liftings for effectful programsVeltri, Niccolò; Voorneveld, Niels F.W.Proceedings 37th Conference on Mathematical Foundations of Programming SemanticsHybrid: Salzburg, Austria and Online, 30th August - 2nd September, 20212021 / p. 260-277 https://doi.org/10.4204/EPTCS.351.16 Conference proceeding at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
3

artikkel kogumikus

Iterative optimization of hyperparameter-based metamorphic transformationsSudheerbabu, Gaadha; Ahmad, Tanwir; Truscan, Dragos; Vain, Jüri; Porres, Ivan2024 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)2024 / p. 13-20 https://doi.org/10.1109/ICSTW60967.2024.00016 Article at Scopus Article at WOS

artikkel kogumikus
4

artikkel kogumikus

Test driven domain modellingPiho, Gunnar; Tepandi, Jaak; Parman, Marko; Puusep, Viljam; Roost, MartMIPRO 2011 : 34th International Convention on Information and Communication Technology, Electronics and Microelectronics : May 23-27, 2011, Opatija, Croatia : proceedings2011 / p. 576-581 https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=5967121

artikkel kogumikus

Kirjeid leitud 4, kuvan 1 - 4

1. software testing
2. software-in-the-loop (SIL) testing
3. accelerated testing
4. acoustomechanical testing
5. anaerobic testing
6. aspect-oriented testing
7. assessment and testing
8. at-speed testing
9. benchmark testing
10. Berridge testing
11. burst testing
12. cancer genomic testing
13. compliance testing
14. compositional testing
15. computer aided testing
16. cone heater testing
17. conformance testing
18. courses on electronic testing and design
19. cybersecurity testing
20. D. non-destructive testing
21. deformation testing
22. design field testing
23. destructive testing
24. eddy current testing
25. eddy current testing (ECT)
26. erosion testing
27. fabric testing
28. fatigue testing
29. fire testing
30. hierarchical testing
31. hypotheses testing
32. Implementation-Independent Testing of Microprocessors
33. integration testing
34. laboratory scale testing
35. load testing
36. macro mechanical testing and green surface tribology
37. material testing
38. materials testing
39. measurement and testing
40. mechanical testing
41. memory testing
42. metamorphic testing
43. microprocessor testing
44. model based testing
45. model-based mutation testing
46. model-based testing
47. mutation testing
48. network-testing
49. non destructive testing
50. nondestructive testing
51. non-destructive testing
52. non-destructive testing (NDT)
53. On-site drug testing
54. on-site testing
55. pin on disc wear testing
56. PMU calibration testing
57. PMU testing
58. point-of-care testing
59. processor core testing
60. processor testing
61. real-time HiL testing
62. regression testing
63. RISC processor testing
64. robustness testing
65. safety and security testing
66. scenario testing
67. scratch testing
68. security testing
69. shear testing
70. small-scale fire testing
71. stand-alone testing
72. stress-testing
73. substation testing methods
74. system testing
75. tensile testing
76. testing
77. testing methods
78. testing of digital devices
79. testing of generator
80. testing of phasor measurement units
81. two-dimensional array testing
82. ultrasonic testing
83. wafer testing
84. wear testing
85. vibration testing
86. virtual testing
87. advanced programming and software
88. agent software architecture
89. agent-oriented software engineering
90. Agile software engineering
91. AI based CAD software
92. analysis software
93. Anonymization software
94. ARIS software
95. Automated Synthesis of Software-based Self-test
96. bernese software
97. business software
98. CFD (computational fluid dynamics) software
99. client-vendor relationship in software development
100. communicating hardware/software systems
101. communicating software/hardware systems
102. computer aided software engineering
103. computer software
104. Computer software and hardware
105. COMSOL software
106. educational software
107. embedded software
108. energy simulation software
109. free software
110. GIS software
111. hardware/software co-design
112. interoperability and evolution of healthcare models and software systems
113. invasive software
114. large software projects
115. learning software agents
116. model-based software development
117. model-driven software engineering
118. ontology driven software development
119. ontology-based software engineering
120. open source software
121. optimization software
122. plagiarism software
123. public domain software
124. RETScreen software
125. self learning software
126. sensor software
127. simulation software "Delphin"
128. simulations with software
129. social software
130. software
131. software architecture
132. software architecture improvement
133. software based self-test
134. software companies
135. software complexity
136. software containers
137. software defined networking
138. software defined networking (SDN)
139. software defined networks (SDN)
140. software deﬁned radio
141. software defined radio (SDR)
142. software design
143. software development
144. software development concepts
145. software documentation
146. software engineering
147. software engineering education
148. Software engineering methodology evaluation
149. software engineering practises
150. software factory
151. software for measurements
152. software implementation
153. software level TMR
154. software modeling
155. software outsourcing
156. Software packages
157. software project management
158. software qualification
159. software quality
160. software quality attributes
161. software quality characteristics
162. software refactoring
163. software sector
164. software security
165. software security level
166. software security subcharacteristics
167. software/hardware partitioning
168. software/hardware systems
169. software-based self-test
170. software-based self-test (SBST)
171. software-defined network
172. software-defined networking
173. software-defined networking (SDN)
174. SOLIDWORKS software
175. SysML modeling software
176. system-to-software integrity
177. triptych software engineering

1. Department of Software Science, Tallinn University of Technology

vaste

reasta

Otsing
Valikud 0

ilmumisaasta

autor

TTÜ struktuuriüksus

märksõna

seeria-sari

tema kohta

võtmesõna

TalTech Raamatukogu

Akadeemia tee 1

13519

TalTech koduleht TalTech Raamatukogu koduleht Digikogu Digiteek Teadusandmed

6203551

data@taltech.ee

TalTech Raamatukogu