What do we know about readability of test code?-a systematic mapping study
The readability of software code is a key success criterion for understanding and
maintaining software systems and tests. In industry practice, a limited number of guidelines …
maintaining software systems and tests. In industry practice, a limited number of guidelines …
Enhancing the capability of testing-based formal verification by handling operations in software packages
A Liu, S Liu - IEEE Transactions on Software Engineering, 2022 - ieeexplore.ieee.org
Testing a program based on its specification is necessary to ensure that the program meets
its desired functionality. Formal methods, based on some mathematical theories, are often …
its desired functionality. Formal methods, based on some mathematical theories, are often …
Investigating the readability of test code
Context The readability of source code is key for understanding and maintaining software
systems and tests. Although several studies investigate the readability of source code, there …
systems and tests. Although several studies investigate the readability of source code, there …