Publisher
Springer Science and Business Media LLC
Subject
Hardware and Architecture,Theoretical Computer Science,Software
Reference64 articles.
1. A. Aho, J. Hopcroft, and J. Ullman, The Design and Analysis of Computer Algorithms, Addison-Wesley, 1974.
2. T. Ball and S. Rajamani, “The SLAM Toolkit,” in Proceedings of CAV’2001 (13th Conference on Computer Aided Verification), volume 2102 of Lecture Notes in Computer Science, Springer-Verlag: Paris, July 2001, pp. 260–264.
3. M. Benedikt, J. Freire, and P. Godefroid, “VeriWeb: Automatically Testing Dynamic Web Sites,” in Proceedings of WWW’2002 (11th International World Wide Web Conference), Honolulu, May 2002.
4. B. Boigelot and P. Godefroid, “Model checking in practice: An analysis of the ACCESS.bus protocol using SPIN,” in Proceedings of Formal Methods Europe’96, volume 1051 of Lecture Notes in Computer Science, Springer-Verlag: Oxford, March 1996, pp. 465–478.
5. B. Boigelot and P. Godefroid, “Automatic synthesis of specifications from the dynamic observation of reactive programs,” in Proceedings of the Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS’97), volume 1217 of Lecture Notes in Computer Science, Springer-Verlag: Twente, April 1997. pp. 321–333.
Cited by
93 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Greybox Fuzzing for Concurrency Testing;Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2;2024-04-27
2. Optimistic Prediction of Synchronization-Reversal Data Races;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-04-12
3. Parsimonious Optimal Dynamic Partial Order Reduction;Lecture Notes in Computer Science;2024
4. Enhancing GenMC’s Usability and Performance;Lecture Notes in Computer Science;2024
5. Industrial-Strength Controlled Concurrency Testing for $$\textsc {C}{} \texttt {\#} $$ Programs with $$\textsc {Coyote} $$;Tools and Algorithms for the Construction and Analysis of Systems;2023