Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 239,527,618 papers from all fields of science
Search
Sign In
Create Free Account
Model-based testing
Known as:
Model based testing
, Model-driven testing
, MBT
Expand
Model-based testing is an application of model-based design for designing and optionally also executing artifacts to perform software testing or…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
36 relations
Black-box testing
Boolean satisfiability problem
Constraint programming
Data-driven testing
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Correlation between Serum Ferritin and Cardiac Troponin I in Major Beta Thalassemia Children
M. A. Shodikin
,
R. Suwarniaty
,
Susanto Nugroho
2016
Corpus ID: 73691007
Background: Major beta thalassemia (MBT) is a hereditary disease which synthesis defect on beta chains of haemoglobin, it is…
Expand
2014
2014
Modeling Cloud Architectures as Interactive Systems
A. Pérez
,
Bernhard Rumpe
MDHPCL@MoDELS
2014
Corpus ID: 2585070
The development and maintenance of cloud software is complicated by complex but crucial technological requirements that are…
Expand
2013
2013
Abnormal crowd behavior detection and localization using maximum sub-sequence search
Kai-wen Cheng
,
Yie-Tarng Chen
,
Wen-Hsien Fang
ACM/IEEE international workshop on Analysis and…
2013
Corpus ID: 14553218
This paper presents a novel framework for anomaly event detection and localization in crowded scenes. We propose an anomaly…
Expand
Review
2010
Review
2010
Concurrent Software Testing : A Systematic Review ?
Maria A. S. Brito
,
K. Felizardo
,
P. S. Souza
,
S. Souza
2010
Corpus ID: 14743456
Software testing applied for concurrent programs is a challenging activity. Considering the relevance of concurrent programs…
Expand
2008
2008
A methodology for modeling usage behavior of multi-functional systems
S. Rittmann
2008
Corpus ID: 19373809
In this thesis a methodology for modeling the usage behavior of multi-functional systems is presented. It focuses on the seamless…
Expand
2004
2004
Achieving equilibrium status and sustainable landfill - the holy grail?
D. Hall
,
J. Gronow
,
Richard Smith
,
N. Blakey
2004
Corpus ID: 111935377
This paper presents the results of a research contract jointly funded by the Environment Agency and ESART examining the residues…
Expand
2002
2002
Estudo comparativo cefalométrico-radiográfico sobre os efeitos dos arcos termo-ativados na estabilidade dos dentes posteriores inferiores, durante a fase de nivelamento, utilizando-se o arco lingual…
J. Vigorito
,
Ricardo Moresca
2002
Corpus ID: 186266152
2002
2002
Calib: a package for MDT calibration studies - User Manual
P. Bagnaia
,
D. Orestano
,
M. Iodice
,
A. Baroncelli
,
L. Pontecorvo
2002
Corpus ID: 61220241
2001
2001
STRENGTHENING OF IMPACT-DAMAGED BRIDGE GIRDER USING FRP LAMINATES
A. Nanni
,
P.-C. Huang
,
J. G. Tumialan
2001
Corpus ID: 111371048
The exterior prestressed concrete (PC) girder of Bridge A10062, located at the interchange of Interstates 44 and 270 in St. Louis…
Expand
1989
1989
Controlling sapstain : trials of product group II on selected western softwoods
Donald J. Miller
,
J. Morrell
,
M. E. Mitchoff
1989
Corpus ID: 108484513
Environmental restrictions have induced many sawmills to seek alternatives to pentachlorophenol (penta) or similar chlorinated…
Expand