Author:
Shlyakhter I.,Seater R.,Jackson D.,Sridharan M.,Taghdiri M.
Cited by
34 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Automatic Specification and Analysis of Software Reliability Using Alloy: Selecting the Best Use Case Scenario in Terms of Reliability;International Journal of Reliability, Quality and Safety Engineering;2024-06-27
2. Counterexample classification;Software and Systems Modeling;2023-07-26
3. Automatic pattern-based consistency checking in model refactoring: introducing a formal behavioral preserving method;Innovations in Systems and Software Engineering;2023-02-17
4. Fault Localization for Declarative Models in Alloy;2020 IEEE 31st International Symposium on Software Reliability Engineering (ISSRE);2020-10
5. A genetic algorithm for goal-conflict identification;Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering;2018-09-03