Search dblp for Publications

• > Home > Search

@article{DBLP:journals/scp/ArrudaBS20,
  author       = {Filipe Arruda and
                  Fl{\'{a}}via A. Barros and
                  Augusto Sampaio},
  title        = {Automation and consistency analysis of test cases written in natural
                  language: An industrial context},
  journal      = {Sci. Comput. Program.},
  volume       = {189},
  pages        = {102377},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.scico.2019.102377},
  doi          = {10.1016/J.SCICO.2019.102377},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/ArrudaBS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/GualandiI20,
  author       = {Hugo Musso Gualandi and
                  Roberto Ierusalimschy},
  title        = {Pallene: {A} companion language for Lua},
  journal      = {Sci. Comput. Program.},
  volume       = {189},
  pages        = {102393},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.scico.2020.102393},
  doi          = {10.1016/J.SCICO.2020.102393},
  timestamp    = {Thu, 09 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/GualandiI20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/ZhuBC20,
  author       = {Chenyang Zhu and
                  Michael J. Butler and
                  Corina C{\^{\i}}rstea},
  title        = {Formalizing hierarchical scheduling for refinement of real-time systems},
  journal      = {Sci. Comput. Program.},
  volume       = {189},
  pages        = {102390},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.scico.2020.102390},
  doi          = {10.1016/J.SCICO.2020.102390},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/ZhuBC20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}