Author:
Claessen Koen,Smallbone Nicholas,Eddeland Johan,Ramezani Zahra,Åkesson Knut
Subject
Control and Systems Engineering
Reference15 articles.
1. Akazaki, T. and Hasuo, I. (2015). Time robustness in MTL and expressivity in hybrid system falsification. In International Conference on Computer Aided Verification, 356–374. Springer.
2. An orchestrated survey of methodologies for automated software test case generation;Anand;Journal of Systems and Software,2013
3. S-TaLiRo: A tool for temporal logic falsification for hybrid systems;Annpureddy;In TACAS, volume,2011
4. Arts, T., Hughes, J., Norell, U., and Svensson, H. (2015). Testing AUTOSAR software with QuickCheck. In Software Testing, Verification and Validation Workshops (ICSTW), 2015 IEEE Eighth International Conference on, 1–4. IEEE.
5. Claessen, K. and Hughes, J. (2000). QuickCheck: A lightweight tool for random testing of Haskell programs. In Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming, ICFP ‘00, 268–279. ACM, New York, NY, USA.
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On Input Generators for Cyber-Physical Systems Falsification;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2023
2. Work-in-Progress: Towards a Theory of Robust Quantitative Semantics for Signal Temporal Logic;2022 International Conference on Embedded Software (EMSOFT);2022-10
3. Multi-Requirement Testing Using Focused Falsification;25th ACM International Conference on Hybrid Systems: Computation and Control;2022-05-04
4. Testing Cyber-Physical Systems Using a Line-Search Falsification Method;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2021
5. Test Strategies for Cyber Physical Systems;Bioscience Biotechnology Research Communications;2020-12-25