1 paper
Eduardo Geraldo, João Costa Seco
Software testing is the most commonly used technique in the industry to certify the correctness of software systems. This includes security properties like access control and data…