( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Runtime Verification of Web Service Interface Contracts

, , , , и . Computer, 43 (3): 59-66 (2010)
DOI: 10.1109/MC.2010.76

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.

Muath Alrammal

Imad Aldeen Alkhalaf

Muath Jamil Abusaada

 

Другие публикации лиц с тем же именем

Generating Vulnerability Signatures for String Manipulating Programs Using Automata-Based Forward and Backward Symbolic Analyses., , и . ASE, стр. 605-609. IEEE Computer Society, (2009)Stranger: An Automata-Based String Analysis Tool for PHP., , и . TACAS, том 6015 из Lecture Notes in Computer Science, стр. 154-157. Springer, (2010)String Analysis for Software Verification and Security., , , и . Springer, (2017)Runtime Verification of Web Service Interface Contracts, , , , и . Computer, 43 (3): 59-66 (2010)Generating Interface Grammars from WSDL for Automated Verification of Web Services., , , и . ICSOC/ServiceWave, том 5900 из Lecture Notes in Computer Science, стр. 516-530. (2009)Client and server verification for web services using interface grammars., , и . TAV-WEB, стр. 40-46. ACM, (2008)Automatic Detection and Repair of Input Validation and Sanitization Bugs.. (2014)base-search.net (ftcdlib:qt0dx20255).Runtime Verification of Web Service Interface Contracts., , , , и . Computer, 43 (3): 59-66 (2010)ViewPoints: differential string analysis for discovering client- and server-side input validation inconsistencies., , , , , и . ISSTA, стр. 56-66. ACM, (2012)Patching vulnerabilities with sanitization synthesis., , и . ICSE, стр. 251-260. ACM, (2011)