Otsing - TalTech teadusportaal

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

Publikatsioonid

Publikatsioonid

Liitotsing

Valitud kirjed 0

software testing (võtmesõna)

—

—

Lisa tingimus Lihtotsing 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/181)
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. Scenario-Based Testing
68. scratch testing
69. security testing
70. shear testing
71. small-scale fire testing
72. stand-alone testing
73. stress-testing
74. substation testing methods
75. system testing
76. tensile testing
77. testing
78. testing methods
79. testing of digital devices
80. testing of generator
81. testing of phasor measurement units
82. two-dimensional array testing
83. ultrasonic testing
84. wafer testing
85. wear testing
86. vibration testing
87. virtual testing
88. advanced programming and software
89. agent software architecture
90. agent-oriented software engineering
91. Agile software engineering
92. AI based CAD software
93. analysis software
94. Anonymization software
95. ARIS software
96. Automated Synthesis of Software-based Self-test
97. bernese software
98. business software
99. CFD (computational fluid dynamics) software
100. client-vendor relationship in software development
101. communicating hardware/software systems
102. communicating software/hardware systems
103. computer aided software engineering
104. computer software
105. Computer software and hardware
106. COMSOL software
107. educational software
108. embedded software
109. energy simulation software
110. free software
111. GIS software
112. hardware/software co-design
113. hardware-software integration in robotics
114. interoperability and evolution of healthcare models and software systems
115. invasive software
116. large software projects
117. learning software agents
118. model-based software development
119. model-driven software engineering
120. ontology driven software development
121. ontology-based software engineering
122. open source software
123. optimization software
124. plagiarism software
125. public domain software
126. RETScreen software
127. self learning software
128. sensor software
129. simulation software "Delphin"
130. simulations with software
131. social software
132. software
133. software architecture
134. software architecture improvement
135. software based self-test
136. software companies
137. software complexity
138. software containers
139. software defined networking
140. software defined networking (SDN)
141. software defined networks (SDN)
142. software deﬁned radio
143. software defined radio (SDR)
144. software design
145. software development
146. software development concepts
147. software documentation
148. software engineering
149. software engineering education
150. Software engineering methodology evaluation
151. software engineering practises
152. software factory
153. software for measurements
154. software implementation
155. software level TMR
156. software modeling
157. software outsourcing
158. Software packages
159. software project management
160. software qualification
161. software quality
162. software quality attributes
163. software quality characteristics
164. software refactoring
165. software sector
166. software security
167. software security level
168. software security subcharacteristics
169. software tools for robot programming
170. software/hardware partitioning
171. software/hardware systems
172. software-based self-test
173. software-based self-test (SBST)
174. software-defined network
175. software-defined networking
176. software-defined networking (SDN)
177. SOLIDWORKS software
178. SysML modeling software
179. system-to-software integrity
180. 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