Assertion-based Debugging of Higher-Order (C)LP Programs. - Nataliia Stulova; José F. Morales 001; Manuel V. Hermenegildo (PPDP, 2014)

An Approach to Assertion-based Debugging of Higher-Order (C)LP Programs. - Nataliia Stulova; José F. Morales 001; Manuel V. Hermenegildo (CoRR, 2014)

Towards Assertion-based Debugging of Higher-Order (C)LP Programs. - Nataliia Stulova; José F. Morales 001; Manuel V. Hermenegildo (CoRR, 2014)

Practical run-time checking via unobtrusive property caching. - Nataliia Stulova; José F. Morales 001; Manuel V. Hermenegildo (Theory Pract. Log. Program., 2015)

Reducing the overhead of assertion run-time checks via static analysis. - Nataliia Stulova; José F. Morales 001; Manuel V. Hermenegildo (PPDP, 2016)

On Improving Run-time Checking in Dynamic Languages. - Nataliia Stulova (ICLP (Technical Communications), 2017)

Towards Run-time Checks Simplification via Term Hiding. - Nataliia Stulova; José F. Morales 001; Manuel V. Hermenegildo (ICLP (Technical Communications), 2017)

Term Hiding and its Impact on Run-time Check Simplification. - Nataliia Stulova; José F. Morales 001; Manuel V. Hermenegildo (CoRR, 2017)

Towards Static Performance Guarantees for Programs with Run-Time Checks. - Maximiliano Klemen; Nataliia Stulova; Pedro López-García 001; José F. Morales 001; Manuel V. Hermenegildo (ICLP (Technical Communications), 2018)

Exploiting Term Hiding to Reduce Run-Time Checking Overhead. - Nataliia Stulova; José F. Morales 001; Manuel V. Hermenegildo (PADL, 2018)

Static Performance Guarantees for Programs with Runtime Checks. - Maximiliano Klemen; Nataliia Stulova; Pedro López-García 001; José F. Morales 001; Manuel V. Hermenegildo (PPDP, 2018)

An Approach to Static Performance Guarantees for Programs with Run-time Checks. - Maximiliano Klemen; Nataliia Stulova; Pedro López-García 001; José F. Morales 001; Manuel V. Hermenegildo (CoRR, 2018)

Some trade-offs in reducing the overhead of assertion run-time checks via static analysis. - Nataliia Stulova; José F. Morales 001; Manuel V. Hermenegildo (Sci. Comput. Program., 2018)

Improving Run-time Checking in Dynamic Programming Languages. - Nataliia Stulova (2018)

Towards Detecting Inconsistent Comments in Java Source Code Automatically. - Nataliia Stulova; Arianna Blasi; Alessandra Gorla; Oscar Nierstrasz (SCAM, 2020)

Interactive Behavior-driven Development: a Low-code Perspective. - Nitish Patkar; Andrei Chis; Nataliia Stulova; Oscar Nierstrasz (MoDELS (Companion), 2021)

Do Comments follow Commenting Conventions? A Case Study in Java and Python. - Pooja Rani 001; Suada Abukar; Nataliia Stulova; Alexandre Bergel; Oscar Nierstrasz (SCAM, 2021)

RepliComment: Identifying clones in code comments. - Arianna Blasi; Nataliia Stulova; Alessandra Gorla; Oscar Nierstrasz (J. Syst. Softw., 2021)

First-class artifacts as building blocks for live in-IDE documentation. - Nitish Patkar; Andrei Chis; Nataliia Stulova; Oscar Nierstrasz (SANER, 2022)

upDoc v1.0. - Nataliia Stulova; Arianna Blasi; Alessandra Gorla; Oscar Nierstrasz (Zenodo, 2022)

A decade of code comment quality assessment: A systematic literature review. - Pooja Rani 001; Arianna Blasi; Nataliia Stulova; Sebastiano Panichella; Alessandra Gorla; Oscar Nierstrasz (J. Syst. Softw., 2023)

Position Paper: Think Globally, React Locally - Bringing Real-Time Reference-Based Website Phishing Detection on macOS. - Ivan Petrukha; Nataliia Stulova; Sergii Kryvoblotskyi (EuroS&P Workshops, 2024)

Towards Generating App Feature Descriptions Automatically with LLMs: the Setapp Case Study. - Yevhenii Peteliev; Ivan Synytsia; Nataliia Stulova (Forge@ICSE, 2025)

SwiftEval: Developing a Language-Specific Benchmark for LLM-generated Code Evaluation. - Ivan Petrukha; Yana Kurliak; Nataliia Stulova (Forge@ICSE, 2025)

The NLBSE'25 Tool Competition. - Ali Al-Kaswan; Giuseppe Colavito; Nataliia Stulova; Pooja Rani 001 (NLBSE@ICSE, 2025)