Model-based testing

An Automated Test Generation Technique for Software Quality Assurance

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

引用数: 54 • 2014

A test generation solution to automate software testing

Fabrice Bouquet, Christophe Grandpierre, Bruno Legeard, Fabien Peureux

引用数: 44 • 2008

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

Tuomas Pajunen, Tommi Takala, Mika Katara

引用数: 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

引用数: 27 • 2023

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

Sandeep Sivanandan, C. B. Yogeesha

引用数: 19 • 2014

Testing Robots Using CSP

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

引用数: 16 • 2019

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

Zoltán Micskei, István Majzik

引用数: 12 • 2006

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

Francesca Saglietti, David Fohrweiser, Stefan Winzinger, Raimar Lill

引用数: 10 • 2015

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

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

引用数: 9 • 2015

World Model for Testing Autonomous Systems Using Petri Nets

Anneliese Andrews, Mahmoud Abdelgawad, Ahmed Gario

引用数: 9 • 2016

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

Anneliese Andrews, Mahmoud Abdelgawad, Ahmed Gario

引用数: 7 • 2016

Model-Based Regression Testing of Autonomous Robots

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

引用数: 7 • 2017

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

Raimar Lill, Francesca Saglietti

引用数: 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

引用数: 5 • 2009

Active World Model for Testing Autonomous Systems Using CEFSM.

Anneliese Andrews, Mahmoud Abdelgawad, Ahmed Gario

引用数: 4 • 2015

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

Yixiao Yang

引用数: 4 • 2023

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

Mahmoud Abdelgawad, Sterling McLeod, Anneliese Andrews, Jing Xiao

引用数: 4 • 2016

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

Vladimir Estivill‐Castro, René Hexel, Carl Lusty

引用数: 3 • 2018

Bringing RoboStar and RT-Tester Together

Ana Cavalcanti, Alvaro Miyazawa, Uwe Schulze, Jon Timmis

引用数: 2 • 2023

Test Data Combination Strategy for Effective Test Suite Generation

Jae Hoon Yoon, Jeong Seok Kang, Hong Seong Park

引用数: 2 • 2013