Skip to search formSkip to main contentSkip to account menu

Model-based testing

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

Related topics

Related topics

36 relations
Black-box testingBoolean satisfiability problemConstraint programmingData-driven testing

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Modeling Cloud Architectures as Interactive Systems
The development and maintenance of cloud software is complicated by complex but crucial technological requirements that are… 
2012
2012
Automatic Test Data Generation for Software Path Testing Using Evolutionary Algorithms
Software testing is a very expensive and time consuming process. Test methods which generate test data based on the program's… 
2008
2008
Model-Based Firewall Conformance Testing
Firewalls are a cornerstone of todays security infrastructure for networks. Their configuration, implementing a firewall policy… 
Highly Cited
2006
Highly Cited
2006
Pulsed channel flow in Bhutan
Abstract We summarize our results from Bhutan and interpret the Greater Himalaya Sequence (GHS) of Bhutan, together with a… 
2006
2006
OpenModelica Development Environment with Eclipse Integration for Browsing, Modeling, and Debugging
The OpenModelica (MDT) Eclipse Plugin integrates the OpenModelica compiler and debugger with the Eclipse Integrated Development… 
2004
2004
Development of a triple spike methodology for validation of butyltin compounds speciation analysis by isotope dilution mass spectrometry
The triple spike GC-ICP-MS methodology developed in Part 1 of this paper has been applied here to study and validate different… 
2001
2001
STRENGTHENING OF IMPACT-DAMAGED BRIDGE GIRDER USING FRP LAMINATES
The exterior prestressed concrete (PC) girder of Bridge A10062, located at the interchange of Interstates 44 and 270 in St. Louis… 
2001
2001
Issues on the IP multicast service behaviour over the next-generation satellite-terrestrial hybrid networks
Our main focus here is to study the IP multicast service behaviour over the next-generation of satellite-terrestrial hybrid… 
1997
1997
Isolation and characterization of Rhodococcus rhodochrous for the degradation of the wastewater component 2-hydroxybenzothiazole
Abstract 2-Hydroxybenzothiazole (OBT) is present in wastewaters from the industrial production of the rubber vulcanization… 
Highly Cited
1978
Highly Cited
1978
IBM's Santa Teresa Laboratory - Architectural Design for Program Development
The reaction to the office environment was highly favorable. The increased work surface, the work surface arrangement, and… 
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)