Entry Boyer:1975:SFS from sigplan1970.bib

Last update: Fri Jun 20 02:11:11 MDT 2008                Valid HTML 3.2!

Index sections

Top | Symbols | Math | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z

BibTeX entry

@Article{Boyer:1975:SFS,
  author =       "Robert S. Boyer and Bernard Elspas and Karl N.
                 Levitt",
  title =        "{SELECT}: a formal system for testing and debugging
                 programs by symbolic execution",
  journal =      j-SIGPLAN,
  volume =       "10",
  number =       "6",
  pages =        "234--245",
  month =        jun,
  year =         "1975",
  CODEN =        "SINODQ",
  ISSN =         "0362-1340",
  bibdate =      "Sun Dec 14 09:13:49 MST 2003",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
  classification = "C6110 (Systems analysis and programming); C6150G
                 (Diagnostic, testing, debugging and evaluating
                 systems)",
  conflocation = "Los Angeles, CA, USA; 21-23 April 1975",
  conftitle =    "International Conference on Reliable Software",
  corpsource =   "Computer Sci. Group., Stanford Res. Inst., Menlo Park,
                 CA, USA",
  keywords =     "automated program proving system; computer testing;
                 formal system; formal systematic debugging of programs;
                 formal testing system; program debugging; program
                 errors; SELECT program debugging/testing system;
                 symbolic execution",
  sponsororg =   "IEEE; ACM; et al",
  treatment =    "A Application; P Practical",
}

Related entries