Articles avec mandats d'accès public - Nataliia StulovaEn savoir plus
Disponibles quelque part : 17
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
Exigences : Government of Spain
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
Exigences : Fonds national suisse, European Commission, Government of Spain
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
Exigences : Government of Spain
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
Exigences : US National Science Foundation, Fonds national suisse
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
Exigences : Fonds national suisse
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
Exigences : Government of Spain
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
Exigences : Government of Spain
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
Exigences : Government of Spain
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
Exigences : Government of Spain
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
Exigences : Government of Spain
Towards run-time checks simplification via term hiding
N Stulova, JF Morales, MV Hermenegildo
Technical Communications of the 33rd International Conference on Logic …, 2018
Exigences : Government of Spain
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
Exigences : Government of Spain
The Journal of Systems & Software
P Rani, A Blasi, N Stulova, S Panichella, A Gorla, O Nierstrasz
Exigences : Fonds national suisse, European Commission, Government of Spain
First-class artifacts as building blocks for live in-IDE documentation
N Patkar, A Chis, N Stulova, O Nierstrasz
2022 IEEE International Conference on Software Analysis, Evolution and …, 2022
Exigences : Fonds national suisse
The Journal of Systems & Software
A Blasi, N Stulova, A Gorla, O Nierstrasz
Exigences : Fonds national suisse
On Improving Run-time Checking in Dynamic Languages
N Stulova
Technical Communications of the 33rd International Conference on Logic …, 2018
Exigences : Government of Spain
An approach to higher-order assertion-based debugging of higher-order (C) LP programs
N Stulova, JF Morales Caballero, MV Hermenegildo
CLIP Lab., 2014
Exigences : Government of Spain
Les informations concernant la publication et le financement sont déterminées automatiquement par un programme informatique