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/170)
Export

export all inquiry results (4)
Save TXT fail

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