Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Arts, T., Hughes, J., Johansson, J., Wiger, U.: Testing telecoms software with quviq quickcheck. In: Feeley, M., Trinder, P.W. (eds.) Erlang Workshop, pp. 2–10. ACM, New York (2006)
2. Boberg, J.: Early fault detection with model-based testing. In: ERLANG 2008: Proceedings of the 7th ACM SIGPLAN workshop on ERLANG, pp. 9–20. ACM, New York (2008)
3. Carlsson, R., Rémond, M.: Eunit: a lightweight unit testing framework for erlang. In: ERLANG 2006: Proceedings of the 2006 ACM SIGPLAN workshop on Erlang, pp. 1–1. ACM, New York (2006)
4. Claessen, K., Hughes, J.: Quickcheck: a lightweight tool for random testing of haskell programs. In: ICFP 2000: Proceedings of the fifth ACM SIGPLAN international conference on Functional programming, pp. 268–279. ACM Press, New York (2000)
5. Claessen, K., Hughes, J.: Specification based testing with QuickCheck. In: The Fun of Programming, Cornerstones of Computing, pp. 17–40. Palgrave (2003)
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Test Maintenance for Machine Learning Systems: A Case Study in the Automotive Industry;2023 IEEE Conference on Software Testing, Verification and Validation (ICST);2023-04
2. SMT-Based Test-Case Generation and Validation for Programs with Complex Specifications;Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems;2023
3. TriCo—Triple Co-piloting of Implementation, Specification and Tests;Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles;2022
4. Using an agent-based approach for robust automated testing of computer games;Proceedings of the 12th International Workshop on Automating TEST Case Design, Selection, and Evaluation;2021-08-23
5. A unified framework for declarative debugging and testing;Information and Software Technology;2021-01