Author:
Deng Xianghua,Robby ,Hatcliff John
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Automated Property-Based Testing from AADL Component Contracts;Formal Methods for Industrial Critical Systems;2023
2. Model-Based Development for High-Assurance Embedded Systems;Leveraging Applications of Formal Methods, Verification and Validation. Modeling;2018
3. Exact Heap Summaries for Symbolic Execution;Lecture Notes in Computer Science;2015-12-25
4. Directed Incremental Symbolic Execution;ACM Transactions on Software Engineering and Methodology;2014-10-14
5. Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis;Automated Software Engineering;2013-02-26