On the Relationship between Code Verifiability and Understandability-Reference-Cited by-同舟云学术

On the Relationship between Code Verifiability and Understandability

Published:2023-11-30 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
language:
Short-container-title:

Author:

Feldman Kobi¹,Kellogg Martin²,Chaparro Oscar¹

Affiliation:

1. College of William and Mary, Williamsburg, USA

2. New Jersey Institute of Technology, Newark, USA

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3611643.3616242

Reference106 articles.

1. Amine Abbad-Andaloussi , Thierry Sorg , and Barbara Weber . 2022 . Estimating Developers' Cognitive Load at a Fine-grained Level Using Eye-tracking Measures . In Intl. Conf. on Prog. Compr. (ICPC). 111-121 . Amine Abbad-Andaloussi, Thierry Sorg, and Barbara Weber. 2022. Estimating Developers' Cognitive Load at a Fine-grained Level Using Eye-tracking Measures. In Intl. Conf. on Prog. Compr. (ICPC). 111-121.

2. Nahla J. Abid , Bonita Sharif , Natalia Dragan , Hend Alrasheed , and Jonathan I. Maletic . 2019 . Developer Reading Behavior While Summarizing Java Methods: Size and Context Matters. In Intl. Conf. on Soft. Eng. (ICSE). 384-395 . Nahla J. Abid, Bonita Sharif, Natalia Dragan, Hend Alrasheed, and Jonathan I. Maletic. 2019. Developer Reading Behavior While Summarizing Java Methods: Size and Context Matters. In Intl. Conf. on Soft. Eng. (ICSE). 384-395.

3. Shulamyt Ajami , Yonatan Woodbridge , and Dror G . Feitelson . 2019 . Syntax, predicates, idioms-what really affects code complexity? Emp. Soft. Eng . 24, 1 ( 2019 ), 287-328. Shulamyt Ajami, Yonatan Woodbridge, and Dror G. Feitelson. 2019. Syntax, predicates, idioms-what really affects code complexity? Emp. Soft. Eng. 24, 1 ( 2019 ), 287-328.

4. Erik Ammerlaan , Wim Veninga , and Andy Zaidman . 2015 . Old habits die hard: Why refactoring for understandability does not give immediate benefits . In Intl. Conf. on Soft. Analysis, Evolution, and ReEng. (SANER). 504-507 . Erik Ammerlaan, Wim Veninga, and Andy Zaidman. 2015. Old habits die hard: Why refactoring for understandability does not give immediate benefits. In Intl. Conf. on Soft. Analysis, Evolution, and ReEng. (SANER). 504-507.

5. Vard Antinyan . 2020. Evaluating Essential and Accidental Code Complexity Triggers by Practitioners' Perception . IEEE Soft . 37, 6 ( 2020 ), 86-93. Vard Antinyan. 2020. Evaluating Essential and Accidental Code Complexity Triggers by Practitioners' Perception. IEEE Soft. 37, 6 ( 2020 ), 86-93.