Matthew B. Dwyer

• Artículos de revistas (1)
• Colaboraciones en obras colectivas (1)

• Artículos de revistas

  • A new foundation for control dependence and slicing for modern program structures

    Venkatesh Prasad Ranganath, Torben Amtoft, Anindya Banerjee, Jhon Hatcliff, Matthew B. Dwyer

    ACM transactions on programming languages and systems, ISSN 0164-0925, Vol. 29, Nº 5, 2007, págs. 125-167

    • Resumen
    

• Colaboraciones en obras colectivas

  • Exact and Approximate Probabilistic Symbolic Execution for Nondeterministic Programs

    Matthew B. Dwyer, Kasper Luckow, Antonio Filieri, Willem Visser, Corina S. Pasareanu

    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. 575-586

    

Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Dialnet. 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.