Author:
Schiller Todd W.,Ernst Michael D.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Abstraction-Aware Inference of Metamorphic Relations;Proceedings of the ACM on Software Engineering;2024-07-12
2. Exploring Automatic Specification Repair in Dafny Programs;2023 38th IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW);2023-09-11
3. EvoSpex: A Search-Based Tool for Postcondition Inference;Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis;2023-07-12
4. Case studies and tools for contract specifications;Proceedings of the 36th International Conference on Software Engineering;2014-05-31
5. SPEEDY: An Eclipse-based IDE for invariant inference;Electronic Proceedings in Theoretical Computer Science;2014-04-26