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
model based 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
1
Look more..
(2/661)
Export
export all inquiry results
(1)
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
journal article EST
/
journal article ENG
A systematic approach on modeling refinement and regression testing of real-time distributed systems
Pal, Deepak
;
Vain, Jüri
IFAC-PapersOnLine
2019
/
p. 1091-1096
https://doi.org/10.1016/j.ifacol.2019.11.341
Conference proceedings at Scopus
Article at Scopus
Article at WOS
journal article EST
/
journal article ENG
Number of records 1, displaying
1 - 1
keyword
659
1.
model based testing
2.
model-based testing
3.
model-based mutation testing
4.
agent-based model
5.
model-based control
6.
model-based development
7.
Model-Based Engineering (MBE)
8.
model-based patterns
9.
model-based software development
10.
Model-Based Systems Engineering (MBSE)
11.
model-based verification
12.
modified winding function‐based model
13.
multiagent-based microscopic traffic assignment model (MMTAM)
14.
regression based model
15.
Simultaneous model-based optimization
16.
accelerated testing
17.
acoustomechanical testing
18.
anaerobic testing
19.
aspect-oriented testing
20.
at-speed testing
21.
benchmark testing
22.
Berridge testing
23.
cancer genomic testing
24.
compliance testing
25.
compositional testing
26.
computer aided testing
27.
conformance testing
28.
courses on electronic testing and design
29.
cybersecurity testing
30.
D. non-destructive testing
31.
design field testing
32.
eddy current testing
33.
erosion testing
34.
fatigue testing
35.
fire testing
36.
hierarchical testing
37.
hypotheses testing
38.
integration testing
39.
laboratory scale testing
40.
load testing
41.
macro mechanical testing and green surface tribology
42.
material testing
43.
materials testing
44.
measurement and testing
45.
mechanical testing
46.
memory testing
47.
metamorphic testing
48.
microprocessor testing
49.
mutation testing
50.
network-testing
51.
non destructive testing
52.
nondestructive testing
53.
non-destructive testing
54.
on-site testing
55.
pin on disc wear testing
56.
PMU calibration testing
57.
PMU testing
58.
point-of-care testing
59.
processor core testing
60.
processor testing
61.
real-time HiL testing
62.
regression testing
63.
RISC processor testing
64.
robustness testing
65.
scenario testing
66.
scratch testing
67.
security testing
68.
small-scale fire testing
69.
software testing
70.
software-in-the-loop (SIL) testing
71.
stand-alone testing
72.
stress-testing
73.
substation testing methods
74.
system testing
75.
tensile testing
76.
testing
77.
testing methods
78.
testing of digital devices
79.
testing of generator
80.
testing of phasor measurement units
81.
two-dimensional array testing
82.
wafer testing
83.
wear testing
84.
vibration testing
85.
virtual testing
86.
acoustic model
87.
adjusted DuPont model
88.
analysis model
89.
analytical lumped parameter model
90.
analytical model
91.
analytical thermal model approach
92.
APARHC model
93.
APICS competence model
94.
armature current model
95.
asymmetric model
96.
attack model
97.
automatic GUI model generation
98.
automatic model creation
99.
Bass model
100.
Bayesian model averaging
101.
beyond standard model
102.
bicycle model
103.
business model
104.
business model archetypes
105.
business model attributes
106.
business model canvas
107.
business model classification
108.
business model generation
109.
business model innovation
110.
Business Model Innovation (BMI)
111.
business model reconfiguration
112.
business model research
113.
business network model
114.
Caco2 model cells
115.
Capability Maturity Model Integration for Development
116.
cartesian system model
117.
CERC model
118.
chain model
119.
channel model
120.
charging planning model
121.
Coalitional game model
122.
communication model
123.
compact empirical model
124.
company analyze model
125.
competence model
126.
competency model
127.
Comprehensive Situation Awareness Model
128.
conceptual data model
129.
conceptual model
130.
conceptual model of curriculum for accounting specialization
131.
condenser model
132.
constitutive model
133.
Context model
134.
corrosion model
135.
country analysis model
136.
coupled coils model
137.
crop model
138.
data generative model
139.
data quality maturity model
140.
decentralized model predictive control
141.
deep learning model
142.
default company model
143.
design model
144.
design-driven business model
145.
designing a teaching model
146.
detailed model
147.
didactic model
148.
digital surface model (DSM)
149.
disease model
150.
distributed activation energy model
151.
Dodd–Deeds model
152.
domain model
153.
domain model and domain modelling
154.
dq0 model
155.
DSGE model
156.
DSL meta-model ontology
157.
Ducoffe’s advertisement value model
158.
Ducoffe’s advertising model
159.
dynamic factor model
160.
dynamic model
161.
Dynamical vegetation model
162.
Ecological Regional Ocean Model (ERGOM)
163.
economic model
164.
Economic optimization model
165.
EES model
166.
EES Model-2
167.
elaboration likelihood model
168.
electricity demand model
169.
Electronic Education System Model-2
170.
empirical energy consumption model
171.
empirical model
172.
end member mixing model
173.
endogenous growth model
174.
energy system model
175.
enzyme-constrained genome-scale model
176.
enterprise analysis model (EAM)
177.
entrepreneurial intention transformation model “EITM”
178.
equivalent circuit model
179.
Eringen model
180.
Estonian sustainability model
181.
Eulerian model
182.
European Charring Model
183.
EV load model
184.
Event Processing Network Model
185.
experience pyramid model
186.
Experimental model
187.
explainable AI model
188.
exponential load model
189.
exponential model
190.
fault analysis model
191.
Felder-Silverman model
192.
FEM-model
193.
field tests model validation
194.
finite control set-model predictive control (FCS-MPC)
195.
finite element model
196.
finite-element (FE) model
197.
finite-element model
198.
fire design model
199.
fixed country-effect model
200.
FOPDT model
201.
friction model
202.
functional fault model
203.
fuzzy logic model
204.
gaussian mixture model
205.
Gaussian model
206.
genome model
207.
Genome-scale metabolic model
208.
geoid model
209.
GIS model
210.
Global climate model
211.
goal model
212.
gravity model
213.
grey box model
214.
GTAP model
215.
GUI model
216.
habitat model
217.
habitat suitability model
218.
Hammerstein-Wiener model
219.
HBM model
220.
Hidden Markov Model (HMM)
221.
high-frequency model
222.
high-level control fault model
223.
high-level fault model
224.
high-level functional fault model
225.
HIROMB-BOOS-Model (HBM)
226.
HL7 Version 3: Reference Information Model (RIM)
227.
holistic M&A model
228.
holistic merger and acquisition model
229.
hot/cold pressing and finite element model simulation
230.
hydraulic model
231.
hydraulic network model
232.
hydrodynamic model
233.
Ice history model
234.
inductive model
235.
input-output model
236.
integrated quadruple instructional model
237.
integrated waste management model
238.
integrative pedagogy model
239.
interpretive structural model (ISM)
240.
Jiles–Atherton (JA) model
241.
joint model
242.
Kano model
243.
KPI selection model
244.
KPIs selection model
245.
laboratory domain model
246.
Lagrangian model
247.
logistic model
248.
logistics competence model
249.
loss model
250.
LSV model
251.
lumped model
252.
lumped-parameter model
253.
Machine Learning Explainable model
254.
machine-learning predictive model
255.
MACRO model
256.
Markov-switching model
257.
mathematical model
258.
maturity model
259.
measurement model
260.
mental model
261.
metadata model for security measures
262.
meta-model
263.
MGARCH model
264.
microscopic traffic flow model
265.
model
266.
model amphipathic peptide
267.
model averaging
268.
model building
269.
model calibration
270.
model checking
271.
model communities
272.
model compression
273.
model construction
274.
model description
275.
Model Driven Architecture
276.
model driven engineering
277.
model ensemble
278.
model evaluation
279.
model identification
280.
model learning
281.
model matching problem
282.
model of fracture mechanism
283.
model of fracturemechanism
284.
model of friction
285.
model of non-technical engineering competences
286.
model order estimation
287.
model order reduction
288.
model order reduction (MOR)
289.
model predictive control
290.
model predictive control (MPC)
291.
model reanalysis
292.
model reduction
293.
model reference adaptive control
294.
model reference controller
295.
model refinement
296.
model smell
297.
Model test
298.
model transformation
299.
model transformations
300.
Model validation
301.
model verification
302.
model-checking
303.
model-driven design
304.
model-driven development
305.
model-free control
306.
model-free methods
307.
model-scale experiments
308.
modulated finite control set-model predictive control
309.
multi model ensemble (MME)
310.
multidomain language model
311.
multi-loop model reference control
312.
multiplicative neuron model
313.
multi-pole mathematical model
314.
multi-pole model
315.
multi-pole model design
316.
natural background model
317.
Neyman-Pearson model
318.
NKG2015 geoid model
319.
NN-ANARX model
320.
nonlinear model identification
321.
nonlinear model predictive control
322.
nonlinear time-varying factor model
323.
non-thermal model
324.
Nonthermal model
325.
NSPT model
326.
object model
327.
ocean-sea-ice model
328.
open architecture model
329.
open-economy dynamic general equilibrium model
330.
openEHR RM (Reference Model)
331.
optimal model
332.
panel threshold model
333.
panel vector autoregressive model (VAR)
334.
parallel reaction model
335.
path loss model
336.
Peirce’s triadic model
337.
Peirce's model
338.
photodiode model
339.
PLM maturity model
340.
plume model
341.
POM model
342.
population balance model
343.
Porter’s diamond model
344.
power loss model
345.
power market model
346.
prediction model
347.
predictive model
348.
pre-trained model
349.
price-sensitive model of flexible equipment
350.
Princeton Ocean Model
351.
Probabilistic Graph Model (PGM)
352.
probabilistic model
353.
process model
354.
Quadruple Helix Model
355.
recurrent neural network language model
356.
reduced order model
357.
reference model
358.
reputation model
359.
residential electricity consumption model
360.
Residual Terrain Model (RTM) anomaly
361.
residual terrain model anomaly
362.
retaining research financing, changes in salary rules; new academic career model
363.
Reynolds stress turbulence model
364.
Richardson Maturity Model
365.
risk evaluation model
366.
risk evaluation model development
367.
risk management model
368.
scalar model
369.
Scott-Kennel model
370.
security model
371.
shared mental model
372.
SHEL model
373.
ship model basin
374.
simplified model
375.
simulating waves nearshore (SWAN) model
376.
simulation model
377.
simulink model
378.
single-cell model
379.
sliding model control
380.
small-signal model
381.
SOILN model
382.
specific energy model
383.
standard cost model
384.
statistical model residuals
385.
Storm Water Management Model (SWMM5)
386.
Straussian theory model
387.
structural model
388.
stuck-at fault model
389.
supply chain model framework
390.
supply chain operations reference (SCOR) model
391.
surrogate model
392.
sustainability model framework
393.
SWAN model
394.
Zimbabwe agro-pastoral management model
395.
ZIP model
396.
zonal model
397.
teaching model
398.
technology acceptance model
399.
Technology Acceptance Model (TAM)
400.
tender evaluation model
401.
test model design
402.
The Baltic Sea Model Intercomparison Project (BMIP)
403.
the model of non-technical competences
404.
thermal model
405.
tobit regression model
406.
trade gravity model
407.
transnational model
408.
transport model
409.
transportation model
410.
tunnelling‐percolation model
411.
turn model
412.
two-dimensional model
413.
two-factor model
414.
Ulrich HR roles model
415.
ultra-local model
416.
ultralocal model (ULM) control
417.
Uppaal model-checker
418.
user behavioral model
419.
user dialogue model
420.
utility model
421.
validation of simulation model
422.
value-centric model
423.
wave model
424.
Vector Error Correction Model
425.
vector space model
426.
Wells-Riley model
427.
verification by model checking
428.
whole-cell model
429.
Viable Systems Model
430.
wind force model
431.
VRH model
432.
3D model
433.
accelerator-based architecture
434.
Active chitosan-based film
435.
activity based modelling
436.
activity-based cost estimating
437.
activity-based costing
438.
Activity-based demand generation
439.
Activity-based transport modeling
440.
Adaptive network-based fuzzy inference system (ANFIS)
441.
address-based sorting
442.
agent-based modeling
443.
agent-based models
444.
AI based CAD software
445.
AI-based worker management
446.
Al based hard PVD coating
447.
al-based alloy
448.
Al-based alloys
449.
Al-based composite
450.
Al-based composites
451.
algorithm-based decision
452.
aluminum based composite
453.
app-based mobile financial services
454.
archetypes and archetype patterns based development
455.
area‐based composite correlations method
456.
assertion-based verification
457.
beam-based feedback
458.
Bi and Fe-based barium titanate
459.
Bio-Based
460.
bio-based and biodegradable plastics market
461.
Bio-based film-forming solution
462.
bio-based materials
463.
bio‐based materials
464.
biogeography based optimization
465.
bioimpedance based sensing
466.
bioimpedance-based sensing
467.
bisection based optimal power allocation
468.
block-based merge
469.
borrower-based policy measures
470.
carbon based materials
471.
carbon-based materials
472.
chitosan-based film
473.
chromium carbide-based cermets
474.
clay-based ceramics
475.
climate based daylight modelling
476.
climate-based simulations
477.
cloud- and AI-based system
478.
cloud-based cyber-physical systems (C2PS)
479.
commons based peer production
480.
commons-based innovation
481.
commons-based peer production (CBPP)
482.
Community-based research
483.
comparison-based
484.
competence based learning
485.
competence-based education
486.
competence-based learning
487.
competency based learning
488.
competency-based approach
489.
component-based design
490.
computer based learning
491.
consumption-based GHG accounting
492.
content-based recommender
493.
contract-based design
494.
copper-based wood preservatives
495.
Cr3C2-based cermet
496.
Cu-based alloy
497.
Cu-based alloys
498.
customer-based brand equity
499.
droplet-based technology
500.
ecosystem-based management
501.
environmentally friendly wood-based panels
502.
event-based control
503.
evidence-based decision making
504.
evidence-based decision-making
505.
feature based machining
506.
feature-based machining
507.
Fe-based alloy
508.
Fe-based amorphous alloy
509.
Fe-based hardfacing
510.
Fenton-based treatment
511.
finitely based
512.
flatness-based control
513.
flow-based modelling
514.
flying inductor based inverter
515.
FPGA based lab kit
516.
FPGA based test
517.
FPGA-based development boards
518.
FPGA-based prototyping
519.
fragment-based QSAR
520.
game based learning
521.
game-based learning
522.
GaN-based converters
523.
gelatin-based phantom
524.
graph-based algorithms
525.
graph-based ranking
526.
graphene-based aerogel
527.
GraphSAGE (Graph Based Neural Network)
528.
health-based ventilation
529.
Human-brand based marketing
530.
ICT-based service solutions for senior citizens
531.
image-based
532.
infection risk-based ventilation
533.
institution-based view
534.
internet-based cognitive behavioural theraphy
535.
Internet-based voting
536.
ionic-liquid-based surfactants
537.
IoT-based monitoring
538.
Kalman-filter based maximum power point tracking (KF-MPPT)
539.
knowledge based economy
540.
knowledge based manufacturing
541.
knowledge-based design
542.
knowledge-based economy
543.
knowledge-based manufacturing
544.
knowledge-based system
545.
laser-based additive manufacturing
546.
Laser-based powder bed fusion
547.
lattice-based cryptography
548.
layout-based effects
549.
lime-based plasters
550.
location-based social networks
551.
logic-based distributed routing
552.
LUT-based obfuscation
553.
manganese dioxide based filter material
554.
map-based localization
555.
market-based coordination
556.
market-based innovation
557.
market-based subsidy
558.
metallic-based material
559.
Mg–Ag-based alloy
560.
microbiome-based solutions
561.
nature-based composite
562.
NB-IoT-based edge-ofthings
563.
NetFlow based network monitoring
564.
Ni-based alloy
565.
Ni-based catalyst
566.
Ni-based superalloy
567.
nickel-based superalloys
568.
nikel-based self-fluxing alloy
569.
non-market-based stringency
570.
NPC-based inverter
571.
ontology-based software engineering
572.
open source-based innovation
573.
partial power based on buck-boost resonance converter
574.
partial power based on isolated Z - Source converter(PPZSC)
575.
passivity-based control (PBC)
576.
performance-based design
577.
physically based fire
578.
physically based fires
579.
physics-based compressive sensing
580.
place-based policy
581.
plant-based
582.
plant-based beverage
583.
plant-based foods
584.
plant-based meat analogues
585.
plant-based NADES
586.
plant-based protein
587.
policy-based routing security
588.
pollen-based reconstructions
589.
population-based study
590.
power based control
591.
power-to-gas based storage system
592.
price based control
593.
price based control of industrial processes
594.
priority-based charging and discharging
595.
priority-based-offloading
596.
problem-based learning
597.
Problem-based learning (PBL)
598.
project-based learning
599.
qZS-based DC/DC converter
600.
query-based search
601.
rapeseed oil-based wood preservatives
602.
research-based education
603.
ripple-based control
604.
room unit based ventilation
605.
room-based ventilation
606.
room-based ventilation units
607.
rtioco-based timed test sequences
608.
rule-based algorithm
609.
rule-based classification
610.
rule-based control
611.
rule-based reasoning
612.
rules-based systems
613.
sampling based motion planning
614.
SAT-based attack
615.
scan-based stress
616.
scenario-based experiment
617.
science-based industries
618.
SDN-based IoT management frameworks
619.
session-based recommendation
620.
simulation based static optimization
621.
simulation based TMY
622.
simulationbased decision support
623.
simulation-based verification
624.
software based self-test
625.
software-based self-test
626.
software-based self-test (SBST)
627.
solution based synthesis
628.
solution‐based deposition
629.
space-based solar power
630.
standards-based classfication system
631.
status-based participation
632.
steel-based hardfacing
633.
subscription based interactions
634.
zirconia-based ceramics
635.
ZrC Based Ceramics
636.
ZrC-based composites
637.
task based learning
638.
template based sql generation
639.
Ti(C,N)-Fe-based cermets
640.
Ti(C,N)–Fe-based cermets
641.
TiB-based composite
642.
TiC- 430 L fss-based cermets
643.
TiC based cermets
644.
TiC-based cermet
645.
TiC-based cermets
646.
time-driven activity-based costing
647.
time-driven activity-based costing, TDABC
648.
titanium carbide-based cermets
649.
User-based study
650.
water-based cleaning approaches
651.
water-based paint wastewater
652.
Web and computer-based learning
653.
web-based applications
654.
web-based teaching
655.
web-based training
656.
weight-based collection
657.
weighted score-based ranking
658.
work-based learning
659.
work-based project
subject term
2
1.
Fit Model
2.
General Estuarine Transport Model (GETM)
×
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