ISSN Portal
The Keepers Registry (preservation)
SHERPA/RoMEO (access policies)
ACM Transactions on Software Engineering and Methodology
container_7dwkv5m7lfbbpi6he2w2suk6b4
Association for Computing Machinery
Homepage URLs
http://www.acm.org/pubs/contents/journals/tosem/ |
http://www.acm.org/pubs/tosem/ |
http://portal.acm.org/tosem |
https://tosem.acm.org/ |
Example Publications
Stateful Serverless Computing with <scp>Crucial</scp>
Daniel Barcelona-Pons, Pierre Sutra, Marc Sánchez-Artigas, Gerard París, Pedro García-López
2022
|
ACM Transactions on Software Engineering and Methodology
doi:10.1145/3490386
Verification of Programs Sensitive to Heap Layout
Henrich Lauko, Lukáš Korenčik, Petr Ročkai
2022
|
ACM Transactions on Software Engineering and Methodology
doi:10.1145/3508363
Toward More Efficient Statistical Debugging with Abstraction Refinement
Zhiqiang Zuo, Xintao Niu, Siyi Zhang, Lu Fang, Siau Cheng Khoo, Shan Lu, Chengnian Sun, Guoqing Harry Xu
2022
|
ACM Transactions on Software Engineering and Methodology
doi:10.1145/3544790
Testing, Validation, and Verification of Robotic and Autonomous Systems: A Systematic Review
Hugo Araujo, Mohammad Reza Mousavi, Mahsa Varshosaz
2022
|
ACM Transactions on Software Engineering and Methodology
doi:10.1145/3542945
Towards Learning Generalizable Code Embeddings using Task-agnostic Graph Convolutional Networks
Zishuo Ding, Heng Li, Weiyi Shang, Tse-Hsun Chen
2022
|
ACM Transactions on Software Engineering and Methodology
doi:10.1145/3542944