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