| 
|
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
319 ;;Quote: short, anonymous error reports by symbolic execution of failed executions and an SMT solver of the path expression; Satisfiability Modulo Theory
Topic: bugs (66 items)
Topic: symbolic execution (9 items)