summaryrefslogtreecommitdiff
path: root/info/biblio/texbook3.bib
diff options
context:
space:
mode:
Diffstat (limited to 'info/biblio/texbook3.bib')
-rw-r--r--info/biblio/texbook3.bib54
1 files changed, 31 insertions, 23 deletions
diff --git a/info/biblio/texbook3.bib b/info/biblio/texbook3.bib
index 55e698ab30..ef92512047 100644
--- a/info/biblio/texbook3.bib
+++ b/info/biblio/texbook3.bib
@@ -5,9 +5,9 @@
%%% ====================================================================
%%% BibTeX-file{
%%% author = "Nelson H. F. Beebe",
-%%% version = "3.90",
-%%% date = "09 February 2022",
-%%% time = "06:32:16 MST",
+%%% version = "3.91",
+%%% date = "22 September 2022",
+%%% time = "10:28:33 MDT",
%%% filename = "texbook3.bib",
%%% address = "University of Utah
%%% Department of Mathematics, 110 LCB
@@ -17,7 +17,7 @@
%%% telephone = "+1 801 581 5254",
%%% FAX = "+1 801 581 4148",
%%% URL = "http://www.math.utah.edu/~beebe",
-%%% checksum = "05954 23334 105574 1001992",
+%%% checksum = "02266 23342 105594 1002616",
%%% email = "beebe at math.utah.edu, beebe at acm.org,
%%% beebe at computer.org (Internet)",
%%% codetable = "ISO/ASCII",
@@ -37,7 +37,7 @@
%%% covered in separate bibliographies
%%% (ep.bib, epodd.bib, and sgml.bib).
%%%
-%%% At version 3.90, the year coverage looks
+%%% At version 3.91, the year coverage looks
%%% like this:
%%%
%%% 1928 ( 1) 1960 ( 0) 1992 ( 83)
@@ -69,8 +69,8 @@
%%% 1954 ( 0) 1986 ( 41) 2018 ( 1)
%%% 1955 ( 0) 1987 ( 49) 2019 ( 4)
%%% 1956 ( 0) 1988 ( 50) 2020 ( 2)
-%%% 1957 ( 0) 1989 ( 55) 2021 ( 1)
-%%% 1958 ( 0) 1990 ( 54)
+%%% 1957 ( 0) 1989 ( 55) 2021 ( 0)
+%%% 1958 ( 0) 1990 ( 54) 2022 ( 1)
%%% 1959 ( 0) 1991 ( 41)
%%% 19xx ( 2)
%%%
@@ -16011,22 +16011,21 @@
acknowledgement = ack-hk,
}
-@Article{Miller:2021:RCF,
+@Article{Miller:2022:RCF,
author = "Barton P. Miller and Mengxiao Zhang and Elisa R.
Heymann",
title = "The Relevance of Classic Fuzz Testing: Have We Solved
This One?",
journal = j-IEEE-TRANS-SOFTW-ENG,
- volume = "??",
- number = "?",
- pages = "??--??",
- month = "????",
- year = "2021",
+ volume = "48",
+ number = "6",
+ pages = "2028--2039",
+ month = jun,
+ year = "2022",
CODEN = "IESEDJ",
DOI = "https://doi.org/10.1109/TSE.2020.3047766",
ISSN = "0098-5589 (print), 1939-3520 (electronic)",
ISSN-L = "0098-5589",
- bibdate = "Thu Apr 08 14:13:22 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/gnu.bib;
http://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib;
http://www.math.utah.edu/pub/tex/bib/rust.bib;
@@ -16064,6 +16063,7 @@
acknowledgement = ack-nhfb,
fjournal = "IEEE Transactions on Software Engineering",
journal-URL = "http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32",
+ keywords = "Rust programming language",
}
@Article{Milne:1986:RTS,
@@ -22408,28 +22408,36 @@
}
@Book{Feijen:1990:BOB,
- editor = "W. H. J. Feijen and A. J. M. van Gasteren and D. Gries
- and J. Misra",
- booktitle = "Beauty is our business: a birthday salute to {Edsger
+ editor = "W. H. J. Feijen and A. J. M. van Gasteren and David
+ Gries and J. Misra",
+ booktitle = "Beauty is our Business: a Birthday Salute to {Edsger
W. Dijkstra}",
- title = "Beauty is our business: a birthday salute to {Edsger
+ title = "Beauty is our Business: a Birthday Salute to {Edsger
W. Dijkstra}",
publisher = pub-SV,
address = pub-SV:adr,
pages = "xix + 453",
year = "1990",
DOI = "https://doi.org/10.1007/978-1-4612-4476-9",
- ISBN = "0-387-97299-4, 1-4612-8792-8 (print), 1-4612-4476-5
- (online)",
- ISBN-13 = "978-0-387-97299-2, 978-1-4612-8792-6 (print),
- 978-1-4612-4476-9 (online)",
+ ISBN = "0-387-97299-4, 3-540-97299-4, 1-4612-8792-8 (print),
+ 1-4612-4476-5 (online)",
+ ISBN-13 = "978-0-387-97299-2, 978-3-540-97299-0,
+ 978-1-4612-8792-6 (print), 978-1-4612-4476-9 (online)",
ISSN = "0172-603X",
ISSN-L = "0172-603X",
LCCN = "QA76 .B326 1990",
bibdate = "Thu Mar 24 09:27:40 1994",
- bibsource = "http://www.math.utah.edu/pub/tex/bib/fparith.bib;
+ bibsource = "http://www.math.utah.edu/pub/bibnet/authors/b/bauer-friedrich-ludwig.bib;
+ http://www.math.utah.edu/pub/bibnet/authors/d/dijkstra-edsger-w.bib;
+ http://www.math.utah.edu/pub/bibnet/authors/h/hoare-c-a-r.bib;
+ http://www.math.utah.edu/pub/tex/bib/fparith.bib;
+ http://www.math.utah.edu/pub/tex/bib/ibmjrd.bib;
http://www.math.utah.edu/pub/tex/bib/master.bib;
http://www.math.utah.edu/pub/tex/bib/texbook3.bib",
+ note = "Contains important treatment of accurate
+ binary-to-decimal conversion
+ \cite{Gries:1990:BDO,Knuth:1990:SPW}.",
+ URL = "http://www.zentralblatt-math.org/zmath/en/search/?an=0718.68004",
acknowledgement = ack-nhfb,
tableofcontents = "Anonymous / Front Matter / i--xix \\
Krzysztof R. Apt, Frank S. de Boer, Ernst-R{\"u}diger