Zobrazeno 1 - 10
of 2 211
pro vyhledávání: '"Specification-based testing"'
Autor:
Chin, Janice, Pearce, David
Publikováno v:
The Art, Science, and Engineering of Programming, 2021, Vol. 5, Issue 3, Article 13
Automated specification-based testing has a long history with several notable tools having emerged. For example, QuickCheck for Haskell focuses on testing against user-provided properties. Others, such as JMLUnit, use specifications in the form of pr
Externí odkaz:
http://arxiv.org/abs/2103.00032
Autor:
Canh Minh Do, Kazuhiro Ogata
Publikováno v:
IEEE Access, Vol 10, Pp 24955-24975 (2022)
The paper proposes a new testing technique for concurrent programs. The technique is a specification-based testing. For a formal specification S and a concurrent program P, state sequences are generated from P and checked to be accepted by S. We supp
Externí odkaz:
https://doaj.org/article/6989742f340c442db5bbf7860b4deeb8
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Sensors, Vol 21, Iss 16, p 5375 (2021)
Nowadays, REpresentational State Transfer Application Programming Interfaces (REST APIs) are widely used in web applications, hence a plethora of test cases are developed to validate the APIs calls. We propose a solution that automates the generation
Externí odkaz:
https://doaj.org/article/cac5e63776ab4687b76f26d6f900a621
Publikováno v:
In Information Systems December 2016 62:104-135
Autor:
Yu, Yuen Tak, Lau, Man Fai
Publikováno v:
In Information and Software Technology 2012 54(2):179-202
Publikováno v:
In Journal of Logic and Algebraic Programming 2009 78(6):472-490
Publikováno v:
Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6fd444da7d1f71582d55449a0390e793
https://doi.org/10.5220/0011997400003464
https://doi.org/10.5220/0011997400003464