Model-based testing

Known as: Model based testing, MBT, Model driven testing 
Model-based testing is an application of model-based design for designing and optionally also executing artifacts to perform software testing or… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1952-2017
05010015019522016

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2013
Highly Cited
2013
The increase in size and complexity of modern software systems requires scalable, systematic, and automated testing approaches… (More)
  • figure 1
  • figure 2
  • figure 3
  • table I
  • table II
Is this relevant?
Highly Cited
2012
Highly Cited
2012
Model-based testing (MBT) relies on models of a system under test and/or its environment to derive test cases for the system… (More)
  • figure 1
  • figure 2
Is this relevant?
2011
2011
This paper provides a comprehensive introduction to a framework for formal testing using labelled transition systems, based on an… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2008
Highly Cited
2008
In recent years the development of automotive embedded devices has changed from an electrical and mechanical engineering… (More)
Is this relevant?
Highly Cited
2006
Highly Cited
2006
Among other domains, learning finite-state machines is important for obtaining a model of a system under development, so that… (More)
  • figure 19.3
  • figure 19.6
  • figure 19.9
  • figure 19.12
  • figure 19.13
Is this relevant?
Highly Cited
2006
Highly Cited
2006
The starting point for Model-Based Testing is an implementation relation that formally defines when a formal model representing… (More)
  • figure 1
Is this relevant?
Highly Cited
2005
Highly Cited
2005
Software testing requires the use of a model to guide such efforts as test selection and test verification. Often, such models… (More)
  • figure 1
  • figure 3
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
2003
Highly Cited
2003
Systematic testing is very important for assessing and improving the quality of software systems. Yet, testing turns out to be… (More)
  • figure 1
Is this relevant?
Highly Cited
2002
Highly Cited
2002
Model based testing is a system testing technique used to test software systems modeled by formal description languages, e.g., an… (More)
  • figure 2
  • figure 3
  • figure 7
  • figure 10
  • figure 9
Is this relevant?
Highly Cited
1999
Highly Cited
1999
Model-based testing is a new and evolving technique for generating a suite of test cases from requirements. Testers using this… (More)
  • figure 1
  • table 1
  • table 2
  • table 3
  • table 4
Is this relevant?