Author:
Cabot Jordi,Clarisó Robert,Riera Daniel
Cited by
87 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Towards an Extensible Architecture and Tool Support for Model-Based Verification;2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C);2023-10-01
2. Generating valid test data through data cloning;Future Generation Computer Systems;2023-07
3. InputGen: A Tool for Automatic Generation of Prototype Inputs to Support Rapid Requirements Validation;2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion);2023-05
4. Feedback on the formal verification of UML models in an industrial context;Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems;2022-10-23
5. System architecture synthesis for performability by logic solvers;Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems;2022-10-23