Concepedia

Nataliia Stulova

NS

Statistics

Publications

6

Citations

122

H-Index

6

Active since

2015

Affiliations

IMDEA Software Institute(Current)

Universidad Politécnica de Madrid

University of Bern

Università della Svizzera italiana

Nataliia Stulova is an author at IMDEA Software Institute specializing in formal methods, formal verification, and software testing.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationVerificationSoftware DesignSoftware Engineering

Publications per year

2015–2022

6

Publications

6

A decade of code comment quality assessment: A systematic literature review

Pooja Rani, Arianna Blasi, Nataliia Stulova et al. · Journal of Systems and Software · 2022 · 42 citations · Full text

Towards Detecting Inconsistent Comments in Java Source Code Automatically

Nataliia Stulova, Arianna Blasi, Alessandra Gorla et al. · 2020 · 24 citations

Software Maintenance, Engineering, Verification +20

Reducing the overhead of assertion run-time checks via static analysis

Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo · 2016 · 17 citations

Program Specifications, Engineering, Program Checking +21

Practical run-time checking via unobtrusive property caching

Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo · Theory and Practice of Logic Programming · 2015 · 15 citations · Full text

Interactive Behavior-driven Development: a Low-code Perspective

Nitish Patkar, Andrei Chiș, Nataliia Stulova et al. · 2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) · 2021 · 14 citations

Software Maintenance, Engineering, Software Engineering +23

1–5 of 6