A Controlled Experiment on Coverage Maximization of Automated Model-Based Software Test Cases in the Automotive Industry (original) (raw)

AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems

Swarup Mohalik

Lecture Notes in Computer Science

View PDFchevron_right

A Global Algorithm for Model-Based Test Suite Generation

Global Suite

Electronic Notes in Theoretical Computer Science, 2007

View PDFchevron_right

A systematic review of model based testing tool support

Yvan Labiche

2010

View PDFchevron_right

Model driven automatic unit testing technology tool architecture

Steve Toeppe

Gateway to the New Millennium. 18th Digital Avionics Systems Conference. Proceedings (Cat. No.99CH37033), 1999

View PDFchevron_right

Systematic Model based Testing with Coverage Analysis

Divyesh Divakar

View PDFchevron_right

A Tool to Support Model-Based Testing Activities

Gilson Junior

2011

View PDFchevron_right

Model-based testing in practice

Ashish Jain

1999

View PDFchevron_right

The Interplay between Model Coverage and Code Coverage

Joachim Wegener

Conference On Computer Aided Systems Theory, 2003

View PDFchevron_right

Model-based testing in practice: An experience report from the web applications domain

Alper Bugra Keles

J. Syst. Softw., 2021

View PDFchevron_right

Improving tests infrastructure through a model-based approach

Filipe Braida do Carmo, Rodrigo Salvador (Coppetec), Roque Pinel

2011

View PDFchevron_right

Model-based testing in industry

PVR Murthy

Proceedings of the 5th Workshop on Automation of Software Test - AST '10, 2010

View PDFchevron_right

A survey on model-based testing approaches

Guilherme Travassos

Proceedings of the 1st ACM international workshop on Empirical assessment of software engineering languages and technologies held in conjunction with the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE) 2007 - WEASELTech '07, 2007

View PDFchevron_right

Achieving both model and code coverage with automated gray-box testing

Nico Kicillof

Proceedings of the 3rd international workshop on Advances in model-based testing - A-MOST '07, 2007

View PDFchevron_right

A systematic approach to testing automotive control software

Ketan Bavalia

Proc. of Convergence, 2004

View PDFchevron_right

A survey on model-based testing approaches: a systematic review

Arilo Neto

2007

View PDFchevron_right

Comparative Analysis of Modeling and Software Testing Tools: A Survey

Hayatullahi Adeyemo

2021

View PDFchevron_right

Evolving the Quality of a Model Based Test Suite

Usman Farooq

2009

View PDFchevron_right

Coverage-based Approach for Model-based Testing in Software Product Line

Shahliza Abd Halim

International journal of engineering & technology, 2018

View PDFchevron_right

Model-based Test Generation for Embedded Software

Peter Struss

View PDFchevron_right

Automation of GUI testing using a model-driven approach

Jürgen Kazmeier

Proceedings of the 2006 international workshop on Automation of software test - AST '06, 2006

View PDFchevron_right

Automated Test Case Generation for Industrial Control Applications

Dietmar Winkler

Studies in Computational Intelligence, 2013

View PDFchevron_right

Optimization of Test case and Coverage Analysis for Model Based Design

Divyesh Divakar

View PDFchevron_right

Design Study for Creating Pathfinder: A Visualization Tool for Generating Software Test Plans using Model based Testing

Jaya Sreevalsan-Nair

2018

View PDFchevron_right

Testing Automotive Control Software

Mirko Conrad

Industrial Information Technology, 2008

View PDFchevron_right

Model Based Testing in Practice at Microsoft

Keith Stobie

Electronic Notes in Theoretical Computer Science, 2005

View PDFchevron_right

A Taxonomy of Model-Based Testing for Embedded Systems from Multiple Industry Domains

Pieter J Mosterman

View PDFchevron_right

Challenges and Proposed Solutions of Coverage Based Testing Tools

Samar El-agouz, Ramadan Moawad

View PDFchevron_right