Showing 1–20 of 35 results
/ Date/ Name
Feb 20, 2023Probabilistic Safe WCET Estimation for Weakly Hard Real-Time Systems at Design StagesMay 9, 2019Evaluating Model Testing and Model Checking for Finding Requirements Violations in Simulink ModelsNov 28, 2019Comparing Offline and Online Testing of Deep Neural Networks: An Autonomous Car Case StudyApr 17, 2024A Lean Simulation Framework for Stress Testing IoT Cloud SystemsJan 26, 2021Can Offline Testing of Deep Neural Networks Replace Their Online Testing?Jun 1, 2023Using Genetic Programming to Build Self-Adaptivity into Software-Defined NetworksNov 30, 2023Evaluating the Impact of Flaky Simulators on Testing Autonomous Driving SystemsDec 16, 2022Learning Non-robustness using Simulation-based Testing: a Network Traffic-shaping Case StudyDec 9, 2023Test Generation Strategies for Building Failure Models and Explaining Spurious FailuresJan 6, 2021Combining Genetic Programming and Model Checking to Generate Environment AssumptionsMay 29, 2019Dynamic Adaptation of Software-defined Networks for IoT Systems: A Search-based ApproachApr 28, 2023Reflections on Surrogate-Assisted Search-Based Testing: A Taxonomy and Two Replication Studies based on Industrial ADAS and Simulink ModelsFeb 2, 2024Self-adaptive, Requirements-driven Autoscaling of MicroservicesAug 15, 2022A Domain-Specific Language for Simulation-Based Testing of IoT Edge-to-Cloud SolutionsFeb 15, 2021Optimal Priority Assignment for Real-Time Systems: A Coevolution-Based ApproachJul 20, 2020Estimating Probabilistic Safe WCET Ranges of Real-Time Systems at Design StagesOct 7, 2019Approximation-Refinement Testing of Compute-Intensive Cyber-Physical Models: An Approach Based on System IdentificationMar 8, 2019Generating Automated and Online Test Oracles for Simulink Models with Continuous and Uncertain BehaviorsDec 12, 2020Digital Twins Are Not Monozygotic -- Cross-Replicating ADAS Testing in Two Industry-Grade Automotive SimulatorsAug 28, 2025Automated Test Validators for Flaky Cyber-Physical System Simulators: Approach and Evaluation