skip to main content
Refinado por: assunto: Verification remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking
Material Type:
Artigo
Adicionar ao Meu Espaço

Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking

Artzi, S ; Kiezun, A ; Dolby, J ; Tip, F ; Dig, D ; Paradkar, A ; Ernst, M D

IEEE transactions on software engineering, 2010-07, Vol.36 (4), p.474-494 [Periódico revisado por pares]

New York: IEEE

Texto completo disponível

2
A generic framework for blockchain-assisted on-chain auditing for off-chain storage
Material Type:
Artigo
Adicionar ao Meu Espaço

A generic framework for blockchain-assisted on-chain auditing for off-chain storage

Banaeian Far, Saeed ; Rajabzadeh Asaar, Maryam ; Haghbin, Afrooz

International journal of information security, 2024-06, Vol.23 (3), p.2407-2435 [Periódico revisado por pares]

Berlin/Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Buscando em bases de dados remotas. Favor aguardar.