Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,151,246 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
INFLUENCE OF THE COMPRESSION RATIO AND IGNITION TIMING ON SINJAI ENGINE PERFORMANCE WITH 50 % BIOETHANOL-GASOLINE BLENDED FUEL
B. Sudarmanta
,
Bambang Junipitoyo
,
A. Putra
,
I. Sutantra
2016
Corpus ID: 162175245
Influence of the compression ratio and injection timing on Sinjai engine performance with 50% bioethanolgasoline blended fuel…
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
2013
2013
Self-harm in young people: Is MBT the answer?
T. Rossouw
2013
Corpus ID: 150162806
2012
2012
Automatic Test Data Generation for Software Path Testing Using Evolutionary Algorithms
Gentiana Ioana Latiu
,
O. Creţ
,
L. Văcariu
Third International Conference on Emerging…
2012
Corpus ID: 17802726
Software testing is a very expensive and time consuming process. Test methods which generate test data based on the program's…
Expand
2011
2011
Automatic generation of test data for path testing by adaptive genetic simulated annealing algorithm
Bo Zhang
,
Chen Wang
International Conference on Computer Science and…
2011
Corpus ID: 48483
Software testing has become an important stage of the software developing process in recent years, and it is crucial element of…
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
2006
2006
OpenModelica Development Environment with Eclipse Integration for Browsing, Modeling, and Debugging
A. Pop
,
P. Fritzson
,
E. Jagudin
,
Andreas Remar
,
David Akhvlediani
2006
Corpus ID: 54727142
The OpenModelica (MDT) Eclipse Plugin integrates the OpenModelica compiler and debugger with the Eclipse Integrated Development…
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
2001
2001
STRENGTHENING OF IMPACT-DAMAGED BRIDGE GIRDER USING FRP LAMINATES
A. Nanni
,
P. 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
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE