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/158)
Ekspordi

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

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