Tevfik Bultan

• Colaboraciones en obras colectivas (2)

• Colaboraciones en obras colectivas

  • Seleccionado

    Automatic Verification of Interactions in Asynchronous Systems with Unbounded Buffers

    Samik Basu, Tevfik Bultan

    ASE´14. Proceedings of the 29th ACM/IEEE international conference on Automated software engineering / coord. por Ivica Crnkovic, 2014, ISBN 978-1-4503-3013-, págs. 743-754

    
  • Seleccionado

    Automated Test Generation from Vulnerability Signatures

    Abdulbaki Aydin, Muath Alkhalaf, Tevfik Bultan

    IEEE Seventh International Conference on Software Testing, Verification and Validation. 31 March�4 April 2014 Cleveland, Ohio, USA / coord. por Brian P. Robinson, Claes Wohlin, Laurie Williams, 2014, ISBN 9780769551852, págs. 193-202

    

Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Documat. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.