Model-based testing

An Automated Test Generation Technique for Software Quality Assurance

Dianxiang Xu, Weifeng Xu, Mike Kent, Lijo Thomas, Linzhang Wang

Citations: 54 • 2014

A test generation solution to automate software testing

Fabrice Bouquet, Christophe Grandpierre, Bruno Legeard, Fabien Peureux

Citations: 44 • 2008

Model-Based Testing with a General Purpose Keyword-Driven Test Automation Framework

Tuomas Pajunen, Tommi Takala, Mika Katara

Citations: 34 • 2011

An empirical comparison of combinatorial testing and search-based testing in the context of automated and autonomous driving systems

Florian Klück, Yihao Li, Jianbo Tao, Franz Wotawa

Citations: 27 • 2023

Agile development cycle: Approach to design an effective Model Based Testing with Behaviour driven automation framework

Sandeep Sivanandan, C. B. Yogeesha

Citations: 19 • 2014

Testing Robots Using CSP

Ana Cavalcanti, James Baxter, Robert M. Hierons, Raluca Lefticaru

Citations: 16 • 2019

Model-based Automatic Test Generation for Event-Driven Embedded Systems using Model Checkers

Zoltán Micskei, István Majzik

Citations: 12 • 2006

Model-Based Design and Testing of Decisional Autonomy and Cooperation in Cyber-Physical Systems

Francesca Saglietti, David Fohrweiser, Stefan Winzinger, Raimar Lill

Citations: 10 • 2015

A Conceptual Framework for the Comparison of Fully Automated GUI Testing Techniques

Domenico Amalfitano, Nicola Amatucci, Anna Rita Fasolino, Porfirio Tramontana

Citations: 9 • 2015

World Model for Testing Autonomous Systems Using Petri Nets

Anneliese Andrews, Mahmoud Abdelgawad, Ahmed Gario

Citations: 9 • 2016

World Model for Testing Urban Search and Rescue (USAR) Robots using Petri Nets

Anneliese Andrews, Mahmoud Abdelgawad, Ahmed Gario

Citations: 7 • 2016

Model-Based Regression Testing of Autonomous Robots

Dávid Honfi, Gábor Molnár, Zoltán Micskei, István Majzik

Citations: 7 • 2017

Model-based Testing of Cooperating Robotic Systems using Coloured Petri Nets

Raimar Lill, Francesca Saglietti

Citations: 6 • 2013

A Hierarchical Test Model and Automated Test Framework for RTC

Jae-Hee Lim, Suk-Hoon Song, Tae‐Yong Kuc, Hong-Seong Park, Hong-Seak Kim

Citations: 5 • 2009

Active World Model for Testing Autonomous Systems Using CEFSM.

Anneliese Andrews, Mahmoud Abdelgawad, Ahmed Gario

Citations: 4 • 2015

Improve Model Testing by Integrating Bounded Model Checking and Coverage Guided Fuzzing

Yixiao Yang

Citations: 4 • 2023

Model-based testing of real-time adaptive motion planning (RAMP)

Mahmoud Abdelgawad, Sterling McLeod, Anneliese Andrews, Jing Xiao

Citations: 4 • 2016

Continuous Integration for Testing Full Robotic Behaviours in a GUI-stripped Simulation.

Vladimir Estivill‐Castro, René Hexel, Carl Lusty

Citations: 3 • 2018

Bringing RoboStar and RT-Tester Together

Ana Cavalcanti, Alvaro Miyazawa, Uwe Schulze, Jon Timmis

Citations: 2 • 2023

Test Data Combination Strategy for Effective Test Suite Generation

Jae Hoon Yoon, Jeong Seok Kang, Hong Seong Park

Citations: 2 • 2013