| A decade of code comment quality assessment: A systematic literature review P Rani, A Blasi, N Stulova, S Panichella, A Gorla, O Nierstrasz Journal of Systems and Software 195, 111515, 2023 | 34 | 2023 |
| Towards detecting inconsistent comments in java source code automatically N Stulova, A Blasi, A Gorla, O Nierstrasz 2020 IEEE 20th international working conference on source code analysis and …, 2020 | 32 | 2020 |
| Reducing the overhead of assertion run-time checks via static analysis N Stulova, JF Morales, MV Hermenegildo Proceedings of the 18th International Symposium on Principles and Practice …, 2016 | 21 | 2016 |
| Interactive behavior-driven development: a low-code perspective N Patkar, A Chiş, N Stulova, O Nierstrasz 2021 ACM/IEEE International Conference on Model Driven Engineering Languages …, 2021 | 20 | 2021 |
| Replicomment: identifying clones in code comments A Blasi, A Gorla Proceedings of the 26th Conference on Program Comprehension, 320-323, 2018 | 16 | 2018 |
| Practical run-time checking via unobtrusive property caching N Stulova, JF Morales, MV Hermenegildo Theory and Practice of Logic Programming 15 (4-5), 726-741, 2015 | 15 | 2015 |
| Do comments follow commenting conventions? a case study in java and python P Rani, S Abukar, N Stulova, A Bergel, O Nierstrasz 2021 IEEE 21st International Working Conference on Source Code Analysis and …, 2021 | 13 | 2021 |
| Assertion-based debugging of higher-order (C) LP programs N Stulova, JF Morales, MV Hermenegildo Proceedings of the 16th International Symposium on Principles and Practice …, 2014 | 12 | 2014 |
| Static performance guarantees for programs with runtime checks M Klemen, N Stulova, P López-García, J Morales, MV Hermenegildo Proceedings of the 20th International Symposium on Principles and Practice …, 2018 | 11 | 2018 |
| Some trade-offs in reducing the overhead of assertion run-time checks via static analysis N Stulova, JF Morales, MV Hermenegildo Science of Computer Programming 155, 3-26, 2018 | 10 | 2018 |
| Exploiting term hiding to reduce run-time checking overhead N Stulova, JF Morales, MV Hermenegildo International Symposium on Practical Aspects of Declarative Languages, 99-115, 2017 | 5 | 2017 |
| Towards run-time checks simplification via term hiding N Stulova, JF Morales, MV Hermenegildo Technical Communications of the 33rd International Conference on Logic …, 2018 | 4 | 2018 |
| An Approach to Static Performance Guarantees for Programs with Run-time Checks M Klemen, N Stulova, P Lopez-Garcia, JF Morales, MV Hermenegildo arXiv preprint arXiv:1804.02380, 2018 | 2 | 2018 |
| Towards Static Performance Guarantees for Programs with Run-time Checks M Klemen, N Stulova, P Lopez-Garcia, JF Morales, MV Hermenegildo Technical Communications of the 34th International Conference on Logic …, 2018 | 2 | 2018 |
| Term hiding and its impact on run-time check simplification N Stulova, JF Morales Caballero, MV Hermenegildo CLIP Lab., 2017 | 2 | 2017 |
| Increasing stakeholder engagement with object cards A Sellathurai, O Nierstrasz, N Patkar, N Stulova | 1 | 2022 |
| The Journal of Systems & Software AS Landi, D San Martín, BM Santos, WS Cunha, RS Durelli, VV Camargo | 1 | 2021 |
| Improving run-time checking in dynamic programming languages N Stulova ETSI_Informatica, 2018 | 1 | 2018 |
| Towards Assertion-based Debugging of Higher-Order (C) LP Programs N Stulova, JF Morales, MV Hermenegildo arXiv preprint arXiv:1405.7898, 2014 | 1 | 2014 |
| An Approach to Assertion-based Debugging of Higher-Order (C) LP Programs N Stulova, JF Morales, MV Hermenegildo arXiv preprint arXiv:1404.4246, 2014 | 1 | 2014 |
Manuel HermenegildoIMDEA Software Institute and Technical U. of Madrid (UPM)upm.es의 이메일 확인됨