default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Mark Utting
@inproceedings{DBLP:conf/cpp/WebbHU23,
author = {Brae J. Webb and
Ian J. Hayes and
Mark Utting},
editor = {Robbert Krebbers and
Dmitriy Traytel and
Brigitte Pientka and
Steve Zdancewic},
title = {Verifying Term Graph Optimizations using Isabelle/HOL},
booktitle = {Proceedings of the 12th {ACM} {SIGPLAN} International Conference on
Certified Programs and Proofs, {CPP} 2023, Boston, MA, USA, January
16-17, 2023},
pages = {320--333},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3573105.3575673},
doi = {10.1145/3573105.3575673},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpp/WebbHU23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/HayesUW23,
author = {Ian J. Hayes and
Mark Utting and
Brae J. Webb},
editor = {Yi Li and
Sofi{\`{e}}ne Tahar},
title = {Verifying Compiler Optimisations - (Invited Paper)},
booktitle = {Formal Methods and Software Engineering - 24th International Conference
on Formal Engineering Methods, {ICFEM} 2023, Brisbane, QLD, Australia,
November 21-24, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14308},
pages = {3--8},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-981-99-7584-6\_1},
doi = {10.1007/978-981-99-7584-6\_1},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/HayesUW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse-formalise/UttingWH23,
author = {Mark Utting and
Brae J. Webb and
Ian J. Hayes},
title = {Differential Testing of a Verification Framework for Compiler Optimizations
(Case Study)},
booktitle = {11th {IEEE/ACM} International Conference on Formal Methods in Software
Engineering, FormaliSE 2023, Melbourne, Australia, May 14-15, 2023},
pages = {66--75},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/FormaliSE58978.2023.00015},
doi = {10.1109/FORMALISE58978.2023.00015},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse-formalise/UttingWH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msr/ScarsbrookUK23,
author = {Joshua D. Scarsbrook and
Mark Utting and
Ryan K. L. Ko},
title = {TypeScript's Evolution: An Analysis of Feature Adoption Over Time},
booktitle = {20th {IEEE/ACM} International Conference on Mining Software Repositories,
{MSR} 2023, Melbourne, Australia, May 15-16, 2023},
pages = {109--114},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/MSR59073.2023.00027},
doi = {10.1109/MSR59073.2023.00027},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/msr/ScarsbrookUK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-09802,
author = {Joshua D. Scarsbrook and
Mark Utting and
Ryan K. L. Ko},
title = {TypeScript's Evolution: An Analysis of Feature Adoption Over Time},
journal = {CoRR},
volume = {abs/2303.09802},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.09802},
doi = {10.48550/ARXIV.2303.09802},
eprinttype = {arXiv},
eprint = {2303.09802},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-09802.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/PearceUG22,
author = {David J. Pearce and
Mark Utting and
Lindsay Groves},
title = {Verifying Whiley Programs with Boogie},
journal = {J. Autom. Reason.},
volume = {66},
number = {4},
pages = {747--803},
year = {2022},
url = {https://doi.org/10.1007/s10817-022-09619-1},
doi = {10.1007/S10817-022-09619-1},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jar/PearceUG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-01748,
author = {Mark Utting and
Brae J. Webb and
Ian J. Hayes},
title = {Differential Testing of a Verification Framework for Compiler Optimizations
(Experience Paper)},
journal = {CoRR},
volume = {abs/2212.01748},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.01748},
doi = {10.48550/ARXIV.2212.01748},
eprinttype = {arXiv},
eprint = {2212.01748},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-01748.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-06956,
author = {Brae J. Webb and
Ian J. Hayes and
Mark Utting},
title = {Verifying term graph optimizations using Isabelle/HOL},
journal = {CoRR},
volume = {abs/2212.06956},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.06956},
doi = {10.48550/ARXIV.2212.06956},
eprinttype = {arXiv},
eprint = {2212.06956},
timestamp = {Mon, 02 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-06956.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/WengMU21,
author = {Min{-}Hsien Weng and
Robi Malik and
Mark Utting},
title = {Automatic proofs of memory deallocation for a Whiley-to-C Compiler},
journal = {Formal Methods Syst. Des.},
volume = {57},
number = {3},
pages = {429--472},
year = {2021},
url = {https://doi.org/10.1007/s10703-021-00378-0},
doi = {10.1007/S10703-021-00378-0},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/WengMU21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/WebbUH21,
author = {Brae J. Webb and
Mark Utting and
Ian J. Hayes},
editor = {Zhe Hou and
Vijay Ganesh},
title = {A Formal Semantics of the GraalVM Intermediate Representation},
booktitle = {Automated Technology for Verification and Analysis - 19th International
Symposium, {ATVA} 2021, Gold Coast, QLD, Australia, October 18-22,
2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12971},
pages = {111--126},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88885-5\_8},
doi = {10.1007/978-3-030-88885-5\_8},
timestamp = {Mon, 01 Jul 2024 10:37:52 +0200},
biburl = {https://dblp.org/rec/conf/atva/WebbUH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-14457,
author = {Mark Utting and
Liam Kent},
title = {Verification of a Smart Contract for a Simple Casino},
journal = {CoRR},
volume = {abs/2106.14457},
year = {2021},
url = {https://arxiv.org/abs/2106.14457},
eprinttype = {arXiv},
eprint = {2106.14457},
timestamp = {Wed, 30 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-14457.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-01815,
author = {Brae J. Webb and
Mark Utting and
Ian J. Hayes},
title = {A Formal Semantics of the GraalVM Intermediate Representation},
journal = {CoRR},
volume = {abs/2107.01815},
year = {2021},
url = {https://arxiv.org/abs/2107.01815},
eprinttype = {arXiv},
eprint = {2107.01815},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-01815.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aitest/UttingLDTB20,
author = {Mark Utting and
Bruno Legeard and
Fr{\'{e}}d{\'{e}}ric Dadeau and
Fr{\'{e}}d{\'{e}}ric Tamagnan and
Fabrice Bouquet},
title = {Identifying and Generating Missing Tests using Machine Learning on
Execution Traces},
booktitle = {{IEEE} International Conference On Artificial Intelligence Testing,
AITest 2020, Oxford, UK, August 3-6, 2020},
pages = {83--90},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/AITEST49225.2020.00020},
doi = {10.1109/AITEST49225.2020.00020},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aitest/UttingLDTB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/ElodieBALU20,
author = {{\'{E}}lodie Bernard and
Julien Botella and
Fabrice Ambert and
Bruno Legeard and
Mark Utting},
title = {Tool Support for Refactoring Manual Tests},
booktitle = {13th {IEEE} International Conference on Software Testing, Validation
and Verification, {ICST} 2020, Porto, Portugal, October 24-28, 2020},
pages = {332--342},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICST46399.2020.00041},
doi = {10.1109/ICST46399.2020.00041},
timestamp = {Wed, 05 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/ElodieBALU20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setss/PearceUG18,
author = {David J. Pearce and
Mark Utting and
Lindsay Groves},
editor = {Jonathan P. Bowen and
Zhiming Liu and
Zili Zhang},
title = {An Introduction to Software Verification with Whiley},
booktitle = {Engineering Trustworthy Software Systems - 4th International School,
{SETSS} 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {11430},
pages = {1--37},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-17601-3\_1},
doi = {10.1007/978-3-030-17601-3\_1},
timestamp = {Wed, 26 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setss/PearceUG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsw/WengPU17,
author = {Min{-}Hsien Weng and
Bernhard Pfahringer and
Mark Utting},
title = {Static techniques for reducing memory usage in the {C} implementation
of whiley programs},
booktitle = {Proceedings of the Australasian Computer Science Week Multiconference,
{ACSW} 2017, Geelong, Australia, January 31 - February 3, 2017},
pages = {15:1--15:8},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3014812.3014827},
doi = {10.1145/3014812.3014827},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsw/WengPU17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/UttingPG17,
author = {Mark Utting and
David J. Pearce and
Lindsay Groves},
editor = {Nadia Polikarpova and
Steve A. Schneider},
title = {Making Whiley Boogie!},
booktitle = {Integrated Formal Methods - 13th International Conference, {IFM} 2017,
Turin, Italy, September 20-22, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10510},
pages = {69--84},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66845-1\_5},
doi = {10.1007/978-3-319-66845-1\_5},
timestamp = {Wed, 26 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/UttingPG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ac/UttingLBFPV16,
author = {Mark Utting and
Bruno Legeard and
Fabrice Bouquet and
Elizabeta Fourneret and
Fabien Peureux and
Alexandre Vernotte},
title = {Recent Advances in Model-Based Testing},
journal = {Adv. Comput.},
volume = {101},
pages = {53--120},
year = {2016},
url = {https://doi.org/10.1016/bs.adcom.2015.11.004},
doi = {10.1016/BS.ADCOM.2015.11.004},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ac/UttingLBFPV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/casm/BoulaireUD15,
author = {Fanny Boulaire and
Mark Utting and
Robin Drogemuller},
title = {Dynamic agent composition for large-scale agent-based models},
journal = {Complex Adapt. Syst. Model.},
volume = {3},
pages = {1},
year = {2015},
url = {https://doi.org/10.1186/s40294-015-0007-2},
doi = {10.1186/S40294-015-0007-2},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/casm/BoulaireUD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/envsoft/BoulaireUD15,
author = {Fanny Boulaire and
Mark Utting and
Robin Drogemuller},
title = {Impact of technology uptake on an Australian electricity distribution
network},
journal = {Environ. Model. Softw.},
volume = {69},
pages = {196--213},
year = {2015},
url = {https://doi.org/10.1016/j.envsoft.2015.03.019},
doi = {10.1016/J.ENVSOFT.2015.03.019},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/envsoft/BoulaireUD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/WengUP16,
author = {Min{-}Hsien Weng and
Mark Utting and
Bernhard Pfahringer},
editor = {Christophe Gaston and
Pascale Le Gall and
Alexander K. Petrenko},
title = {Bound Analysis for Whiley Programs},
booktitle = {1st Workshop on Uses of Symbolic Execution, USE@FM 2015, Oslo, Norway,
June 23-25, 2015},
series = {Electronic Notes in Theoretical Computer Science},
volume = {320},
pages = {53--67},
publisher = {Elsevier},
year = {2015},
url = {https://doi.org/10.1016/j.entcs.2016.01.005},
doi = {10.1016/J.ENTCS.2016.01.005},
timestamp = {Thu, 10 Nov 2022 11:51:38 +0100},
biburl = {https://dblp.org/rec/journals/entcs/WengUP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pc/UttingWC14,
author = {Mark Utting and
Min{-}Hsien Weng and
John G. Cleary},
title = {The JStar language philosophy},
journal = {Parallel Comput.},
volume = {40},
number = {2},
pages = {35--50},
year = {2014},
url = {https://doi.org/10.1016/j.parco.2013.11.004},
doi = {10.1016/J.PARCO.2013.11.004},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pc/UttingWC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/BoulaireUD13,
author = {Fanny Boulaire and
Mark Utting and
Robin Drogemuller},
editor = {Dieter an Mey and
Michael Alexander and
Paolo Bientinesi and
Mario Cannataro and
Carsten Clauss and
Alexandru Costan and
Gabor Kecskemeti and
Christine Morin and
Laura Ricci and
Julio Sahuquillo and
Martin Schulz and
Vittorio Scarano and
Stephen L. Scott and
Josef Weidendorfer},
title = {Parallel {ABM} for Electricity Distribution Grids: {A} Case Study},
booktitle = {Euro-Par 2013: Parallel Processing Workshops - BigDataCloud, DIHC,
FedICI, HeteroPar, HiBB, LSDVE, MHPC, OMHI, PADABS, PROPER, Resilience,
ROME, and {UCHPC} 2013, Aachen, Germany, August 26-27, 2013. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8374},
pages = {565--574},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-54420-0\_55},
doi = {10.1007/978-3-642-54420-0\_55},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/europar/BoulaireUD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BoulaireUD13,
author = {Fanny Boulaire and
Mark Utting and
Robin Drogemuller},
title = {{MODAM:} {A} modular agent-based modelling framework},
booktitle = {2nd International Workshop on Software Engineering Challenges for
the Smart Grid, {SE4SG} 2013, San Francisco, CA, USA, May 18, 2013},
pages = {33--40},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/SE4SG.2013.6596109},
doi = {10.1109/SE4SG.2013.6596109},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/BoulaireUD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/UttingWC13,
author = {Mark Utting and
Min{-}Hsien Weng and
John G. Cleary},
editor = {Pavan Balaji and
Minyi Guo and
Zhiyi Huang},
title = {The JStar language philosophy},
booktitle = {Proceedings of the 2013 {PPOPP} International Workshop on Programming
Models and Applications for Multicores and Manycores, {PMAM} 2013,
Shenzhen, China, February 23, 2013},
pages = {31--41},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2442992.2442996},
doi = {10.1145/2442992.2442996},
timestamp = {Sun, 12 Jun 2022 19:46:08 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/UttingWC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/UttingPL12,
author = {Mark Utting and
Alexander Pretschner and
Bruno Legeard},
title = {A taxonomy of model-based testing approaches},
journal = {Softw. Test. Verification Reliab.},
volume = {22},
number = {5},
pages = {297--312},
year = {2012},
url = {https://doi.org/10.1002/stvr.456},
doi = {10.1002/STVR.456},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/UttingPL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsc/BoulaireUDLZ12,
author = {Fanny Boulaire and
Mark Utting and
Robin Drogemuller and
Gerard Ledwich and
Iman Ziari},
editor = {Oliver Rose and
Adelinde M. Uhrmacher},
title = {A hybrid simulation framework to assess the impact of renewable generators
on a distribution network},
booktitle = {Winter Simulation Conference, {WSC} '12, Berlin, Germany, December
9-12, 2012},
pages = {157:1--157:12},
publisher = {{WSC}},
year = {2012},
url = {https://doi.org/10.1109/WSC.2012.6465000},
doi = {10.1109/WSC.2012.6465000},
timestamp = {Thu, 10 Jun 2021 22:19:08 +0200},
biburl = {https://dblp.org/rec/conf/wsc/BoulaireUDLZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fi/MugridgeUS11,
author = {Rick Mugridge and
Mark Utting and
David Streader},
title = {EvolvingWeb-Based Test Automation into Agile Business Specifications},
journal = {Future Internet},
volume = {3},
number = {2},
pages = {159--174},
year = {2011},
url = {https://doi.org/10.3390/fi3020159},
doi = {10.3390/FI3020159},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fi/MugridgeUS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/tf/11/Utting11,
author = {Mark Utting},
editor = {Justyna Zander and
Ina Schieferdecker and
Pieter J. Mosterman},
title = {How to Design Extended Finite State Machine Test Models in Java},
booktitle = {Model-Based Testing for Embedded Systems},
series = {Computational Analysis, Synthesis, {\&} Design Dynamic Systems},
publisher = {{CRC} Press},
year = {2011},
url = {https://doi.org/10.1201/b11321-7},
doi = {10.1201/B11321-7},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/tf/11/Utting11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cjtcs/UttingMT10,
author = {Mark Utting and
Petra Malik and
Ian Toyn},
title = {Transformation Rules for {Z}},
journal = {Chic. J. Theor. Comput. Sci.},
volume = {2010},
year = {2010},
url = {http://cjtcs.cs.uchicago.edu/articles/CATS2009/6/contents.html},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cjtcs/UttingMT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cats/UttingMT09,
author = {Mark Utting and
Petra Malik and
Ian Toyn},
editor = {Rod Downey and
Prabhu Manyem},
title = {Transformation Rules for {Z}},
booktitle = {Theory of Computing 2009, Fifteenth Computing: The Australasian Theory
Symposium, {CATS} 2009, Wellington, New Zealand, January 2009},
series = {{CRPIT}},
volume = {94},
pages = {71--80},
publisher = {Australian Computer Society},
year = {2009},
url = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV94Utting.html},
timestamp = {Mon, 08 Feb 2021 13:26:47 +0100},
biburl = {https://dblp.org/rec/conf/cats/UttingMT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/AydalPUW09,
author = {Emine Gokce Aydal and
Richard F. Paige and
Mark Utting and
Jim Woodcock},
title = {Putting Formal Specifications under the Magnifying Glass: Model-based
Testing for Validation},
booktitle = {Second International Conference on Software Testing Verification and
Validation, {ICST} 2009, Denver, Colorado, USA, April 1-4, 2009},
pages = {131--140},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICST.2009.20},
doi = {10.1109/ICST.2009.20},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/AydalPUW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/UttingM08,
author = {Mark Utting and
Petra Malik},
editor = {Egon B{\"{o}}rger and
Michael J. Butler and
Jonathan P. Bowen and
Paul Boca},
title = {Unit Testing of {Z} Specifications},
booktitle = {Abstract State Machines, {B} and Z, First International Conference,
{ABZ} 2008, London, UK, September 16-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5238},
pages = {309--322},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87603-8\_24},
doi = {10.1007/978-3-540-87603-8\_24},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/asm/UttingM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/AydalUW08,
author = {Emine Gokce Aydal and
Mark Utting and
Jim Woodcock},
editor = {Richard F. Paige and
Bertrand Meyer},
title = {A Comparison of State-Based Modelling Tools for Model Validation},
booktitle = {Objects, Components, Models and Patterns, 46th International Conference,
{TOOLS} {EUROPE} 2008, Zurich, Switzerland, June 30 - July 4, 2008.
Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {11},
pages = {278--296},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-69824-1\_16},
doi = {10.1007/978-3-540-69824-1\_16},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tools/AydalUW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0023861,
author = {Mark Utting and
Bruno Legeard},
title = {Practical Model-Based Testing - {A} Tools Approach},
publisher = {Morgan Kaufmann},
year = {2007},
url = {http://www.elsevierdirect.com/product.jsp?isbn=9780123725011},
isbn = {978-0-12-372501-1},
timestamp = {Wed, 23 Mar 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/daglib/0023861.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amost/BouquetGLPVU07,
author = {Fabrice Bouquet and
Christophe Grandpierre and
Bruno Legeard and
Fabien Peureux and
Nicolas Vacelet and
Mark Utting},
title = {A subset of precise {UML} for model-based testing},
booktitle = {Proceedings of the 3rd Workshop on Advances in Model Based Testing,
{A-MOST} 2007, co-located with the {ISSTA} 2007 International Symposium
on Software Testing and Analysis, London, United Kingdom, July 9-12},
pages = {95--104},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1291535.1291545},
doi = {10.1145/1291535.1291545},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/amost/BouquetGLPVU07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsi/Utting06,
author = {Mark Utting},
title = {Un panorama du test {\`{a}} partir de mod{\`{e}}les formels},
journal = {Tech. Sci. Informatiques},
volume = {25},
number = {1},
pages = {133--139},
year = {2006},
url = {https://doi.org/10.3166/tsi.25.133-139},
doi = {10.3166/TSI.25.133-139},
timestamp = {Wed, 24 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsi/Utting06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/BernardBCLPUT06,
author = {Eddy Bernard and
Fabrice Bouquet and
Amandine Charbonnier and
Bruno Legeard and
Fabien Peureux and
Mark Utting and
Eric Torreborre},
editor = {Christian Hochberger and
R{\"{u}}diger Liskowsky},
title = {Model-Based Testing from {UML} Models},
booktitle = {36. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Informatik
f{\"{u}}r Menschen, {INFORMATIK} 2006, Dresden, Germany, October
2-6, 2006, Band 2},
series = {{LNI}},
volume = {{P-94}},
pages = {223--230},
publisher = {{GI}},
year = {2006},
url = {https://dl.gi.de/handle/20.500.12116/23514},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gi/BernardBCLPUT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/BouquetJLPU05,
author = {Fabrice Bouquet and
Eddie Jaffuel and
Bruno Legeard and
Fabien Peureux and
Mark Utting},
title = {Requirements traceability in automated test generation: application
to smart card software validation},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {30},
number = {4},
pages = {1--7},
year = {2005},
url = {https://doi.org/10.1145/1082983.1083282},
doi = {10.1145/1082983.1083282},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/BouquetJLPU05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amost/BouquetJLPU05,
author = {Fabrice Bouquet and
Eddie Jaffuel and
Bruno Legeard and
Fabien Peureux and
Mark Utting},
title = {Requirements traceability in automated test generation: application
to smart card software validation},
booktitle = {Proceedings of the {ICSE} 2005 Workshop on Advances in Model-Based
Software Testing, {A-MOST} 2005, St. Louis, Missouri, {USA}},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1083274.1083282},
doi = {10.1145/1083274.1083282},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/amost/BouquetJLPU05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BouquetDLU05,
author = {Fabrice Bouquet and
Fr{\'{e}}d{\'{e}}ric Dadeau and
Bruno Legeard and
Mark Utting},
editor = {John S. Fitzgerald and
Ian J. Hayes and
Andrzej Tarlecki},
title = {Symbolic Animation of {JML} Specifications},
booktitle = {{FM} 2005: Formal Methods, International Symposium of Formal Methods
Europe, Newcastle, UK, July 18-22, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3582},
pages = {75--90},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11526841\_7},
doi = {10.1007/11526841\_7},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/BouquetDLU05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/MillerFMU05,
author = {Tim Miller and
Leo Freitas and
Petra Malik and
Mark Utting},
editor = {Judi Romijn and
Graeme Smith and
Jaco van de Pol},
title = {{CZT} Support for {Z} Extensions},
booktitle = {Integrated Formal Methods, 5th International Conference, {IFM} 2005,
Eindhoven, The Netherlands, November 29 - December 2, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3771},
pages = {227--245},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11589976\_14},
doi = {10.1007/11589976\_14},
timestamp = {Sun, 26 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifm/MillerFMU05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BouquetDLU05,
author = {Fabrice Bouquet and
Fr{\'{e}}d{\'{e}}ric Dadeau and
Bruno Legeard and
Mark Utting},
editor = {Nicolas Halbwachs and
Lenore D. Zuck},
title = {JML-Testing-Tools: {A} Symbolic Animator for {JML} Specifications
Using {CLP}},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
11th International Conference, {TACAS} 2005, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2005,
Edinburgh, UK, April 4-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3440},
pages = {551--556},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31980-1\_37},
doi = {10.1007/978-3-540-31980-1\_37},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/BouquetDLU05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/Utting05,
author = {Mark Utting},
editor = {Bertrand Meyer and
Jim Woodcock},
title = {The Role of Model-Based Testing},
booktitle = {Verified Software: Theories, Tools, Experiments, First {IFIP} {TC}
2/WG 2.3 Conference, {VSTTE} 2005, Zurich, Switzerland, October 10-13,
2005, Revised Selected Papers and Discussions},
series = {Lecture Notes in Computer Science},
volume = {4171},
pages = {510--517},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-69149-5\_56},
doi = {10.1007/978-3-540-69149-5\_56},
timestamp = {Fri, 17 Feb 2023 09:02:02 +0100},
biburl = {https://dblp.org/rec/conf/vstte/Utting05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/MalikU05,
author = {Petra Malik and
Mark Utting},
editor = {Helen Treharne and
Steve King and
Martin C. Henson and
Steve A. Schneider},
title = {{CZT:} {A} Framework for {Z} Tools},
booktitle = {{ZB} 2005: Formal Specification and Development in {Z} and B, 4th
International Conference of {B} and {Z} Users, Guildford, UK, April
13-15, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3455},
pages = {65--84},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11415787\_5},
doi = {10.1007/11415787\_5},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/zum/MalikU05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/LegeardPU04,
author = {Bruno Legeard and
Fabien Peureux and
Mark Utting},
title = {Controlling test case explosion in test generation from {B} formal
models},
journal = {Softw. Test. Verification Reliab.},
volume = {14},
number = {2},
pages = {81--103},
year = {2004},
url = {https://doi.org/10.1002/stvr.287},
doi = {10.1002/STVR.287},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/LegeardPU04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/BouquetLUV04,
author = {Fabrice Bouquet and
Bruno Legeard and
Mark Utting and
Nicolas Vacelet},
editor = {Jim Davies and
Wolfram Schulte and
Michael Barnett},
title = {Faster Analysis of Formal Specifications},
booktitle = {Formal Methods and Software Engineering, 6th International Conference
on Formal Engineering Methods, {ICFEM} 2004, Seattle, WA, USA, November
8-12, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3308},
pages = {239--258},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30482-1\_24},
doi = {10.1007/978-3-540-30482-1\_24},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/BouquetLUV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/KosmatovLPU04,
author = {Nikolai Kosmatov and
Bruno Legeard and
Fabien Peureux and
Mark Utting},
title = {Boundary Coverage Criteria for Test Generation from Formal Models},
booktitle = {15th International Symposium on Software Reliability Engineering {(ISSRE}
2004), 2-5 November 2004, Saint-Malo, Bretagne, France},
pages = {139--150},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ISSRE.2004.12},
doi = {10.1109/ISSRE.2004.12},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/KosmatovLPU04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/UttingW03,
author = {Mark Utting and
Shaochun Wang},
editor = {Didier Bert and
Jonathan P. Bowen and
Steve King and
Marina Wald{\'{e}}n},
title = {Object Orientation without Extending {Z}},
booktitle = {{ZB} 2003: Formal Specification and Development in {Z} and B, Third
International Conference of {B} and {Z} Users, Turku, Finland, June
4-6, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2651},
pages = {319--338},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44880-2\_20},
doi = {10.1007/3-540-44880-2\_20},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/zum/UttingW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/UttingTSMDDC03,
author = {Mark Utting and
Ian Toyn and
Jing Sun and
Andrew P. Martin and
Jin Song Dong and
Nicholas Daley and
David W. Currie},
editor = {Didier Bert and
Jonathan P. Bowen and
Steve King and
Marina Wald{\'{e}}n},
title = {{ZML:} {XML} Support for Standard {Z}},
booktitle = {{ZB} 2003: Formal Specification and Development in {Z} and B, Third
International Conference of {B} and {Z} Users, Turku, Finland, June
4-6, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2651},
pages = {437--456},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44880-2\_26},
doi = {10.1007/3-540-44880-2\_26},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/zum/UttingTSMDDC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmsjcm/Utting0N02,
author = {Mark Utting and
Peter J. Robinson and
Ray Nickson},
title = {Ergo 6: {A} Generic Proof Engine that Uses Prolog Proof Technology},
journal = {{LMS} J. Comput. Math.},
volume = {5},
pages = {194--219},
year = {2002},
url = {https://doi.org/10.1112/s1461157000000759},
doi = {10.1112/S1461157000000759},
timestamp = {Sat, 27 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmsjcm/Utting0N02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/LegeardPU02,
author = {Bruno Legeard and
Fabien Peureux and
Mark Utting},
editor = {Lars{-}Henrik Eriksson and
Peter A. Lindsay},
title = {Automated Boundary Testing from {Z} and {B}},
booktitle = {{FME} 2002: Formal Methods - Getting {IT} Right, International Symposium
of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2391},
pages = {21--40},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45614-7\_2},
doi = {10.1007/3-540-45614-7\_2},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/LegeardPU02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/ClaytonCPU02,
author = {Roger Clayton and
John G. Cleary and
Bernhard Pfahringer and
Mark Utting},
editor = {Michael Leuschel},
title = {Tabling Structures for Bottom-Up Logic Programming},
booktitle = {Logic Based Program Synthesis and Tranformation, 12th International
Workshop, {LOPSTR} 2002, Madrid, Spain, September 17-20,2002, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2664},
pages = {50--51},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45013-0\_5},
doi = {10.1007/3-540-45013-0\_5},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lopstr/ClaytonCPU02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/LegeardPU02,
author = {Bruno Legeard and
Fabien Peureux and
Mark Utting},
editor = {Didier Bert and
Jonathan P. Bowen and
Martin C. Henson and
Ken Robinson},
title = {A Comparison of the {BTT} and {TTF} Test-Generation Methods},
booktitle = {{ZB} 2002: Formal Specification and Development in {Z} and B, 2nd
International Conference of {B} and {Z} Users, Grenoble, France, January
23-25, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2272},
pages = {309--329},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45648-1\_16},
doi = {10.1007/3-540-45648-1\_16},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/zum/LegeardPU02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/HayesU01,
author = {Ian J. Hayes and
Mark Utting},
title = {A sequential real-time refinement calculus},
journal = {Acta Informatica},
volume = {37},
number = {6},
pages = {385--448},
year = {2001},
url = {https://doi.org/10.1007/PL00013311},
doi = {10.1007/PL00013311},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/HayesU01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/UttingR01,
author = {Mark Utting and
Steve Reeves},
title = {Teaching formal methods lite via testing},
journal = {Softw. Test. Verification Reliab.},
volume = {11},
number = {3},
pages = {181--195},
year = {2001},
url = {https://doi.org/10.1002/stvr.223},
doi = {10.1002/STVR.223},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/UttingR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aswec/GrovesNRRU00,
author = {Lindsay Groves and
Ray Nickson and
Greg Reeve and
Steve Reeves and
Mark Utting},
title = {A Survey of Software Development Practices in the New Zealand Software
Industry},
booktitle = {12th Australian Software Engineering Conference {(ASWEC} 2000), 28-30
April 2000, Canberra, Australia},
pages = {189--202},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/ASWEC.2000.844576},
doi = {10.1109/ASWEC.2000.844576},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aswec/GrovesNRRU00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adc/SmithU99,
author = {Donald A. Smith and
Mark Utting},
editor = {John F. Roddick},
title = {Pseudo-Naive Evaluation},
booktitle = {Database Systems 99, Proceedings of the 10th Australasian Database
Conference, {ADC} '99, Auckland, New Zealand, 18-21 January 1999},
series = {Australian Computer Science Communications},
volume = {21},
number = {2},
pages = {211--223},
publisher = {Springer},
year = {1999},
timestamp = {Mon, 29 Sep 2014 17:13:50 +0200},
biburl = {https://dblp.org/rec/conf/adc/SmithU99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/SmithU98,
author = {Donald A. Smith and
Mark Utting},
editor = {Konstantinos Sagonas},
title = {Pseudo-Naive Evaluation: Mixing Top-down and Bottom-up Execution for
Strongly Stratified Logic Programs},
booktitle = {Proceedings of the International Workshop on Implementation Technology
for Programming Languages based on Logic, held in conjunction with
the Joint International Conference and Symposium on Logic Programming,
Manchester, UK, Saturday 20th June, 1998},
pages = {113--126},
year = {1998},
timestamp = {Wed, 20 Jun 2018 17:50:49 +0200},
biburl = {https://dblp.org/rec/conf/iclp/SmithU98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/HayesU98,
author = {Ian J. Hayes and
Mark Utting},
editor = {David Gries and
Willem P. de Roever},
title = {Deadlines are termination},
booktitle = {Programming Concepts and Methods, {IFIP} TC2/WG2.2,2.3 International
Conference on Programming Concepts and Methods {(PROCOMET} '98) 8-12
June 1998, Shelter Island, New York, {USA}},
series = {{IFIP} Conference Proceedings},
volume = {125},
pages = {186--204},
publisher = {Chapman {\&} Hall},
year = {1998},
timestamp = {Thu, 21 Nov 2002 11:12:21 +0100},
biburl = {https://dblp.org/rec/conf/procomet/HayesU98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/FidgeKU97,
author = {Colin J. Fidge and
Peter Kearney and
Mark Utting},
title = {A Formal Method for Building Concurrent Real-Time Software},
journal = {{IEEE} Softw.},
volume = {14},
number = {2},
pages = {99--106},
year = {1997},
url = {https://doi.org/10.1109/52.582979},
doi = {10.1109/52.582979},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/FidgeKU97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/FidgeUKH96,
author = {Colin J. Fidge and
Mark Utting and
Peter Kearney and
Ian J. Hayes},
editor = {Marie{-}Claude Gaudel and
Jim Woodcock},
title = {Integrating Real-Time Scheduling Theory and Program Refinement},
booktitle = {{FME} '96: Industrial Benefit and Advances in Formal Methods, Third
International Symposium of Formal Methods Europe, Co-Sponsored by
{IFIP} {WG} 14.3, Oxford, UK, March 18-22, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1051},
pages = {327--346},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-60973-3\_95},
doi = {10.1007/3-540-60973-3\_95},
timestamp = {Fri, 17 Feb 2023 09:02:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/FidgeUKH96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/Utting95,
author = {Mark Utting},
title = {Animating {Z:} Interactivity, Transparency and Equivalence},
booktitle = {2nd Asia-Pacific Software Engineering Conference {(APSEC} '95), December
6-9, 1995, Brisbane, Queensland, Australia},
pages = {294--303},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/APSEC.1995.496978},
doi = {10.1109/APSEC.1995.496978},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/Utting95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/FidgeKU95,
author = {Colin J. Fidge and
Peter Kearney and
Mark Utting},
editor = {Pierre Wolper},
title = {Interactively Verifying a Simple Real-time Scheduler},
booktitle = {Computer Aided Verification, 7th International Conference, Li{\`{e}}ge,
Belgium, July, 3-5, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {939},
pages = {395--408},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60045-0\_65},
doi = {10.1007/3-540-60045-0\_65},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/FidgeKU95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/KearneyU94,
author = {Peter Kearney and
Mark Utting},
editor = {Hans Langmaack and
Willem P. de Roever and
Jan Vytopil},
title = {A Layered Real-Time Specification of a {RISC} Processor},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
Symposium Organized Jointly with the Working Group Provably Correct
Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {863},
pages = {455--475},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58468-4\_178},
doi = {10.1007/3-540-58468-4\_178},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftrtft/KearneyU94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/UttingR92,
author = {Mark Utting and
Ken Robinson},
editor = {Richard S. Bird and
Carroll Morgan and
Jim Woodcock},
title = {Modular Reasoning in an Object-Oriented Refinement Calculus},
booktitle = {Mathematics of Program Construction, Second International Conference,
Oxford, UK, June 29 - July 3, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {669},
pages = {344--367},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56625-2\_22},
doi = {10.1007/3-540-56625-2\_22},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/conf/mpc/UttingR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refine/GrovesNU92,
author = {Lindsay Groves and
Raymond G. Nickson and
Mark Utting},
editor = {Cliff B. Jones and
Roger C. Shaw and
B. Tim Denvir},
title = {A Tactic Driven Refinement Tool},
booktitle = {5th Refinement Workshop, Proceedings of the 5th Refinement Workshop,
organised by BCS-FACS, London, 8-10 January 1992},
series = {Workshops in Computing},
pages = {272--297},
publisher = {Springer London},
year = {1992},
url = {https://doi.org/10.1007/978-1-4471-3550-0\_14},
doi = {10.1007/978-1-4471-3550-0\_14},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/refine/GrovesNU92.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-08-05 20:19 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:
