Code coverage
Related papers: 16
Top Researchers
Top Cited Papers
Coverage-guided test generation for continuous and hybrid systems
Thao Dang, Tarik Nahhal
Citations: 86 • 2009
An Automated Test Generation Technique for Software Quality Assurance
Dianxiang Xu, Weifeng Xu, Mike Kent, Lijo Thomas, Linzhang Wang
Citations: 54 • 2014
Systematic and Realistic Testing in Simulation of Control Code for Robots in Collaborative Human-Robot Interactions
Citations: 23 • 2016
Testing and Monitoring Model-based Generated Program
Li Tan, Jesung Kim, Insup Lee
Citations: 19 • 2003
Model-based Automatic Test Generation for Event-Driven Embedded Systems using Model Checkers
Zoltán Micskei, István Majzik
Citations: 12 • 2006
ROZZ: Property-based Fuzzing for Robotic Programs in ROS
Kai-Tao Xie, Jia-Ju Bai, Yong-Hao Zou, Yu-Ping Wang
Citations: 11 • 2022
A Compaction Method for STLs for GPU in-field test
Juan-David Guerrero-Balaguera, Josie E. Rodriguez Condia, M. Sonza Reorda
Citations: 8 • 2022
Behavior-Tree Based Scenario Specification and Test Case Generation for Autonomous Driving Simulation
Shuting Kang, Haoyu Hao, Lingzhong Meng, Yunzhi Xue, Yanjun Wu
Citations: 5 • 2022
Poster: Combining Fuzzing with Concolic Execution for IoT Firmware Testing
Jihyeon Yu, Juhwan Kim, Yeohoon Yun, Joobeom Yun
Citations: 4 • 2023
Improve Model Testing by Integrating Bounded Model Checking and Coverage Guided Fuzzing
Yixiao Yang
Citations: 4 • 2023
Virtual Test Environment for Self-Optimizing Systems
Jörg Stöcklein, Daniel Baldin, Wolfgang Müller, Tao Xie
Citations: 2 • 2013
Test Data Combination Strategy for Effective Test Suite Generation
Jae Hoon Yoon, Jeong Seok Kang, Hong Seong Park
Citations: 2 • 2013
The Pre-Testing for Virtual Robot Development Environment
Hyun Seung Son, R. Young Chul Kim
Citations: 2 • 2018
Ukwikora: continuous inspection for keyword-driven testing
Renaud Rwemalika, Marinos Kintis, Mike Papadakis, Yves Le Traon, Pierre Lorrach
Citations: 2 • 2019
Gaining Confidence in the Trustworthiness of Robotic and Autonomous Systems
Kerstin Eder
Citations: 2 • 2020
Model-based Test Generation for Robotic Software: Automata versus Belief-Desire-Intention Agents
Dejanira Araiza-Illan, Tony Pipe, Kerstin Eder
Citations: 2 • 2016