Author:
Constant Camille,Jeron Thierry,Marchand Herve,Rusu Vlad
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Cited by
30 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Thorium: A Language for Bounded Verification of Dynamic Reactive Objects;Proceedings of the 10th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems;2023-10-19
2. Test Sequence Generation with Cayley Graphs;2021 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW);2021-04
3. A methodology for automatic generation, formal verification and implementation of safe PLC programs for power supply equipment of the electric lines of railway control systems;Computers in Industry;2020-12
4. Parallel Software Testing Sequence Generation Method Based on State Pruning;2018 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Ubiquitous Computing & Communications, Big Data & Cloud Computing, Social Computing & Networking, Sustainable Computing & Communications (ISPA/IUCC/BDCloud/SocialCom/SustainCom);2018-12
5. Combining Techniques to Verify Service-based Components;Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development;2017