Titanium: efficient analysis of evolving alloy specifications-Reference-Cited by-同舟云学术

Titanium: efficient analysis of evolving alloy specifications

Published:2016-11 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering
language:
Short-container-title:

Author:

Bagheri Hamid¹,Malek Sam²

Affiliation:

1. University of Nebraska-Lincoln, USA

2. University of California at Irvine, USA

Funder

National Science Foundation

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/2950290.2950337

Reference50 articles.

1. Alloy models from the covert project. http://www.sdalab.com/projects/covert. Alloy models from the covert project. http://www.sdalab.com/projects/covert.

2. Alloy models from the trademaker project. http://www.jazz.cs.virginia.edu: 8080/Trademaker/data/models.zip. Alloy models from the trademaker project. http://www.jazz.cs.virginia.edu: 8080/Trademaker/data/models.zip.

3. Moodle. http: //docs.moodle.org/dev/Grades#Database structures. Moodle. http: //docs.moodle.org/dev/Grades#Database structures.

4. Titanium. https://seal.ics.uci.edu/projects/titanium. Titanium. https://seal.ics.uci.edu/projects/titanium.

5. WordPress. http://codex.wordpress.org/Database Description/3.3. WordPress. http://codex.wordpress.org/Database Description/3.3.

Cited by 24 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. Evolutionary Analysis of Alloy Specifications with an Adaptive Fitness Function;Lecture Notes in Computer Science;2024

4. Live Programming for Finite Model Finders;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11

5. Parasol: efficient parallel synthesis of large model spaces;Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2022-11-07