AUTOMATED DATABASE APPLICATIONS TESTING: SPECIFICATION REPRESENTATION FOR AUTOMATED REASONING - Rana Farid Mikhail - Inbunden | Bokus