-
Notifications
You must be signed in to change notification settings - Fork 0
/
biblio.bib
440 lines (403 loc) · 15.3 KB
/
biblio.bib
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
@inproceedings{DBLP:conf/icfp/ClaessenH00,
author = {Koen Claessen and
John Hughes},
editor = {Martin Odersky and
Philip Wadler},
title = {QuickCheck: a lightweight tool for random testing of Haskell programs},
booktitle = {Proceedings of the Fifth {ACM} {SIGPLAN} International Conference
on Functional Programming {(ICFP} '00), September
18-21, 2000.},
address = {Montreal, Canada},
pages = {268--279},
publisher = {{ACM}},
year = {2000},
url = {http://doi.acm.org/10.1145/351240.351266},
doi = {10.1145/351240.351266},
timestamp = {Tue, 11 Jun 2013 13:51:25 +0200},
biburl = {https://dblp.org/rec/bib/conf/icfp/ClaessenH00},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0011126,
author = {John E. Hopcroft and
Rajeev Motwani and
Jeffrey D. Ullman},
title = {Introduction to automata theory, languages, and computation - international
edition {(2.} ed)},
publisher = {Addison-Wesley},
year = 2003,
isbn = {978-0-321-21029-6},
timestamp = {Thu, 14 Apr 2011 14:43:21 +0200},
biburl = {https://dblp.org/rec/bib/books/daglib/0011126},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/KuichS86,
author = {Werner Kuich and
Arto Salomaa},
title = {Semirings, Automata, Languages},
series = {{EATCS} Monographs on Theoretical Computer Science},
volume = {5},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/978-3-642-69959-7},
doi = {10.1007/978-3-642-69959-7},
isbn = {3-540-13716-5},
timestamp = {Tue, 16 May 2017 14:01:43 +0200},
biburl = {https://dblp.org/rec/bib/books/sp/KuichS86},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0067812,
author = {Arto Salomaa and
Matti Soittola},
title = {Automata-Theoretic Aspects of Formal Power Series},
series = {Texts and Monographs in Computer Science},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/978-1-4612-6264-0},
doi = {10.1007/978-1-4612-6264-0},
isbn = {978-0-387-90282-1},
timestamp = {Tue, 16 May 2017 14:01:41 +0200},
biburl = {https://dblp.org/rec/bib/books/daglib/0067812},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/Pottier17,
author = {Fran{\c{c}}ois Pottier},
editor = {Yves Bertot and
Viktor Vafeiadis},
title = {Verifying a Hash Table and its Iterators in Higher-Order Separation
Logic},
booktitle = {Proceedings of the 6th {ACM} {SIGPLAN} Conference on Certified Programs
and Proofs, {CPP} 2017, Paris, France, January 16-17, 2017},
pages = {3--16},
publisher = {{ACM}},
year = {2017},
url = {http://doi.acm.org/10.1145/3018610.3018624},
doi = {10.1145/3018610.3018624},
timestamp = {Mon, 02 Jan 2017 14:45:33 +0100},
biburl = {https://dblp.org/rec/bib/conf/cpp/Pottier17},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cisse/ParachaF08,
author = {A. M. Paracha and
Frantisek Franek},
editor = {Tarek M. Sobh},
title = {Testing Grammars For Top-Down Parsers},
booktitle = {Innovations and Advances in Computer Sciences and Engineering, Volume
{I} of the proceedings of the 2008 International Conference on Systems,
Computing Sciences and Software Engineering (SCSS), part of the International
Joint Conferences on Computer, Information, and Systems Sciences,
and Engineering, {CISSE} 2008, Bridgeport, Connecticut, {USA}},
pages = {451--456},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-90-481-3658-2_79},
doi = {10.1007/978-90-481-3658-2_79},
timestamp = {Fri, 02 Jun 2017 20:48:01 +0200},
biburl = {https://dblp.org/rec/bib/conf/cisse/ParachaF08},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/ZhengW09,
author = {Lixiao Zheng and
Duanyi Wu},
editor = {Sheikh Iqbal Ahamed and
Elisa Bertino and
Carl K. Chang and
Vladimir Getov and
Lin Liu and
Hua Ming and
Rajesh Subramanyan},
title = {A Sentence Generation Algorithm for Testing Grammars},
booktitle = {Proceedings of the 33rd Annual {IEEE} International Computer Software
and Applications Conference, {COMPSAC} 2009, Seattle, Washington,
USA, July 20-24, 2009. Volume 1},
pages = {130--135},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/COMPSAC.2009.193},
doi = {10.1109/COMPSAC.2009.193},
timestamp = {Sun, 21 May 2017 00:22:19 +0200},
biburl = {https://dblp.org/rec/bib/conf/compsac/ZhengW09},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@Article{purdom72:_senten_gener_testin_parser,
author = {Paul Purdom},
title = {A Sentence Generator for Testing Parsers},
journal = {BIT},
year = 1972,
volume = 12,
number = 3,
pages = {366-375},
doi = {10.1007/BF01932308}}
@inproceedings{DBLP:conf/fase/Lammel01,
author = {Ralf L{\"{a}}mmel},
editor = {Heinrich Hu{\ss}mann},
title = {Grammar Testing},
booktitle = {Fundamental Approaches to Software Engineering, 4th International
Conference, {FASE} 2001 Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April
2-6, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2029},
pages = {201--216},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45314-8_15},
doi = {10.1007/3-540-45314-8_15},
timestamp = {Thu, 15 Jun 2017 21:37:27 +0200},
biburl = {https://dblp.org/rec/bib/conf/fase/Lammel01},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/LiJLG04,
author = {Hu Li and
Maozhong Jin and
Chao Liu and
Zhongyi Gao},
title = {Test Criteria for Context-Free Grammars},
booktitle = {28th International Computer Software and Applications Conference {(COMPSAC}
2004), Design and Assessment of Trustworthy Software-Based Systems,
27-30 September 2004, Hong Kong, China, Proceedings},
pages = {300--305},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/CMPSAC.2004.1342847},
doi = {10.1109/CMPSAC.2004.1342847},
timestamp = {Sun, 21 May 2017 00:22:24 +0200},
biburl = {https://dblp.org/rec/bib/conf/compsac/LiJLG04},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/GrozM17,
author = {Beno{\^{\i}}t Groz and
Sebastian Maneth},
title = {Efficient testing and matching of deterministic regular expressions},
journal = {J. Comput. Syst. Sci.},
volume = {89},
pages = {372--399},
year = {2017},
url = {https://doi.org/10.1016/j.jcss.2017.05.013},
doi = {10.1016/j.jcss.2017.05.013},
timestamp = {Tue, 15 Aug 2017 15:00:20 +0200},
biburl = {https://dblp.org/rec/bib/journals/jcss/GrozM17},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Thompson68,
author = {Ken Thompson},
title = {Regular Expression Search Algorithm},
journal = {Commun. {ACM}},
volume = {11},
number = {6},
pages = {419--422},
year = {1968},
url = {http://doi.acm.org/10.1145/363347.363387},
doi = {10.1145/363347.363387},
timestamp = {Thu, 09 Feb 2006 13:19:50 +0100},
biburl = {https://dblp.org/rec/bib/journals/cacm/Thompson68},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@Article{Brzozowski1964,
author = {Janusz A. Brzozowski},
title = {Derivatives of Regular Expressions},
journal = {Journal of the ACM},
year = 1964,
volume = 11,
number = 4,
pages = {481-494}
}
@article{Antimirov96Partial,
author = "Valentin M. Antimirov",
title = "Partial derivatives of regular expressions and finite automaton constructions",
journal = "Theoretical Computer Science",
volume = "155",
number = "2",
pages = "291--319",
year = "1996",
hiddenurl = "citeseer.ist.psu.edu/antimirov95partial.html"
}
@article{DBLP:journals/jfp/McIlroy99,
author = {M. Douglas McIlroy},
title = {Power Series, Power Serious},
journal = {J. Funct. Program.},
volume = {9},
number = {3},
pages = {325--337},
year = {1999}
}
@article{DBLP:journals/jfp/McIlroy04,
author = {M. Douglas McIlroy},
title = {Enumerating the Strings of Regular Languages},
journal = {J. Funct. Program.},
volume = {14},
number = {5},
pages = {503--518},
year = {2004},
url = {https://doi.org/10.1017/S0956796803004982},
doi = {10.1017/S0956796803004982},
timestamp = {Sat, 27 May 2017 14:24:34 +0200},
biburl = {https://dblp.org/rec/bib/journals/jfp/McIlroy04},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/LeeS04,
author = {Jonathan Lee and
Jeffrey Shallit},
editor = {Michael Domaratzki and
Alexander Okhotin and
Kai Salomaa and
Sheng Yu},
title = {Enumerating Regular Expressions and Their Languages},
booktitle = {Implementation and Application of Automata, 9th International Conference,
{CIAA} 2004, Kingston, Canada, July 22-24, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3317},
pages = {2--22},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30500-2_2},
doi = {10.1007/978-3-540-30500-2_2},
timestamp = {Tue, 30 May 2017 16:36:53 +0200},
biburl = {https://dblp.org/rec/bib/conf/wia/LeeS04},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@Unpublished{misra11:_enumer_strin_regul_expres,
author = {Jayadev Misra},
title = {Enumerating the Strings of a Regular Expression},
note = {\url{https://www.cs.utexas.edu/users/misra/Notes.dir/RegExp.pdf}},
month = aug,
year = 2000}
@inproceedings{DBLP:conf/icfp/FischerHW10,
author = {Sebastian Fischer and
Frank Huch and
Thomas Wilke},
editor = {Paul Hudak and
Stephanie Weirich},
title = {A play on regular expressions: functional pearl},
booktitle = {Proceeding of the 15th {ACM} {SIGPLAN} international conference on
Functional programming, {ICFP} 2010, Baltimore, Maryland, USA, September
27-29, 2010},
pages = {357--368},
publisher = {{ACM}},
year = {2010},
url = {http://doi.acm.org/10.1145/1863543.1863594},
doi = {10.1145/1863543.1863594},
timestamp = {Fri, 08 Oct 2010 07:51:48 +0200},
biburl = {https://dblp.org/rec/bib/conf/icfp/FischerHW10},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@Unpublished{cox07:_implem_regul_expres,
author = {Russ Cox},
title = {Implementing Regular Expressions},
note = {\url{https://swtch.com/~rsc/regexp/}},
year = 2007}
@Unpublished{cox10:_regul_expres_match_wild,
author = {Russ Cox},
title = {Regular Expression Matching in the Wild},
note = {\url{https://swtch.com/~rsc/regexp/regexp3.html}},
month = mar,
year = 2010}
@Misc{regul_expres_librar,
key = {RegExLib},
title = {Regular Expression Library},
howpublished = {\url{http://www.regexlib.com/}}}
@article{crowbar,
author = {Stephen Dolan and Mindy Preston},
title = {Testing with Crowbar},
year = 2017,
conference = {OCaml Workshop}
}
@online{afl,
author = {M. Zalewski},
year = 2014,
url = {http://lcamtuf.coredump.cx/afl/}
}
@INPROCEEDINGS{Okasaki98fastmergeable,
author = {Chris Okasaki and Andrew Gill},
title = {Fast Mergeable Integer Maps},
booktitle = {In Workshop on ML},
year = {1998},
pages = {77--86}
}
@article{Fredkin1960,
author = {Fredkin, Edward},
title = {Trie Memory},
journal = cacm,
volume = 3,
issue = 9,
month = sep,
year = 1960,
issn = {0001-0782},
pages = {490--499},
numpages = 10,
url = {http://doi.acm.org/10.1145/367390.367400},
doi = {http://doi.acm.org/10.1145/367390.367400},
acmid = 367400,
publisher = {ACM},
address = {New York, NY, USA},
}
@article{DBLP:journals/jfp/NewFFM17,
author = {Max S. New and
Burke Fetscher and
Robert Bruce Findler and
Jay A. McCarthy},
title = {Fair enumeration combinators},
journal = {J. Funct. Program.},
volume = {27},
pages = {e19},
year = {2017},
url = {https://doi.org/10.1017/S0956796817000107},
doi = {10.1017/S0956796817000107},
timestamp = {Mon, 18 Sep 2017 17:25:34 +0200},
biburl = {https://dblp.org/rec/bib/journals/jfp/NewFFM17},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/Makinen97,
author = {Erkki M{\"{a}}kinen},
title = {On Lexicographic Enumeration of Regular and Context-Free Languages},
journal = {Acta Cybern.},
volume = {13},
number = {1},
pages = {55--61},
year = {1997}
}
@article{DBLP:journals/tcs/AckermanS09,
author = {Margareta Ackerman and
Jeffrey Shallit},
title = {Efficient Enumeration of Words in Regular Languages},
journal = {Theor. Comput. Sci.},
volume = {410},
number = {37},
pages = {3461--3470},
year = {2009}
}
@Article{Wieczorek2017:enumeration,
author = {Wojciech Wieczorek},
title = {Enumeration of Words in Context-Free Languages Using {Haskell}},
journal = {Studia Informatica},
year = 2017,
volume = 38,
number = {1B},
DOI = {http://dx.doi.org/10.21936/si2017_v38.n1B.790},
annote = {\url{http://studiainformatica.polsl.pl/index.php/SI/article/view/790}}
}
@inproceedings{DBLP:conf/cocoon/AckermanM09,
author = {Margareta Ackerman and
Erkki M{\"{a}}kinen},
title = {Three New Algorithms for Regular Language Enumeration},
booktitle = {{COCOON}},
series = {Lecture Notes in Computer Science},
volume = {5609},
pages = {178--191},
publisher = {Springer},
year = {2009}
}
@article{DBLP:journals/toms/Vitter87,
author = {Jeffrey Scott Vitter},
title = {An efficient algorithm for sequential random sampling},
journal = {{ACM} Trans. Math. Softw.},
volume = {13},
number = {1},
pages = {58--67},
year = {1987},
url = {http://doi.acm.org/10.1145/23002.23003},
doi = {10.1145/23002.23003},
timestamp = {Tue, 27 Apr 2010 09:25:58 +0200},
biburl = {https://dblp.org/rec/bib/journals/toms/Vitter87},
bibsource = {dblp computer science bibliography, https://dblp.org}
}