Search dblp for Publications

• > Home > Search

@article{DBLP:journals/scp/CarvalhoM21,
  author       = {Gustavo Carvalho and
                  Igor Meira},
  title        = {Validating, verifying and testing timed data-flow reactive systems
                  in Coq from controlled natural-language requirements},
  journal      = {Sci. Comput. Program.},
  volume       = {201},
  pages        = {102537},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.scico.2020.102537},
  doi          = {10.1016/J.SCICO.2020.102537},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/CarvalhoM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/CorreiaIM21,
  author       = {Alexandre R. S. Correia and
                  Juliano Iyoda and
                  Alexandre Mota},
  title        = {A family of multi-concept program synthesisers in Alloy\({}^{\mbox{{\unicode{8270}}}}\)},
  journal      = {Sci. Comput. Program.},
  volume       = {201},
  pages        = {102536},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.scico.2020.102536},
  doi          = {10.1016/J.SCICO.2020.102536},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/CorreiaIM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/DuranW21,
  author       = {Adolfo Duran and
                  Philip Wadler},
  title        = {Preface - 22nd Brazilian Symposium on Formal Methods - {SBMF} 2019},
  journal      = {Sci. Comput. Program.},
  volume       = {201},
  pages        = {102565},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.scico.2020.102565},
  doi          = {10.1016/J.SCICO.2020.102565},
  timestamp    = {Tue, 24 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/DuranW21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/FigueroaLF21,
  author       = {Ismael Figueroa and
                  Paul Leger and
                  Hiroaki Fukuda},
  title        = {Which monads Haskell developers use: An exploratory study},
  journal      = {Sci. Comput. Program.},
  volume       = {201},
  pages        = {102523},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.scico.2020.102523},
  doi          = {10.1016/J.SCICO.2020.102523},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/FigueroaLF21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/YanZDWYYZ21,
  author       = {Jiwei Yan and
                  Hao Zhou and
                  Xi Deng and
                  Ping Wang and
                  Rongjie Yan and
                  Jun Yan and
                  Jian Zhang},
  title        = {Efficient testing of {GUI} applications by event sequence reduction},
  journal      = {Sci. Comput. Program.},
  volume       = {201},
  pages        = {102522},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.scico.2020.102522},
  doi          = {10.1016/J.SCICO.2020.102522},
  timestamp    = {Tue, 18 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/YanZDWYYZ21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}