Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Searching
My bookmarks
0
software testing (keyword)
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
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..
author
Loading..
TTÜ department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
2
Look more..
(2/148)
Export
export all inquiry results
(2)
Save TXT fail
Save PDF fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
1
book article EST
/
book article 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
book article EST
/
book article ENG
2
book article
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
book article
Number of records 2, displaying
1 - 2
keyword
147
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.
eddy current testing
20.
erosion testing
21.
fatigue testing
22.
fire testing
23.
hierarchical testing
24.
hypotheses testing
25.
integration testing
26.
laboratory scale testing
27.
load testing
28.
macro mechanical testing and green surface tribology
29.
material testing
30.
measurement and testing
31.
mechanical testing
32.
memory testing
33.
metamorphic testing
34.
microprocessor testing
35.
model based testing
36.
model-based mutation testing
37.
model-based testing
38.
mutation testing
39.
network-testing
40.
non destructive testing
41.
nondestructive testing
42.
non-destructive testing
43.
on-site testing
44.
pin on disc wear testing
45.
PMU calibration testing
46.
PMU testing
47.
point-of-care testing
48.
processor core testing
49.
processor testing
50.
real-time HiL testing
51.
regression testing
52.
RISC processor testing
53.
robustness testing
54.
scenario testing
55.
scratch testing
56.
security testing
57.
small-scale fire testing
58.
stand-alone testing
59.
stress-testing
60.
substation testing methods
61.
system testing
62.
tensile testing
63.
testing
64.
testing methods
65.
testing of digital devices
66.
testing of generator
67.
testing of phasor measurement units
68.
two-dimensional array testing
69.
wafer testing
70.
wear testing
71.
vibration testing
72.
virtual testing
73.
advanced programming and software
74.
agent software architecture
75.
agent-oriented software engineering
76.
Agile software engineering
77.
AI based CAD software
78.
analysis software
79.
Anonymization software
80.
bernese software
81.
business software
82.
CFD (computational fluid dynamics) software
83.
client-vendor relationship in software development
84.
communicating hardware/software systems
85.
communicating software/hardware systems
86.
computer software
87.
COMSOL software
88.
educational software
89.
embedded software
90.
energy simulation software
91.
free software
92.
GIS software
93.
hardware/software co-design
94.
interoperability and evolution of healthcare models and software systems
95.
invasive software
96.
large software projects
97.
learning software agents
98.
model-based software development
99.
ontology driven software development
100.
ontology-based software engineering
101.
open source software
102.
optimization software
103.
plagiarism software
104.
public domain software
105.
RETScreen software
106.
self learning software
107.
sensor software
108.
simulation software "Delphin"
109.
simulations with software
110.
social software
111.
software
112.
software architecture
113.
software based self-test
114.
software companies
115.
software complexity
116.
software containers
117.
software defined networking
118.
software defined networking (SDN)
119.
software defined radio
120.
software design
121.
software development
122.
software development concepts
123.
software engineering
124.
software engineering education
125.
Software engineering methodology evaluation
126.
software engineering practises
127.
software factory
128.
software for measurements
129.
software implementation
130.
software level TMR
131.
software modeling
132.
software outsourcing
133.
software project management
134.
software qualification
135.
software quality
136.
software sector
137.
software/hardware partitioning
138.
software/hardware systems
139.
software-based self-test
140.
software-based self-test (SBST)
141.
software-defined network
142.
software-defined networking
143.
software-defined networking (SDN)
144.
SOLIDWORKS software
145.
SysML modeling software
146.
system-to-software integrity
147.
triptych software engineering
author
1
1.
Department of Software Science, Tallinn University of Technology
×
vaste
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TTÜ department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TTÜ department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT