Author:
Koopman Pieter,Achten Peter,Plasmeijer Rinus
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Adelson-Velskii, G., Landis, E.: An algorithm for the organization of information. Soviet Mathematics Monthly 3, 1259–1263 (1962)
2. Arts, T., Castro, L.M., Hughes, J.: Testing Erlang data types with Quviq Quickcheck. In: Proceedings of the 7th ACM SIGPLAN Workshop on ERLANG, ERLANG 2008, pp. 1–8. ACM, New York (2008)
3. Lecture Notes in Computer Science;J.-P. Bernardy,2010
4. Burton, F.W.: An efficient functional implementation of FIFO queues. Inf. Process. Lett. 14(5), 205–206 (1982)
5. Lecture Notes in Computer Science;J. Christiansen,2008
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. QuickChecking Patricia Trees;Lecture Notes in Computer Science;2018
2. Model-Based Shrinking for State-Based Testing;Lecture Notes in Computer Science;2014