From 7cd9b0a73759268632bcc72db2934e35078b7229 Mon Sep 17 00:00:00 2001 From: Karl Berry Date: Thu, 22 Sep 2022 23:49:55 +0000 Subject: tl-update-auto git-svn-id: svn://tug.org/texlive/trunk@64481 c570f23f-e606-0410-a88d-b1316a301751 --- Master/texmf-dist/bibtex/bib/beebe/texbook3.bib | 54 ++++++++++++++----------- 1 file changed, 31 insertions(+), 23 deletions(-) (limited to 'Master/texmf-dist/bibtex/bib') diff --git a/Master/texmf-dist/bibtex/bib/beebe/texbook3.bib b/Master/texmf-dist/bibtex/bib/beebe/texbook3.bib index 55e698ab306..ef925120474 100644 --- a/Master/texmf-dist/bibtex/bib/beebe/texbook3.bib +++ b/Master/texmf-dist/bibtex/bib/beebe/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 -- cgit v1.2.3