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