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 publication ..

year

year of publication

Loading..

Loading..

TTÜ department

Loading..

Loading..

Loading..

name of the person

Loading..

Loading..

Clear

Number of records 3
Look more.. (2/155)
Export

export all inquiry results (3)
Save TXT fail

Save PDF fail

print
Open for editing with marked entries my bookmarks

display

sort
1

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
2

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
3

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 3, displaying 1 - 3

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

1. Department of Software Science, Tallinn University of Technology

match

sort

Otsing
Valikud 0

year of publication

author

TTÜ 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