Author:
Kähkönen Kari,Heljanko Keijo
Publisher
Springer International Publishing
Reference16 articles.
1. Lecture Notes in Computer Science;S. Anand,2006
2. Lecture Notes in Computer Science;G. Behrmann,2003
3. Esparza, J., Heljanko, K.: Unfoldings – A Partial-Order Approach to Model Checking. EATCS Monographs in Theoretical Computer Science. Springer (2008)
4. Esparza, J., Römer, S., Vogler, W.: An improvement of McMillan’s unfolding algorithm. Formal Methods in System Design 20(3), 285–310 (2002)
5. Lecture Notes in Computer Science;A. Farzan,2006
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Testing Programs with Contextual Unfoldings;ACM Transactions on Embedded Computing Systems;2018-01-12
2. Minimizing Test Suites with Unfoldings of Multithreaded Programs;ACM Transactions on Embedded Computing Systems;2017-04-14
3. Unfolding Based Minimal Test Suites for Testing Multithreaded Programs;2015 15th International Conference on Application of Concurrency to System Design;2015-06
4. Reporting Races in Dynamic Partial Order Reduction;Lecture Notes in Computer Science;2015