Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: David R. Cok
@inproceedings{DBLP:conf/birthday/CokL20,
author = {David R. Cok and
K. Rustan M. Leino},
editor = {Wolfgang Ahrendt and
Bernhard Beckert and
Richard Bubel and
Einar Broch Johnsen},
title = {Specifying the Boundary Between Unverified and Verified Code},
booktitle = {The Logic of Software. {A} Tasting Menu of Formal Methods - Essays
Dedicated to Reiner H{\"{a}}hnle on the Occasion of His 60th
Birthday},
series = {Lecture Notes in Computer Science},
volume = {13360},
pages = {105--128},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08166-8\_6},
doi = {10.1007/978-3-031-08166-8\_6},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/CokL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/LeavensCN20,
author = {Gary T. Leavens and
David R. Cok and
Amirfarhad Nilizadeh},
editor = {Wolfgang Ahrendt and
Bernhard Beckert and
Richard Bubel and
Einar Broch Johnsen},
title = {Further Lessons from the {JML} Project},
booktitle = {The Logic of Software. {A} Tasting Menu of Formal Methods - Essays
Dedicated to Reiner H{\"{a}}hnle on the Occasion of His 60th
Birthday},
series = {Lecture Notes in Computer Science},
volume = {13360},
pages = {313--349},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08166-8\_15},
doi = {10.1007/978-3-031-08166-8\_15},
timestamp = {Sun, 25 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/LeavensCN20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftfjp/NilizadehLC22,
author = {Amirfarhad Nilizadeh and
Gary T. Leavens and
David R. Cok},
editor = {Henrique Reb{\^{e}}lo},
title = {Automated Reasoning Repair},
booktitle = {Proceedings of the 24th {ACM} International Workshop on Formal Techniques
for Java-like Programs, FTfJP 2022, Berlin, Germany, 7 June 2022},
pages = {11--14},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3611096.3611099},
doi = {10.1145/3611096.3611099},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftfjp/NilizadehLC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftfjp/Cok22,
author = {David R. Cok},
editor = {Henrique Reb{\^{e}}lo},
title = {Documentation and Educational Materials for a 2nd Edition of the Java
Modeling Language},
booktitle = {Proceedings of the 24th {ACM} International Workshop on Formal Techniques
for Java-like Programs, FTfJP 2022, Berlin, Germany, 7 June 2022},
pages = {26--28},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3611096.3611102},
doi = {10.1145/3611096.3611102},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftfjp/Cok22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse-formalise/NilizadehCLC22,
author = {Amirfarhad Nilizadeh and
Marlon Calvo and
Gary T. Leavens and
David R. Cok},
editor = {Arnd Hartmanns and
Ina Schaefer and
Stefania Gnesi and
Nico Plat},
title = {Generating Counterexamples in the form of Unit Tests from Hoare-style
Verification Attempts},
booktitle = {10th {IEEE/ACM} International Conference on Formal Methods in Software
Engineering, FormaliSE@ICSE 2022, Pittsburgh, PA, USA, May 22-23,
2022},
pages = {124--128},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3524482.3527656},
doi = {10.1145/3524482.3527656},
timestamp = {Mon, 03 Jul 2023 17:01:01 +0200},
biburl = {https://dblp.org/rec/conf/icse-formalise/NilizadehCLC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/CokL22,
author = {David R. Cok and
Gary T. Leavens},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Abstraction in Deductive Verification: Model Fields and Model Methods},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Verification Principles - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13701},
pages = {29--44},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19849-6\_3},
doi = {10.1007/978-3-031-19849-6\_3},
timestamp = {Fri, 21 Oct 2022 19:54:54 +0200},
biburl = {https://dblp.org/rec/conf/isola/CokL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Cok21,
author = {David R. Cok},
editor = {David R. Cok},
title = {{JML} and OpenJML for Java 16},
booktitle = {FTfJP 2021: Proceedings of the 23rd {ACM} International Workshop on
Formal Techniques for Java-like Programs, Virtual Event, Denmark,
13 July 2021},
pages = {65--67},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3464971.3468417},
doi = {10.1145/3464971.3468417},
timestamp = {Thu, 03 Feb 2022 13:54:50 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/Cok21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/NilizadehLLPC21,
author = {Amirfarhad Nilizadeh and
Gary T. Leavens and
Xuan{-}Bach Dinh Le and
Corina S. Pasareanu and
David R. Cok},
title = {Exploring True Test Overfitting in Dynamic Automated Program Repair
using Formal Methods},
booktitle = {14th {IEEE} Conference on Software Testing, Verification and Validation,
{ICST} 2021, Porto de Galinhas, Brazil, April 12-16, 2021},
pages = {229--240},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICST49551.2021.00033},
doi = {10.1109/ICST49551.2021.00033},
timestamp = {Fri, 22 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/NilizadehLLPC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2021ftfjp,
editor = {David R. Cok},
title = {FTfJP 2021: Proceedings of the 23rd {ACM} International Workshop on
Formal Techniques for Java-like Programs, Virtual Event, Denmark,
13 July 2021},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3464971},
doi = {10.1145/3464971},
isbn = {978-1-4503-8543-5},
timestamp = {Thu, 03 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/2021ftfjp.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-06847,
author = {John L. Singleton and
Gary T. Leavens and
Hridesh Rajan and
David R. Cok},
title = {Inferring Concise Specifications of APIs},
journal = {CoRR},
volume = {abs/1905.06847},
year = {2019},
url = {http://arxiv.org/abs/1905.06847},
eprinttype = {arXiv},
eprint = {1905.06847},
timestamp = {Tue, 28 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-06847.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/SingletonLRC18,
author = {John L. Singleton and
Gary T. Leavens and
Hridesh Rajan and
David R. Cok},
editor = {Michel Chaudron and
Ivica Crnkovic and
Marsha Chechik and
Mark Harman},
title = {An algorithm and tool to infer practical postconditions},
booktitle = {Proceedings of the 40th International Conference on Software Engineering:
Companion Proceeedings, {ICSE} 2018, Gothenburg, Sweden, May 27 -
June 03, 2018},
pages = {313--314},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3183440.3194986},
doi = {10.1145/3183440.3194986},
timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/SingletonLRC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/MauricaCS18,
author = {Fonenantsoa Maurica and
David R. Cok and
Julien Signoles},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Runtime Assertion Checking and Static Verification: Collaborative
Partners},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Verification - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {11245},
pages = {75--91},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03421-4\_6},
doi = {10.1007/978-3-030-03421-4\_6},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/isola/MauricaCS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Cok18,
author = {David R. Cok},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Java Automated Deductive Verification in Practice: Lessons from Industrial
Proof-Based Projects},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {11247},
pages = {176--193},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03427-6\_16},
doi = {10.1007/978-3-030-03427-6\_16},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/isola/Cok18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Cok18,
author = {David R. Cok},
editor = {Julian Dolby and
William G. J. Halfond and
Ashish Mishra},
title = {Reasoning about functional programming in Java and {C++}},
booktitle = {Companion Proceedings for the {ISSTA/ECOOP} 2018 Workshops, {ISSTA}
2018, Amsterdam, Netherlands, July 16-21, 2018},
pages = {37--39},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236454.3236483},
doi = {10.1145/3236454.3236483},
timestamp = {Thu, 10 Jan 2019 08:02:16 +0100},
biburl = {https://dblp.org/rec/conf/issta/Cok18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/CokT18,
author = {David R. Cok and
Serdar Tasiran},
editor = {Ruzica Piskac and
Philipp R{\"{u}}mmer},
title = {Practical Methods for Reasoning About Java 8's Functional Programming
Features},
booktitle = {Verified Software. Theories, Tools, and Experiments - 10th International
Conference, {VSTTE} 2018, Oxford, UK, July 18-19, 2018, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {11294},
pages = {267--278},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03592-1\_15},
doi = {10.1007/978-3-030-03592-1\_15},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/vstte/CokT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/CokSW15,
author = {David R. Cok and
Aaron Stump and
Tjark Weber},
title = {The 2013 Evaluation of {SMT-COMP} and {SMT-LIB}},
journal = {J. Autom. Reason.},
volume = {55},
number = {1},
pages = {61--90},
year = {2015},
url = {https://doi.org/10.1007/s10817-015-9328-2},
doi = {10.1007/S10817-015-9328-2},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/CokSW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsat/SighireanuC14,
author = {Mihaela Sighireanu and
David R. Cok},
title = {Report on {SL-COMP} 2014},
journal = {J. Satisf. Boolean Model. Comput.},
volume = {9},
number = {1},
pages = {173--186},
year = {2014},
url = {https://doi.org/10.3233/sat190107},
doi = {10.3233/SAT190107},
timestamp = {Mon, 17 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsat/SighireanuC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsat/CokDW14,
author = {David R. Cok and
David D{\'{e}}harbe and
Tjark Weber},
title = {The 2014 {SMT} Competition},
journal = {J. Satisf. Boolean Model. Comput.},
volume = {9},
number = {1},
pages = {207--242},
year = {2014},
url = {https://doi.org/10.3233/sat190109},
doi = {10.3233/SAT190109},
timestamp = {Mon, 17 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsat/CokDW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/CokJ14,
author = {David R. Cok and
Scott C. Johnson},
editor = {Catherine Dubois and
Dimitra Giannakopoulou and
Dominique M{\'{e}}ry},
title = {{SPEEDY:} An Eclipse-based {IDE} for invariant inference},
booktitle = {Proceedings 1st Workshop on Formal Integrated Development Environment,
{F-IDE} 2014, Grenoble, France, April 6, 2014},
series = {{EPTCS}},
volume = {149},
pages = {44--57},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.149.5},
doi = {10.4204/EPTCS.149.5},
timestamp = {Wed, 12 Sep 2018 01:05:12 +0200},
biburl = {https://dblp.org/rec/journals/corr/CokJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Cok14,
author = {David R. Cok},
editor = {Catherine Dubois and
Dimitra Giannakopoulou and
Dominique M{\'{e}}ry},
title = {OpenJML: Software verification for Java 7 using JML, OpenJDK, and
Eclipse},
booktitle = {Proceedings 1st Workshop on Formal Integrated Development Environment,
{F-IDE} 2014, Grenoble, France, April 6, 2014},
series = {{EPTCS}},
volume = {149},
pages = {79--92},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.149.8},
doi = {10.4204/EPTCS.149.8},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Cok14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/MenziesBCMLSTZ13,
author = {Tim Menzies and
Andrew Butcher and
David R. Cok and
Andrian Marcus and
Lucas Layman and
Forrest Shull and
Burak Turhan and
Thomas Zimmermann},
title = {Local versus Global Lessons for Defect Prediction and Effort Estimation},
journal = {{IEEE} Trans. Software Eng.},
volume = {39},
number = {6},
pages = {822--834},
year = {2013},
url = {https://doi.org/10.1109/TSE.2012.83},
doi = {10.1109/TSE.2012.83},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/MenziesBCMLSTZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/KocaguneliMKCM13,
author = {Ekrem Kocaguneli and
Tim Menzies and
Jacky Keung and
David R. Cok and
Raymond J. Madachy},
title = {Active Learning and Effort Estimation: Finding the Essential Content
of Software Effort Estimation Data},
journal = {{IEEE} Trans. Software Eng.},
volume = {39},
number = {8},
pages = {1040--1053},
year = {2013},
url = {https://doi.org/10.1109/TSE.2012.88},
doi = {10.1109/TSE.2012.88},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/KocaguneliMKCM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/CokGBD12,
author = {David R. Cok and
Alberto Griggio and
Roberto Bruttomesso and
Morgan Deters},
editor = {Pascal Fontaine and
Amit Goel},
title = {The 2012 {SMT} Competition},
booktitle = {10th International Workshop on Satisfiability Modulo Theories, {SMT}
2012, Manchester, UK, June 30 - July 1, 2012},
series = {EPiC Series in Computing},
volume = {20},
pages = {131--142},
publisher = {EasyChair},
year = {2012},
url = {https://doi.org/10.29007/gj66},
doi = {10.29007/GJ66},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/CokGBD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/MenziesBMZC11,
author = {Tim Menzies and
Andrew Butcher and
Andrian Marcus and
Thomas Zimmermann and
David R. Cok},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Local vs. global models for effort estimation and defect prediction},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {343--351},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100072},
doi = {10.1109/ASE.2011.6100072},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/MenziesBMZC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/Cok11,
author = {David R. Cok},
editor = {Mihaela Gheorghiu Bobaru and
Klaus Havelund and
Gerard J. Holzmann and
Rajeev Joshi},
title = {OpenJML: {JML} for Java 7 by Extending OpenJDK},
booktitle = {{NASA} Formal Methods - Third International Symposium, {NFM} 2011,
Pasadena, CA, USA, April 18-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6617},
pages = {472--479},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20398-5\_35},
doi = {10.1007/978-3-642-20398-5\_35},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/nfm/Cok11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/Cok11a,
author = {David R. Cok},
editor = {Mihaela Gheorghiu Bobaru and
Klaus Havelund and
Gerard J. Holzmann and
Rajeev Joshi},
title = {jSMTLIB: Tutorial, Validation and Adapter Tools for SMT-LIBv2},
booktitle = {{NASA} Formal Methods - Third International Symposium, {NFM} 2011,
Pasadena, CA, USA, April 18-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6617},
pages = {480--486},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20398-5\_36},
doi = {10.1007/978-3-642-20398-5\_36},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/Cok11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/Cok10,
author = {David R. Cok},
title = {Improved usability and performance of {SMT} solvers for debugging
specifications},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {12},
number = {6},
pages = {467--481},
year = {2010},
url = {https://doi.org/10.1007/s10009-010-0138-x},
doi = {10.1007/S10009-010-0138-X},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/Cok10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Cok06,
author = {David R. Cok},
title = {Specifying java iterators with {JML} and Esc/Java2},
booktitle = {Proceedings of the 2006 Conference on Specification and Verification
of Component-Based Systems, {SAVCBS} '06, Portland, Oregon, USA, November
10-11, 2006},
pages = {71--74},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1181195.1181210},
doi = {10.1145/1181195.1181210},
timestamp = {Thu, 10 Feb 2022 15:29:19 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/Cok06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/Cok05,
author = {David R. Cok},
title = {Reasoning with specifications containing method calls and model fields},
journal = {J. Object Technol.},
volume = {4},
number = {8},
pages = {77--103},
year = {2005},
url = {https://doi.org/10.5381/jot.2005.4.8.a4},
doi = {10.5381/JOT.2005.4.8.A4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/Cok05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/LeavensCCRC05,
author = {Gary T. Leavens and
Yoonsik Cheon and
Curtis Clifton and
Clyde Ruby and
David R. Cok},
title = {How the design of {JML} accommodates both runtime assertion checking
and formal verification},
journal = {Sci. Comput. Program.},
volume = {55},
number = {1-3},
pages = {185--208},
year = {2005},
url = {https://doi.org/10.1016/j.scico.2004.05.015},
doi = {10.1016/J.SCICO.2004.05.015},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/LeavensCCRC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BurdyCCEKLLP05,
author = {Lilian Burdy and
Yoonsik Cheon and
David R. Cok and
Michael D. Ernst and
Joseph R. Kiniry and
Gary T. Leavens and
K. Rustan M. Leino and
Erik Poll},
title = {An overview of {JML} tools and applications},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {7},
number = {3},
pages = {212--232},
year = {2005},
url = {https://doi.org/10.1007/s10009-004-0167-4},
doi = {10.1007/S10009-004-0167-4},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BurdyCCEKLLP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cassis/CokK04,
author = {David R. Cok and
Joseph Kiniry},
editor = {Gilles Barthe and
Lilian Burdy and
Marieke Huisman and
Jean{-}Louis Lanet and
Traian Muntean},
title = {ESC/Java2: Uniting ESC/Java and {JML}},
booktitle = {Construction and Analysis of Safe, Secure, and Interoperable Smart
Devices, International Workshop, {CASSIS} 2004, Marseille, France,
March 10-14, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3362},
pages = {108--128},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30569-9\_6},
doi = {10.1007/978-3-540-30569-9\_6},
timestamp = {Fri, 09 Apr 2021 18:40:44 +0200},
biburl = {https://dblp.org/rec/conf/cassis/CokK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BurdyCCEKLLP03,
author = {Lilian Burdy and
Yoonsik Cheon and
David R. Cok and
Michael D. Ernst and
Joseph Kiniry and
Gary T. Leavens and
K. Rustan M. Leino and
Erik Poll},
editor = {Thomas Arts and
Wan J. Fokkink},
title = {An overview of {JML} tools and applications},
booktitle = {Eighth International Workshop on Formal Methods for Industrial Critical
Systems, {FMICS} 2003, Roros, Norway, June 5-7, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {80},
pages = {75--91},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)80810-7},
doi = {10.1016/S1571-0661(04)80810-7},
timestamp = {Tue, 06 Dec 2022 10:12:25 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BurdyCCEKLLP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/LeavensCCRC02,
author = {Gary T. Leavens and
Yoonsik Cheon and
Curtis Clifton and
Clyde Ruby and
David R. Cok},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {How the Design of {JML} Accomodates Both Runtime Assertion Checking
and Formal Verification},
booktitle = {Formal Methods for Components and Objects, First International Symposium,
{FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {2852},
pages = {262--284},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-39656-7\_11},
doi = {10.1007/978-3-540-39656-7\_11},
timestamp = {Sun, 02 Jun 2019 21:14:42 +0200},
biburl = {https://dblp.org/rec/conf/fmco/LeavensCCRC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsp/LeeC91,
author = {Hsien{-}Che Lee and
David R. Cok},
title = {Detecting boundaries in a vector field},
journal = {{IEEE} Trans. Signal Process.},
volume = {39},
number = {5},
pages = {1181--1194},
year = {1991},
url = {https://doi.org/10.1109/78.80971},
doi = {10.1109/78.80971},
timestamp = {Tue, 10 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tsp/LeeC91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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 2023-10-28 21:35 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:
