Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Otsing
Valitud kirjed
0
software testing (võtmesõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Tühista
Kirjeid leitud
3
Vaata veel..
(2/155)
Ekspordi
ekspordi kõik päringu tulemused
(3)
Salvesta TXT fail
Salvesta PDF fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
artikkel kogumikus EST
/
artikkel kogumikus ENG
Inductive and coinductive predicate liftings for effectful programs
Veltri, Niccolò
;
Voorneveld, Niels F.W.
Proceedings 37th Conference on Mathematical Foundations of Programming SemanticsHybrid: Salzburg, Austria and Online, 30th August - 2nd September, 2021
2021
/
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
2
artikkel kogumikus
Iterative optimization of hyperparameter-based metamorphic transformations
Sudheerbabu, Gaadha
;
Ahmad, Tanwir
;
Truscan, Dragos
;
Vain, Jüri
;
Porres, Ivan
2024 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
3
artikkel kogumikus
Test driven domain modelling
Piho, Gunnar
;
Tepandi, Jaak
;
Parman, Marko
;
Puusep, Viljam
;
Roost, Mart
MIPRO 2011 : 34th International Convention on Information and Communication Technology, Electronics and Microelectronics : May 23-27, 2011, Opatija, Croatia : proceedings
2011
/
p. 576-581
https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=5967121
artikkel kogumikus
Kirjeid leitud 3, kuvan
1 - 3
võtmesõna
154
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 defined 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
autor
1
1.
Department of Software Science, Tallinn University of Technology
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT