Author:
Dwyer Matthew B.,Hatcliff John,Hoosier Matthew,Ranganath Venkatesh,Robby ,Wallentine Todd
Publisher
Springer Berlin Heidelberg
Reference39 articles.
1. Andrews, G.R.: Concurrent Programming: Principles and Practice. Addison-Wesley, Reading (1991)
2. Ball, T., Majumdar, R., Millstein, T., Rajamani, S.: Automatic predicate abstraction of C programs. In: Proceedings of the ACM SIGPLAN 2001 Conference on Programming Language Design and Implementation (PLDI 2001), June 2001, pp. 203–213 (2001)
3. Bandera. SAnToS Laboratory, http://bandera.projects.cis.ksu.edu
4. Lecture Notes in Computer Science;M. Bozga,2000
5. Brat, G., Havelund, K., Park, S., Visser, W.: Java PathFinder – A second generation of a Java model-checker. In: Proceedings of the Workshop on Advances in Verification (July 2000)
Cited by
24 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Contributions to improve the combined selection of concurrent software testing techniques;Proceedings of the 5th Brazilian Symposium on Systematic and Automated Software Testing;2020-10-20
2. Model Checking of Automotive Control Software: An Industrial Approach;IEICE Transactions on Information and Systems;2020-08-01
3. Evaluation of Program Slicing in Software Verification;Lecture Notes in Computer Science;2019
4. Sound deadlock prediction;Proceedings of the ACM on Programming Languages;2018-10-24
5. Amandroid;ACM Transactions on Privacy and Security;2018-06-02