Keyword

model-based testing

Description: Model-based testing is a software and systems testing approach that derives test cases or procedures from models of expected behavior.

Primary topic: Software Testing and Debugging Techniques (70%)

Wikidata ID: wiki/Q1399743

OpenAlex ID: keywords/model-based-testing

Practical Model-Based Testing: A Tools Approach

2006 · Mark Utting, Bruno Legeard · 1,083

Bandera

2000 · James C. Corbett, Matthew B. Dwyer, et al. · Proceedings/Proceedings - International Conference on Software Engineering · 1,059

PDF

An orchestrated survey of methodologies for automated software test case generation

2013 · Saswat Anand, Edmund K. Burke, et al. · Journal of Systems and Software · 669

A taxonomy of model‐based testing approaches

2011 · Mark Utting, Alexander Pretschner, et al. · Software Testing Verification and Reliability · 633

PDF

Model-based testing in practice

1999 · S. R. Dalal, A. Jain, et al. · Proceedings/Proceedings - International Conference on Software Engineering · 522

PDF

Model-Based Testing of Reactive Systems

2005 · Broy, Manfred, Pretschner, Alexander, et al. · Lecture notes in computer science · 514

Model Based Testing with Labelled Transition Systems

2008 · Jan Tretmans · Lecture notes in computer science · 408

Automating the generation and sequencing of test cases from model-based specifications

2005 · Jeremy Dick, Alain Faivre · Springer eBooks · 403

Using formal specifications to support testing

2009 · Robert M. Hierons, Kirill Bogdanov, et al. · ACM Computing Surveys · 357

PDF

Conformance Checking

2018 · Josep Carmona, Boudewijn van Dongen, et al. · Springer eBooks · 334

Generating Tests from UML Specifications

1999 · Jeff Offutt, Aynur Abdurazik · 332

Guided GUI testing of android apps with minimal restart and approximate learning

2013 · Wontae Choi, George Necula, et al. · 315

PDF

A Grey-Box Approach for Automated GUI-Model Generation of Mobile Applications

2013 · Wei Yang, Mukul R. Prasad, et al. · Lecture notes in computer science · 315

A survey on model-based testing approaches

2007 · Arilo C. Dias Neto, Rajesh Subramanyan, et al. · 306

MobiGUITAR: Automated Model-Based Testing of Mobile Apps

2014 · Domenico Amalfitano, Anna Rita Fasolino, et al. · IEEE Software · 280

Test selection based on communicating nondeterministic finite-state machines using a generalized Wp-method

1994 · Gang Luo, G. von Bochmann, et al. · IEEE Transactions on Software Engineering · 265

Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer

2008 · Margus Veanes, Colin Campbell, et al. · Springer eBooks · 238

An event‐flow model of GUI‐based applications for testing

2007 · Atif M. Memon · Software Testing Verification and Reliability · 233

Model‐Based Software Testing

2002 · Ibrahim K. El‐Far, James A. Whittaker · Encyclopedia of Software Engineering · 231

Generating Tests from UML Specifications

1999 · Jeff Offutt, Aynur Abdurazik · Lecture notes in computer science · 229

Model learning

2017 · Frits Vaandrager · Communications of the ACM · 225

Toward Deep Learning Software Repositories

2015 · Martin White, Christopher Vendome, et al. · 222

Testing Real-Time Systems Using UPPAAL

2008 · Anders Hessel, Kim G. Larsen, et al. · Springer eBooks · 214

One evaluation of model-based testing and its automation

2005 · A. Pretschner, W. Prenninger, et al. · Proceedings/Proceedings - International Conference on Software Engineering · 203

PDF

Automated testing with targeted event sequence generation

2013 · Casper S. Jensen, Mukul R. Prasad, et al. · International Symposium on Software Testing and Analysis · 202

Works count: 6,710

Citation count: 54,950