Author:
Fredlund Lars-Åke,Herranz Ángel,Mariño Julio
Publisher
Springer International Publishing
Reference7 articles.
1. Armstrong, J., Virding, R., Wikström, C., Williams, M.: Concurrent Programming in Erlang. Prentice-Hall, Englewood Cliffs (1996)
2. Arts, T., Hughes, J., Johansson, J., Wiger, U.T.: Testing telecoms software with quviq QuickCheck. In: Proceedings of the 2006 ACM SIGPLAN Workshop on Erlang, Portland, Oregon, USA, pp. 2–10 (2006)
3. Cesarini, F., Thompson, S.: Erlang Programming - A Concurrent Approach to Software Development. O’Reilly Media, Sebastopol (2009)
4. Claessen, K., Hughes, J.: Quickcheck: a lightweight tool for random testing of haskell programs. In: Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming, ICFP 2000, pp. 268–279. ACM, New York (2000)
5. Lecture Notes in Computer Science;Á Herranz,2012
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Preliminary Systematic Mapping on Software Engineering for Robotic Systems;Proceedings of the IEEE/ACM 42nd International Conference on Software Engineering Workshops;2020-06-27
2. Synthesis of verifiable concurrent Java components from formal models;Software & Systems Modeling;2017-02-13
3. Functional Testing of Java Programs;Lecture Notes in Computer Science;2016
4. Applying Property-Based Testing in Teaching Safety-Critical System Programming;2015 41st Euromicro Conference on Software Engineering and Advanced Applications;2015-08