default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Leonidas Lampropoulos
@article{DBLP:journals/pacmpl/FrankQL24,
author = {Justin Frank and
Benjamin Quiring and
Leonidas Lampropoulos},
title = {Generating Well-Typed Terms That Are Not "Useless"},
journal = {Proc. {ACM} Program. Lang.},
volume = {8},
number = {{POPL}},
pages = {2318--2339},
year = {2024},
url = {https://doi.org/10.1145/3632919},
doi = {10.1145/3632919},
timestamp = {Sat, 10 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/FrankQL24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ThimmaiahLR024,
author = {Aditya Thimmaiah and
Leonidas Lampropoulos and
Christopher J. Rossbach and
Milos Gligoric},
title = {Object Graph Programming},
booktitle = {Proceedings of the 46th {IEEE/ACM} International Conference on Software
Engineering, {ICSE} 2024, Lisbon, Portugal, April 14-20, 2024},
pages = {20:1--20:13},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3597503.3623319},
doi = {10.1145/3597503.3623319},
timestamp = {Mon, 24 Jun 2024 15:20:25 +0200},
biburl = {https://dblp.org/rec/conf/icse/ThimmaiahLR024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-02642,
author = {Aditya Thimmaiah and
Leonidas Lampropoulos and
Christopher J. Rossbach and
Milos Gligoric},
title = {Object Graph Programming},
journal = {CoRR},
volume = {abs/2402.02642},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.02642},
doi = {10.48550/ARXIV.2402.02642},
eprinttype = {arXiv},
eprint = {2402.02642},
timestamp = {Mon, 12 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-02642.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/LiLPLHH23,
author = {Liyi Li and
Yiyun Liu and
Deena L. Postol and
Leonidas Lampropoulos and
David Van Horn and
Michael Hicks},
title = {A formal model of Checked {C}},
journal = {J. Comput. Secur.},
volume = {31},
number = {5},
pages = {581--614},
year = {2023},
url = {https://doi.org/10.3233/JCS-230040},
doi = {10.3233/JCS-230040},
timestamp = {Fri, 10 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcs/LiLPLHH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/ShiKGPL23,
author = {Jessica Shi and
Alperen Keles and
Harrison Goldstein and
Benjamin C. Pierce and
Leonidas Lampropoulos},
title = {Etna: An Evaluation Platform for Property-Based Testing (Experience
Report)},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{ICFP}},
pages = {878--894},
year = {2023},
url = {https://doi.org/10.1145/3607860},
doi = {10.1145/3607860},
timestamp = {Mon, 06 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/ShiKGPL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/PrinzL23,
author = {Jacob Prinz and
Leonidas Lampropoulos},
title = {Merging Inductive Relations},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{PLDI}},
pages = {1759--1778},
year = {2023},
url = {https://doi.org/10.1145/3591292},
doi = {10.1145/3591292},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/PrinzL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/AndersonBLPT23,
author = {Sean Noble Anderson and
Roberto Blanco and
Leonidas Lampropoulos and
Benjamin C. Pierce and
Andrew Tolmach},
title = {Formalizing Stack Safety as a Security Property},
booktitle = {36th {IEEE} Computer Security Foundations Symposium, {CSF} 2023, Dubrovnik,
Croatia, July 10-14, 2023},
pages = {356--371},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CSF57540.2023.00037},
doi = {10.1109/CSF57540.2023.00037},
timestamp = {Tue, 05 Sep 2023 20:33:27 +0200},
biburl = {https://dblp.org/rec/conf/csfw/AndersonBLPT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/MittelmanR0GL23,
author = {Segev Elazar Mittelman and
Aviel Resnick and
Ivan Perez and
Alwyn E. Goodloe and
Leonidas Lampropoulos},
editor = {Trevor L. McDonell and
Niki Vazou},
title = {Don't Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based
Testing},
booktitle = {Proceedings of the 16th {ACM} {SIGPLAN} International Haskell Symposium,
Haskell 2023, Seattle, WA, USA, September 8-9, 2023},
pages = {59--71},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3609026.3609730},
doi = {10.1145/3609026.3609730},
timestamp = {Wed, 20 Sep 2023 15:10:41 +0200},
biburl = {https://dblp.org/rec/conf/haskell/MittelmanR0GL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-02769,
author = {Finn Voichick and
Leonidas Lampropoulos and
Robert Rand},
title = {Shorter Pulses, Smaller Errors: Quantum Circuit Optimization via Parameterized
Pulses},
journal = {CoRR},
volume = {abs/2311.02769},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.02769},
doi = {10.48550/ARXIV.2311.02769},
eprinttype = {arXiv},
eprint = {2311.02769},
timestamp = {Wed, 08 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-02769.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/HoangTLS22,
author = {Tram Hoang and
Anton Trunov and
Leonidas Lampropoulos and
Ilya Sergey},
title = {Random testing of a higher-order blockchain language (experience report)},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{ICFP}},
pages = {886--901},
year = {2022},
url = {https://doi.org/10.1145/3547653},
doi = {10.1145/3547653},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/HoangTLS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/LiLPLHH22,
author = {Liyi Li and
Yiyun Liu and
Deena L. Postol and
Leonidas Lampropoulos and
David Van Horn and
Michael Hicks},
title = {A Formal Model of Checked {C}},
booktitle = {35th {IEEE} Computer Security Foundations Symposium, {CSF} 2022, Haifa,
Israel, August 7-10, 2022},
pages = {49--63},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/CSF54842.2022.9919657},
doi = {10.1109/CSF54842.2022.9919657},
timestamp = {Fri, 18 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csfw/LiLPLHH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/BlanchetteVL22,
author = {Henry Blanchette and
Niki Vazou and
Leonidas Lampropoulos},
editor = {Nadia Polikarpova},
title = {Liquid proof macros},
booktitle = {Haskell '22: 15th {ACM} {SIGPLAN} International Haskell Symposium,
Ljubljana, Slovenia, September 15 - 16, 2022},
pages = {27--38},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3546189.3549921},
doi = {10.1145/3546189.3549921},
timestamp = {Thu, 20 Oct 2022 17:38:56 +0200},
biburl = {https://dblp.org/rec/conf/haskell/BlanchetteVL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/PrinzKL22,
author = {Jacob Prinz and
G. A. Kavvos and
Leonidas Lampropoulos},
editor = {June Andronick and
Leonardo de Moura},
title = {Deeper Shallow Embeddings},
booktitle = {13th International Conference on Interactive Theorem Proving, {ITP}
2022, August 7-10, 2022, Haifa, Israel},
series = {LIPIcs},
volume = {237},
pages = {28:1--28:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.ITP.2022.28},
doi = {10.4230/LIPICS.ITP.2022.28},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/itp/PrinzKL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/Paraskevopoulou22,
author = {Zoe Paraskevopoulou and
Aaron Eline and
Leonidas Lampropoulos},
editor = {Ranjit Jhala and
Isil Dillig},
title = {Computing correctly with inductive relations},
booktitle = {{PLDI} '22: 43rd {ACM} {SIGPLAN} International Conference on Programming
Language Design and Implementation, San Diego, CA, USA, June 13 -
17, 2022},
pages = {966--980},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3519939.3523707},
doi = {10.1145/3519939.3523707},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/Paraskevopoulou22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-13394,
author = {Liyi Li and
Yiyun Liu and
Deena L. Postol and
Leonidas Lampropoulos and
David Van Horn and
Michael Hicks},
title = {A Formal Model of Checked {C}},
journal = {CoRR},
volume = {abs/2201.13394},
year = {2022},
url = {https://arxiv.org/abs/2201.13394},
eprinttype = {arXiv},
eprint = {2201.13394},
timestamp = {Fri, 18 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-13394.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/GoldsteinHLP21,
author = {Harrison Goldstein and
John Hughes and
Leonidas Lampropoulos and
Benjamin C. Pierce},
editor = {Nobuko Yoshida},
title = {Do Judge a Test by its Cover - Combining Combinatorial and Property-Based
Testing},
booktitle = {Programming Languages and Systems - 30th European Symposium on Programming,
{ESOP} 2021, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2021, Luxembourg City, Luxembourg,
March 27 - April 1, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12648},
pages = {264--291},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-72019-3\_10},
doi = {10.1007/978-3-030-72019-3\_10},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esop/GoldsteinHLP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-00417,
author = {Sean Noble Anderson and
Leonidas Lampropoulos and
Roberto Blanco and
Benjamin C. Pierce and
Andrew Tolmach},
title = {Security Properties for Stack Safety},
journal = {CoRR},
volume = {abs/2105.00417},
year = {2021},
url = {https://arxiv.org/abs/2105.00417},
eprinttype = {arXiv},
eprint = {2105.00417},
timestamp = {Wed, 12 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-00417.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/Lampropoulos0P19,
author = {Leonidas Lampropoulos and
Michael Hicks and
Benjamin C. Pierce},
title = {Coverage guided, property based testing},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{OOPSLA}},
pages = {181:1--181:29},
year = {2019},
url = {https://doi.org/10.1145/3360607},
doi = {10.1145/3360607},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/Lampropoulos0P19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/post/RuefLSTH19,
author = {Andrew Ruef and
Leonidas Lampropoulos and
Ian Sweet and
David Tarditi and
Michael Hicks},
editor = {Flemming Nielson and
David Sands},
title = {Achieving Safety Incrementally with Checked {C}},
booktitle = {Principles of Security and Trust - 8th International Conference, {POST}
2019, Held as Part of the European Joint Conferences on Theory and
Practice of Software, {ETAPS} 2019, Prague, Czech Republic, April
6-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11426},
pages = {76--98},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17138-4\_4},
doi = {10.1007/978-3-030-17138-4\_4},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/post/RuefLSTH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/FonerZL18,
author = {Kenneth Foner and
Hengchu Zhang and
Leonidas Lampropoulos},
title = {Keep your laziness in check},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{ICFP}},
pages = {102:1--102:30},
year = {2018},
url = {https://doi.org/10.1145/3236797},
doi = {10.1145/3236797},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/FonerZL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/LampropoulosPP18,
author = {Leonidas Lampropoulos and
Zoe Paraskevopoulou and
Benjamin C. Pierce},
title = {Generating good generators for inductive relations},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{POPL}},
pages = {45:1--45:30},
year = {2018},
url = {https://doi.org/10.1145/3158133},
doi = {10.1145/3158133},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/LampropoulosPP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/LampropoulosSF17,
author = {Leonidas Lampropoulos and
Antal Spector{-}Zabusky and
Kenneth Foner},
editor = {Iavor S. Diatchki},
title = {Ode on a random urn (functional pearl)},
booktitle = {Proceedings of the 10th {ACM} {SIGPLAN} International Symposium on
Haskell, Oxford, United Kingdom, September 7-8, 2017},
pages = {26--37},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3122955.3122959},
doi = {10.1145/3122955.3122959},
timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},
biburl = {https://dblp.org/rec/conf/haskell/LampropoulosSF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/VazouLP17,
author = {Niki Vazou and
Leonidas Lampropoulos and
Jeff Polakow},
editor = {Iavor S. Diatchki},
title = {A tale of two provers: verifying monoidal string matching in liquid
Haskell and Coq},
booktitle = {Proceedings of the 10th {ACM} {SIGPLAN} International Symposium on
Haskell, Oxford, United Kingdom, September 7-8, 2017},
pages = {63--74},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3122955.3122963},
doi = {10.1145/3122955.3122963},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/haskell/VazouLP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/LampropoulosGHH17,
author = {Leonidas Lampropoulos and
Diane Gallois{-}Wong and
Catalin Hritcu and
John Hughes and
Benjamin C. Pierce and
Li{-}yao Xia},
editor = {Giuseppe Castagna and
Andrew D. Gordon},
title = {Beginner's luck: a language for property-based generators},
booktitle = {Proceedings of the 44th {ACM} {SIGPLAN} Symposium on Principles of
Programming Languages, {POPL} 2017, Paris, France, January 18-20,
2017},
pages = {114--129},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3009837.3009868},
doi = {10.1145/3009837.3009868},
timestamp = {Mon, 05 Feb 2024 20:33:37 +0100},
biburl = {https://dblp.org/rec/conf/popl/LampropoulosGHH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/HritcuLSADHPV16,
author = {Catalin Hritcu and
Leonidas Lampropoulos and
Antal Spector{-}Zabusky and
Arthur Azevedo de Amorim and
Maxime D{\'{e}}n{\`{e}}s and
John Hughes and
Benjamin C. Pierce and
Dimitrios Vytiniotis},
title = {Testing noninterference, quickly},
journal = {J. Funct. Program.},
volume = {26},
pages = {e4},
year = {2016},
url = {https://doi.org/10.1017/S0956796816000058},
doi = {10.1017/S0956796816000058},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/HritcuLSADHPV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/BastaniILVNC16,
author = {Osbert Bastani and
Yani Ioannou and
Leonidas Lampropoulos and
Dimitrios Vytiniotis and
Aditya V. Nori and
Antonio Criminisi},
editor = {Daniel D. Lee and
Masashi Sugiyama and
Ulrike von Luxburg and
Isabelle Guyon and
Roman Garnett},
title = {Measuring Neural Net Robustness with Constraints},
booktitle = {Advances in Neural Information Processing Systems 29: Annual Conference
on Neural Information Processing Systems 2016, December 5-10, 2016,
Barcelona, Spain},
pages = {2613--2621},
year = {2016},
url = {https://proceedings.neurips.cc/paper/2016/hash/980ecd059122ce2e50136bda65c25e07-Abstract.html},
timestamp = {Mon, 16 May 2022 15:41:51 +0200},
biburl = {https://dblp.org/rec/conf/nips/BastaniILVNC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BastaniILVNC16,
author = {Osbert Bastani and
Yani Ioannou and
Leonidas Lampropoulos and
Dimitrios Vytiniotis and
Aditya V. Nori and
Antonio Criminisi},
title = {Measuring Neural Net Robustness with Constraints},
journal = {CoRR},
volume = {abs/1605.07262},
year = {2016},
url = {http://arxiv.org/abs/1605.07262},
eprinttype = {arXiv},
eprint = {1605.07262},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BastaniILVNC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LampropoulosGHH16,
author = {Leonidas Lampropoulos and
Diane Gallois{-}Wong and
Catalin Hritcu and
John Hughes and
Benjamin C. Pierce and
Li{-}yao Xia},
title = {Beginner's Luck: {A} Language for Property-Based Generators},
journal = {CoRR},
volume = {abs/1607.05443},
year = {2016},
url = {http://arxiv.org/abs/1607.05443},
eprinttype = {arXiv},
eprint = {1607.05443},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/LampropoulosGHH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/Paraskevopoulou15,
author = {Zoe Paraskevopoulou and
Catalin Hritcu and
Maxime D{\'{e}}n{\`{e}}s and
Leonidas Lampropoulos and
Benjamin C. Pierce},
editor = {Christian Urban and
Xingyuan Zhang},
title = {Foundational Property-Based Testing},
booktitle = {Interactive Theorem Proving - 6th International Conference, {ITP}
2015, Nanjing, China, August 24-27, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9236},
pages = {325--343},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-22102-1\_22},
doi = {10.1007/978-3-319-22102-1\_22},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/itp/Paraskevopoulou15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HritcuLSADHPV14,
author = {Catalin Hritcu and
Leonidas Lampropoulos and
Antal Spector{-}Zabusky and
Arthur Azevedo de Amorim and
Maxime D{\'{e}}n{\`{e}}s and
John Hughes and
Benjamin C. Pierce and
Dimitrios Vytiniotis},
title = {Testing Noninterference, Quickly},
journal = {CoRR},
volume = {abs/1409.0393},
year = {2014},
url = {http://arxiv.org/abs/1409.0393},
eprinttype = {arXiv},
eprint = {1409.0393},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/HritcuLSADHPV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/HritcuHPSVAL13,
author = {Catalin Hritcu and
John Hughes and
Benjamin C. Pierce and
Antal Spector{-}Zabusky and
Dimitrios Vytiniotis and
Arthur Azevedo de Amorim and
Leonidas Lampropoulos},
editor = {Greg Morrisett and
Tarmo Uustalu},
title = {Testing noninterference, quickly},
booktitle = {{ACM} {SIGPLAN} International Conference on Functional Programming,
ICFP'13, Boston, MA, {USA} - September 25 - 27, 2013},
pages = {455--468},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2500365.2500574},
doi = {10.1145/2500365.2500574},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/HritcuHPSVAL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1210-6110,
author = {Leonidas Lampropoulos and
Konstantinos Sagonas},
editor = {Josep Silva and
Francesco Tiezzi},
title = {Automatic WSDL-guided Test Case Generation for PropEr Testing of Web
Services},
booktitle = {Proceedings 8th International Workshop on Automated Specification
and Verification of Web Systems, {WWV} 2012, Stockholm, Sweden, 16th
July 2012},
series = {{EPTCS}},
volume = {98},
pages = {3--16},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.98.3},
doi = {10.4204/EPTCS.98.3},
timestamp = {Thu, 20 May 2021 14:31:18 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-6110.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-05-08 00:07 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
