Translating code comments to procedure specifications

A Blasi, A Goffi, K Kuznetsov, A Gorla… - Proceedings of the 27th …, 2018 - dl.acm.org
Procedure specifications are useful in many software development tasks. As one example,
in automatic test case generation they can guide testing, act as test oracles able to reveal …
被引用次数：128 相关文章

[引用][C] Translating code comments to procedure specifications

A Blasi, A Goffi, K Kuznetsov, A Gorla, MD Ernst… - Proceedings of the 27th … - folia.unifr.ch
Translating code comments to procedure specifications SONAR logo Log in Sign up EN
English Français Deutsch Italiano Back Translating code comments to procedure specifications …
[PDF] washington.edu

[PDF][PDF] Translating Code Comments to Procedure Specifications

A Blasi, A Goffi, K Kuznetsov, A Gorla, MD Ernst… - 2018 - homes.cs.washington.edu
Procedure specifications are useful in many software development tasks. As one example,
in automatic test case generation they can guide testing, act as test oracles able to reveal …

[引用][C] Translating code comments to procedure specifications

A Blasi, A Goffi, K Kuznetsov, A Gorla… - Proceedings of the 27th …, 2018 - cir.nii.ac.jp
Translating code comments to procedure specifications | CiNii Research CiNii 国立情報学
研究所 学術情報ナビゲータ[サイニィ] 詳細へ移動 検索フォームへ移動 論文・データをさがす 大学 …
[PDF] academia.edu

[PDF][PDF] Translating Code Comments to Procedure Specifications

A Blasi, A Goffi, K Kuznetsov, A Gorla, MD Ernst… - 2018 - academia.edu
Procedure specifications are useful in many software development tasks. As one example,
in automatic test case generation they can guide testing, act as test oracles able to reveal …
[PDF] imdea.org

[PDF][PDF] Translating Code Comments to Procedure Specifications

A Blasi, A Goffi, K Kuznetsov, A Gorla, MD Ernst… - 2018 - software.imdea.org
Procedure specifications are useful in many software development tasks. As one example,
in automatic test case generation they can guide testing, act as test oracles able to reveal …
[PDF] usi.ch

[PDF][PDF] Translating Code Comments to Procedure Specifications

A Blasi, A Goffi, K Kuznetsov, A Gorla, MD Ernst… - 2018 - star.inf.usi.ch
Procedure specifications are useful in many software development tasks. As one example,
in automatic test case generation they can guide testing, act as test oracles able to reveal …
[PDF] washington.edu

[PDF][PDF] Translating Code Comments to Procedure Specifications

A Blasi - homes.cs.washington.edu
Translating Code Comments to Procedure Specifications Page 1 Translating Code Comments
to Procedure Specifications Arianna Blasi♦♥ · Alberto Goffi♦ · Konstantin Kuznetsov♣ …