Author:
Badger Julia,Throop David,Claunch Charles
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Modeling and Verification of Natural Language Requirements based on States and Modes;Formal Aspects of Computing;2024-06-18
2. Formal Methods in Requirements Engineering: Survey and Future Directions;Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE);2024-04-14
3. On-Demand Security Requirements Synthesis with Relational Generative Adversarial Networks;2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE);2023-05
4. A compositional proof framework for FRETish requirements;Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs;2022-01-11
5. Requirements-Driven Model Checking and Test Generation for Comprehensive Verification;Lecture Notes in Computer Science;2022