Author:
Galeotti Juan P.,Rosner Nicolas,Lopez Pombo Carlos G.,Frias Marcelo F.
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Cited by
45 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Leveraging Machine Learning for Optimal Object-Relational Database Mapping in Software Systems;Proceedings of the 1st ACM International Conference on AI-Powered Software;2024-07-10
2. Scalable Relational Analysis via Relational Bound Propagation;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-04-12
3. An Analysis of the Impact of Field-Value Instance Navigation in Alloy’s Model Finding;Lecture Notes in Computer Science;2024
4. A Study of the Electrum and DynAlloy Dynamic Behavior Notations;IEEE Transactions on Software Engineering;2023-11
5. Crucible: Graphical Test Cases for Alloy Models;2023 IEEE 34th International Symposium on Software Reliability Engineering (ISSRE);2023-10-09