Map
Index
Random
Help
th

QuoteRef: castM3_2008




Topic:
bugs
Topic:
symbolic execution

Reference

Castro, M., Costa, M., Martin, J-P., "Better bug reporting with better privacy", ASPLOS XIII. Thirteenth International Conference on Architectural Support for Programming Languages and Operating Systems, March 2008, Seattle, Washington, USA, ACM SIGARCH, SIGPLAN, SIGOPS, pp. 319-328. Google

Quotations
319 ;;Quote: short, anonymous error reports by symbolic execution of failed executions and an SMT solver of the path expression; Satisfiability Modulo Theory


Related Topics up

Topic: bugs (66 items)
Topic: symbolic execution (9 items)

Collected barberCB 6/08
Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.