Register | Log in | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

srccheck's mc [7 articles]

Recent papers added to srccheck's library classified by the tag mc. You can also see everyone's mc.
  • From Uncertainty to Belief: Inferring the Specification Within
    (2006), pp. 161-176.
    by Ted Kremenek, Paul Twohey, Godmar Back, Andrew Y Ng, Dawson R Engler
    posted to machine_learning mc source_sink by srccheck on 2008-02-28 15:37:04 as **
  • Saturn: A scalable framework for error detection using Boolean satisfiability
    ACM Trans. Program. Lang. Syst., Vol. 29, No. 3. (May 2007)
    by Yichen Xie, Alex Aiken
    posted to defect_search mc saturn toplas07 by srccheck on 2008-02-20 15:21:47 as ****
  • Using programmer-written compiler extensions to catch security holes
    (May 2002), pp. 143-159.
    by K Ashcraft, D Engler
    posted to defects defect_search mc tainted_buffer tainted_value to_close by srccheck on 2008-02-06 11:24:19 as read along with 3 people mercutio plaugg ronnix
  • Using redundancies to find errors
    SIGSOFT Softw. Eng. Notes, Vol. 27, No. 6. (2002), pp. 51-60.
    by Y Xie, D Engler
    posted to defects inconsistent_code mc by srccheck on 2008-02-06 11:08:07 as read along with 1 person bdanilov
  • Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions
    (October 2000)
    by D Engler, B Chelf, A Chou, S Hallem
    posted to defects mc osdi00 tools by srccheck on 2008-02-06 10:34:50 as read
  • An Empirical Study of Operating System Errors
    (2001), pp. 73-88.
    by Andy Chou, Junfeng Yang, Benjamin Chelf, Seth Hallem, Dawson R Engler
    posted to mc search_report sosp04 to_close by srccheck on 2008-02-06 10:31:40 as read along with 3 people olesya fmc Gnurou
  • Bugs as Inconsistent Behavior: A General Approach to Inferring Errors in Systems Code
    (2001), pp. 57-72.
    by Dawson R Engler, David Y Chen, Andy Chou
    posted to defects defect_search inconsistent_code mc sosp01 to_close tools by srccheck on 2008-02-06 09:27:57 as read along with 3 people gameweld ronnix bdanilov
    • Note: You may cite this page as: http://www.citeulike.org/user/srccheck/tag/mc

    RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.