On transforming model‐based tests into code: A systematic literature review
Published 2023 View Full Article
- Home
- Publications
- Publication Search
- Publication Details
Title
On transforming model‐based tests into code: A systematic literature review
Authors
Keywords
-
Journal
SOFTWARE TESTING VERIFICATION & RELIABILITY
Volume -, Issue -, Pages -
Publisher
Wiley
Online
2023-09-07
DOI
10.1002/stvr.1860
References
Ask authors/readers for more resources
Related references
Note: Only part of the references are listed.- Model-based testing of software product lines: Mapping study and research roadmap
- (2020) Kleber L. Petry et al. JOURNAL OF SYSTEMS AND SOFTWARE
- Empirical studies omit reporting necessary details: A systematic literature review of reporting quality in model based testing
- (2018) Muhammad Uzair khan et al. COMPUTER STANDARDS & INTERFACES
- Model-based test suite generation for graph transformation system using model simulation and Search-based techniques
- (2018) Akram Kalaee et al. INFORMATION AND SOFTWARE TECHNOLOGY
- SMArDT modeling for automotive software testing
- (2018) Imke Drave et al. SOFTWARE-PRACTICE & EXPERIENCE
- Test Oracle Strategies for Model-Based Testing
- (2017) Nan Li et al. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
- Systematic mapping study on MBT: tools and models
- (2017) Maicon Bernardino et al. IET Software
- Model-based testing for software safety: a systematic mapping study
- (2017) Havva Gulay Gurbuz et al. SOFTWARE QUALITY JOURNAL
- A mapping study on testing non-testable systems
- (2017) Krishna Patel et al. SOFTWARE QUALITY JOURNAL
- The experimental applications of search-based techniques for model-based testing: Taxonomy and systematic literature review
- (2016) Aneesa Saeed et al. APPLIED SOFT COMPUTING
- Search-based automated testing of continuous controllers: Framework, tool support, and case studies
- (2015) Reza Matinnejad et al. INFORMATION AND SOFTWARE TECHNOLOGY
- The State of Practice in Model-Driven Engineering
- (2013) Jon Whittle et al. IEEE SOFTWARE
- How Effectively Does Metamorphic Testing Alleviate the Oracle Problem?
- (2013) Huai Liu et al. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
- Automatic test case generation from Simulink/Stateflow models using model checking
- (2013) Swarup Mohalik et al. SOFTWARE TESTING VERIFICATION & RELIABILITY
- User-driven automatic test-case generation for DTV/STB reliable functional verification
- (2012) Tarkan Tekcan et al. IEEE TRANSACTIONS ON CONSUMER ELECTRONICS
- Model-Based Verification of Embedded Software
- (2009) Hesham Shokry et al. COMPUTER
- Testing-based translation validation of generated code in the context of IEC 61508
- (2009) Mirko Conrad FORMAL METHODS IN SYSTEM DESIGN
Create your own webinar
Interested in hosting your own webinar? Check the schedule and propose your idea to the Peeref Content Team.
Create NowAsk a Question. Answer a Question.
Quickly pose questions to the entire community. Debate answers and get clarity on the most important issues facing researchers.
Get Started