From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

How verified (or tested) is my code? Falsification-driven verification and testing.

A. Groce, I. Ahmed, C. Jensen, P. McKenney, и J. Holmes. Autom. Softw. Eng., 25 (4): 917-960 (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Mutation Reduction Strategies Considered Harmful.R. Gopinath, I. Ahmed, M. Alipour, C. Jensen, и A. Groce. IEEE Trans. Reliab., 66 (3): 854-874 (2017)Mutation Analysis: Answering the Fuzzing Challenge.R. Gopinath, P. Görz, и A. Groce. CoRR, (2022)Passages.A. Groce. ACM SIGSOFT Softw. Eng. Notes, 43 (2): 6-7 (2018)Passages.A. Groce. ACM SIGSOFT Softw. Eng. Notes, 39 (6): 6-7 (2014)Adaptive Model Checking.A. Groce, D. Peled, и M. Yannakakis. Logic Journal of the IGPL, 14 (5): 729-744 (2006)(Quickly) testing the tester via path coverage.A. Groce. WODA, стр. 22-28. (2009)Heuristic Model Checking for Java Programs.A. Groce, и W. Visser. SPIN, том 2318 из Lecture Notes in Computer Science, стр. 242-245. Springer, (2002)How verified (or tested) is my code? Falsification-driven verification and testing.A. Groce, I. Ahmed, C. Jensen, P. McKenney, и J. Holmes. Autom. Softw. Eng., 25 (4): 917-960 (2018)Error Explanation with Distance Metrics.A. Groce. TACAS, том 2988 из Lecture Notes in Computer Science, стр. 108-122. Springer, (2004)Counterexample Guided Abstraction Refinement Via Program Execution.D. Kroening, A. Groce, и E. Clarke. ICFEM, том 3308 из Lecture Notes in Computer Science, стр. 224-238. Springer, (2004)