Metamorphic testing for web system security
Security testing aims at verifying that the software meets its security properties. In modern
Web systems, however, this often entails the verification of the outputs generated when …
Web systems, however, this often entails the verification of the outputs generated when …
Finding and understanding incompleteness bugs in smt solvers
M Bringolf, D Winterer, Z Su - Proceedings of the 37th IEEE/ACM …, 2022 - dl.acm.org
We propose Janus, an approach for finding incompleteness bugs in SMT solvers. The key
insight is to mutate SMT formulas with local weakening and strengthening rules that …
insight is to mutate SMT formulas with local weakening and strengthening rules that …
Scalable Metamorphic Testing Approach for Web System Security
N Bayati Chaleshtari - 2025 - ruor.uottawa.ca
Security testing aims at verifying that the software meets its security properties. In modern
Web systems, however, this often entails the verification of the outputs generated when …
Web systems, however, this often entails the verification of the outputs generated when …