Searching - TalTech Research Portal

Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles

Research Groups

Help and information

Searching

software testing (keyword)

—

—

—

—

Add criteria Advanced search filter

Clear

types of item

book ..

journal article ..

newspaper article ..

book article ..

dissertation ..

Open Access ..

Scientific publications ..

year

year of publication

Loading..

Loading..

TalTech department

Loading..

Loading..

Loading..

name of the person

Loading..

Loading..

Clear

Number of records 4
Look more.. (3/183)
Export

export all inquiry results (4)
Save TXT fail

print
Open for editing with marked entries my bookmarks

display

sort
1

book article EST / book article 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

book article EST / book article ENG
2

book article EST / book article 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

book article EST / book article ENG
3

book article

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

book article
4

book article

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

book article

Number of records 4, displaying 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. Testing and Calibration Centre of TUT
2. Department of Software Science

1. Department of Software Science, Tallinn University of Technology

match

sort

Otsing
Valikud 0

year of publication

author

TalTech department

subject term

series

name of the person

keyword

TalTech Library

Akadeemia tee 1

13519

TalTech homepage TalTech Library homepage Digital Collection of TalTech Library Digiteek Repository

6203551

data@taltech.ee

TalTech Raamatukogu