Browsing Electrical and Computer Engineering by Subject "testing"
Now showing items 1-2 of 2
-
Scenario Modeling and Execution for Simulation Testing of Automated-Driving Systems
(University of Waterloo, 2022-09-28)Automated Driving Systems (ADS) have the potential to significantly impact the future of ground mobility. However, safety assurance is still a major obstacle. Field testing alone is impractical and simulation is required ... -
StringFuzz: A Fuzzer for String SMT Solvers
(University of Waterloo, 2018-08-10)We introduce StringFuzz, a software tool for automatically testing string SMT solvers. String SMT solvers are specialised software tools for solving the Satisfiability Modulo Theories (SMT) problem with string contraints, ...