A genetic algorithm for goal-conflict identification-Reference-Cited by-同舟云学术

A genetic algorithm for goal-conflict identification

Published:2018-09-03 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering
language:
Short-container-title:

Author:

Degiovanni Renzo¹,Molina Facundo²,Regis Germán¹,Aguirre Nazareno²

Affiliation:

1. National University of Río Cuarto, Argentina

2. National University of Río Cuarto, Argentina / CONICET, Argentina

Publisher

ACM

Link

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

Reference56 articles.

1. Java genetic algorithms package (jgap). http://jgap.sourceforge.net. Java genetic algorithms package (jgap). http://jgap.sourceforge.net.

2. The reactive synthesis competition. www.syntcomp.org. The reactive synthesis competition. www.syntcomp.org.

3. Synthesis competition repository. https://bitbucket.org/swenjacobs/syntcomp/. Synthesis competition repository. https://bitbucket.org/swenjacobs/syntcomp/.

4. Rajeev Alur Salar Moarref and Ufuk Topcu. Counter-strategy guided refinement of GR(1) temporal logic specifications. CoRR abs/1308.4113 2013. Rajeev Alur Salar Moarref and Ufuk Topcu. Counter-strategy guided refinement of GR(1) temporal logic specifications. CoRR abs/1308.4113 2013.

Cited by 15 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Learning to Check LTL Satisfiability and to Generate Traces via Differentiable Trace Checking;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11

2. A Scalable Approach to Detecting Safety Requirements Inconsistencies for Railway Systems;IEEE Transactions on Intelligent Transportation Systems;2024-08

3. Goal-conflict identification based on local search and fast boundary-condition verification based on incremental satisfiability filter;Journal of Systems and Software;2024-07

4. ITG: Trace Generation via Iterative Interaction between LLM Query and Trace Checking;Proceedings of the 2024 ACM/IEEE 44th International Conference on Software Engineering: New Ideas and Emerging Results;2024-04-14

5. Resolving Goal-Conflicts and Scaling Synthesis through Mode-Based Decomposition;Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings;2024-04-14