Monitoring Temporal Properties of Continuous Signals. - Oded Maler; Dejan Nickovic (FORMATS/FTRTFT, 2004)

Real Time Temporal Logic: Past, Present, Future. - Oded Maler; Dejan Nickovic; Amir Pnueli (FORMATS, 2005)

From MITL to Timed Automata. - Oded Maler; Dejan Nickovic; Amir Pnueli (FORMATS, 2006)

On Synthesizing Controllers from Bounded-Response Properties. - Oded Maler; Dejan Nickovic; Amir Pnueli (CAV, 2007)

AMT: A Property-Based Monitoring Tool for Analog Systems. - Dejan Nickovic; Oded Maler (FORMATS, 2007)

Checking Temporal Properties of Discrete, Timed and Continuous Behaviors. - Oded Maler; Dejan Nickovic; Amir Pnueli (Pillars of Computer Science, 2008)

Checking Timed and Hybrid Properties: Theory and Applications. (Vérification de propriétés temporisées et hybrides: théorie et applications). - Dejan Nickovic (2008)

Robustness of Sequential Circuits. - Laurent Doyen 001; Thomas A. Henzinger; Axel Legay; Dejan Nickovic (ACSD, 2010)

Property-Based Monitoring of Analog and Mixed-Signal Systems. - John Havlicek; Scott Little; Oded Maler; Dejan Nickovic (FORMATS, 2010)

From Mtl to Deterministic Timed Automata. - Dejan Nickovic; Nir Piterman (FORMATS, 2010)

Analog property checkers: a DDR2 case study. - Kevin D. Jones; Victor Konrad; Dejan Nickovic (Formal Methods Syst. Des., 2010)

Dynamic Reactive Modules. - Jasmin Fisher; Thomas A. Henzinger; Dejan Nickovic; Nir Piterman; Anmol V. Singh; Moshe Y. Vardi (CONCUR, 2011)

Parametric Identification of Temporal Properties. - Eugene Asarin; Alexandre Donzé; Oded Maler; Dejan Nickovic (RV, 2011)

On Temporal Logic and Signal Processing. - Alexandre Donzé; Oded Maler; Ezio Bartocci; Dejan Nickovic; Radu Grosu; Scott A. Smolka (ATVA, 2012)

Synchronous Interface Theories and Time Triggered Scheduling. - Benoît Delahaye; Uli Fahrenberg; Thomas A. Henzinger; Axel Legay; Dejan Nickovic (FMOODS/FORTE, 2012)

Independent Implementability of Viewpoints. - Thomas A. Henzinger; Dejan Nickovic (Monterey Workshop, 2012)

Incremental Language Inclusion Checking for Networks of Timed Automata. - Willibald Krenn; Dejan Nickovic; Loredana Tec (FORMATS, 2013)

Time for Mutants - Model-Based Mutation Testing with Timed Automata. - Bernhard K. Aichernig; Florian Lorber; Dejan Nickovic (TAP@STAF, 2013)

Monitoring properties of analog and mixed-signal circuits. - Oded Maler; Dejan Nickovic (Int. J. Softw. Tools Technol. Transf., 2013)

Compositional Specifications for ioco Testing. - Przemyslaw Daca; Thomas A. Henzinger; Willibald Krenn; Dejan Nickovic (ICST, 2014)

Integration of Requirements Engineering and Test-Case Generation via OSLC. - Bernhard K. Aichernig; Klaus Hörmaier; Florian Lorber; Dejan Nickovic; Rupert Schlick; Didier Simoneau; Stefan Tiran (QSIC, 2014)

Trace Diagnostics Using Temporal Implicants. - Thomas Ferrère; Oded Maler; Dejan Nickovic (ATVA, 2015)

Measuring with Timed Patterns. - Thomas Ferrère; Oded Maler; Dejan Nickovic; Dogan Ulus (CAV (2), 2015)

Complete Composition Operators for IOCO-Testing Theory. - Nikola Benes; Przemyslaw Daca; Thomas A. Henzinger; Jan Kretínský; Dejan Nickovic (CBSE, 2015)

A Pattern-Based Formalization of Cloud-Based Elastic Systems. - Schahram Dustdar; Alessio Gambi; Willibald Krenn; Dejan Nickovic (PESOS@ICSE, 2015)

From signal temporal logic to FPGA monitors. - Stefan Jaksic; Ezio Bartocci; Radu Grosu; Reinhard Kloibhofer; Thang Nguyen 007; Dejan Nickovic (MEMOCODE, 2015)

Second International Competition on Runtime Verification CRV 2015. - Yliès Falcone; Dejan Nickovic; Giles Reger; Daniel Thoma (RV, 2015)

Monitoring and Measuring Hybrid Behaviors A Tutorial. - Dejan Nickovic (RV, 2015)

Scalable Incremental Test-case Generation from Large Behavior Models. - Bernhard K. Aichernig; Dejan Nickovic; Stefan Tiran (TAP@STAF, 2015)

Monitoring of MTL specifications with IBM's spiking-neuron model. - Konstantin Selyunin; Thang Nguyen 007; Ezio Bartocci; Dejan Nickovic; Radu Grosu (DATE, 2016)

Temporal Logic as Filtering. - Alëna Rodionova; Ezio Bartocci; Dejan Nickovic; Radu Grosu (HSCC, 2016)

The HARMONIA Project: Hardware Monitoring for Automotive Systems-of-Systems. - Thang Nguyen 007; Ezio Bartocci; Dejan Nickovic; Radu Grosu; Stefan Jaksic; Konstantin Selyunin (ISoLA (2), 2016)

Quantitative Monitoring of STL with Edit Distance. - Stefan Jaksic; Ezio Bartocci; Radu Grosu; Dejan Nickovic (RV, 2016)

Assertion-based monitoring in practice - Checking correctness of an automotive sensor interface. - Thang Nguyen 007; Dejan Nickovic (Sci. Comput. Program., 2016)

Runtime Monitoring with Recovery of the SENT Communication Protocol. - Konstantin Selyunin; Stefan Jaksic; Thang Nguyen 007; Christian Reidl; Udo Hafner; Ezio Bartocci; Dejan Nickovic; Radu Grosu (CAV (1), 2017)

Combining the Temporal and Epistemic Dimensions for MTL Monitoring. - Eugene Asarin; Oded Maler; Dejan Nickovic; Dogan Ulus (FORMATS, 2017)

Exponential pattern recognition for deriving air change rates from CO2 data. - Florian Wenig; Peter Klanatsky; Christian Heschl; Cristinel Mateis; Dejan Nickovic (ISIE, 2017)

Bounded determinization of timed automata with silent transitions. - Florian Lorber; Amnon Rosenmann; Dejan Nickovic; Bernhard K. Aichernig (Real Time Syst., 2017)

Require, test, and trace IT. - Bernhard K. Aichernig; Klaus Hörmaier; Florian Lorber; Dejan Nickovic; Stefan Tiran (Int. J. Softw. Tools Technol. Transf., 2017)

Temporal Logic as Filtering. - Alëna Rodionova; Ezio Bartocci; Dejan Nickovic; Radu Grosu (Dependable Software Systems Engineering, 2017)

A Toolchain for Verifying Safety Properties of Hybrid Automata via Pattern Templates. - Goran Frehse; Nikolaos Kekatos; Dejan Nickovic; Jens Oehlerking; Simone Schuler; Alexander Walsch; Matthias Woehrle (ACC, 2018)

A Counting Semantics for Monitoring LTL Specifications over Finite Traces. - Ezio Bartocci; Roderick Bloem; Dejan Nickovic; Franz Röck (CAV (1), 2018)

CPS/IoT Ecosystem: A Platform for Research and Education. - Haris Isakovic; Denise Ratasich; Christian Hirsch; Michael Platzer; Bernhard Wally; Thomas Rausch; Dejan Nickovic; Willibald Krenn; Gerti Kappel; Schahram Dustdar; Radu Grosu (CyPhy/WESE, 2018)

The first-order logic of signals: keynote. - Alexey Bakhirkin; Thomas Ferrère; Thomas A. Henzinger; Dejan Nickovic (EMSOFT, 2018)

Online Timed Pattern Matching Using Automata. - Alexey Bakhirkin; Thomas Ferrère; Dejan Nickovic; Oded Maler; Eugene Asarin (FORMATS, 2018)

Localizing Faults in Simulink/Stateflow Models with STL. - Ezio Bartocci; Thomas Ferrère; Niveditha Manjunath; Dejan Nickovic (HSCC, 2018)

Production Tests Coverage Analysis in the Simulation Environment. - Niveditha Manjunath; Dieter Haerle; Stephen Sabanal; Herbert Eichinger; Hermann Tauber; Andreas Machne; Christian Manthey; Mikko Vaananen; Radu Grosu; Dejan Nickovic (ITC, 2018)

Quantitative monitoring of STL with edit distance. - Stefan Jaksic; Ezio Bartocci; Radu Grosu; Thang Nguyen 007; Dejan Nickovic (Formal Methods Syst. Des., 2018)

Contracts for System Design. - Albert Benveniste; Benoît Caillaud; Dejan Nickovic; Roberto Passerone; Jean-Baptiste Raclet; Philipp Reinkemeier; Alberto L. Sangiovanni-Vincentelli; Werner Damm; Thomas A. Henzinger; Kim G. Larsen (Found. Trends Electron. Des. Autom., 2018)

An Algebraic Framework for Runtime Verification. - Stefan Jaksic; Ezio Bartocci; Radu Grosu; Dejan Nickovic (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018)

Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications. - Ezio Bartocci; Jyotirmoy V. Deshmukh; Alexandre Donzé; Georgios Fainekos; Oded Maler; Dejan Nickovic; Sriram Sankaranarayanan 001 (Lectures on Runtime Verification, 2018)

Mixed-Time Signal Temporal Logic. - Thomas Ferrère; Oded Maler; Dejan Nickovic (FORMATS, 2019)

Interface-aware signal temporal logic. - Thomas Ferrère; Dejan Nickovic; Alexandre Donzé; Hisahiro Ito; James Kapinski (HSCC, 2019)

Shape Expressions for Specifying and Extracting Signal Features. - Dejan Nickovic; Xin Qin; Thomas Ferrère; Cristinel Mateis; Jyotirmoy V. Deshmukh (RV, 2019)

Automatic Failure Explanation in CPS Models. - Ezio Bartocci; Niveditha Manjunath; Leonardo Mariani; Cristinel Mateis; Dejan Nickovic (SEFM, 2019)

Specification Formalisms for Modern Cyber-Physical Systems (Dagstuhl Seminar 19071). - Jyotirmoy V. Deshmukh; Oded Maler; Dejan Nickovic (Dagstuhl Reports, 2019)

A survey of challenges for runtime verification from advanced application domains (beyond software). - César Sánchez 001; Gerardo Schneider; Wolfgang Ahrendt; Ezio Bartocci; Domenico Bianculli; Christian Colombo 001; Yliès Falcone; Adrian Francalanza; Srdan Krstic; João M. Lourenço; Dejan Nickovic; Gordon J. Pace; et al. (Formal Methods Syst. Des., 2019)

Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software). - César Sánchez 001; Gerardo Schneider; Wolfgang Ahrendt; Ezio Bartocci; Domenico Bianculli; Christian Colombo 001; Yliès Falcone; Adrian Francalanza; Srdan Krstic; João M. Lourenço; Dejan Nickovic; Gordon J. Pace; et al. (Formal Methods Syst. Des., 2019)

From Real-time Logic to Timed Automata. - Thomas Ferrère; Oded Maler; Dejan Nickovic; Amir Pnueli (J. ACM, 2019)

RTAMT: Online Robustness Monitors from STL. - Dejan Nickovic; Tomoya Yamaguchi 001 (ATVA, 2020)

Weakness Monitors for Fail-Aware Systems. - Wolfgang Granig; Stefan Jaksic; Horst Lewitschnig; Cristinel Mateis; Dejan Nickovic (FORMATS, 2020)

CPSDebug: a tool for explanation of failures in cyber-physical systems. - Ezio Bartocci; Niveditha Manjunath; Leonardo Mariani; Cristinel Mateis; Dejan Nickovic; Fabrizio Pastore (ISSTA, 2020)

Adaptive Testing for Specification Coverage. - Ezio Bartocci; Roderick Bloem; Benedikt Maderbacher; Niveditha Manjunath; Dejan Nickovic (CoRR, 2020)

AMT 2.0: qualitative and quantitative trace analysis with extended signal temporal logic. - Dejan Nickovic; Olivier Lebeltel; Oded Maler; Thomas Ferrère; Dogan Ulus (Int. J. Softw. Tools Technol. Transf., 2020)

Mining Shape Expressions From Positive Examples. - Ezio Bartocci; Jyotirmoy Deshmukh; Felix Gigler; Cristinel Mateis; Dejan Nickovic; Xin Qin (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

Adaptive Testing for Specification Coverage in CPS Models. - Ezio Bartocci; Roderick Bloem; Benedikt Maderbacher; Niveditha Manjunath; Dejan Nickovic (ADHS, 2021)

On the Complexity of Timed Pattern Matching. - Eugene Asarin; Thomas Ferrère; Dejan Nickovic; Dogan Ulus (FORMATS, 2021)

Sampling of shape expressions with ShapEx. - Nicolas Basset; Thao Dang 001; Felix Gigler; Cristinel Mateis; Dejan Nickovic (MEMOCODE, 2021)

Mining Shape Expressions with ShapeIt. - Ezio Bartocci; Jyotirmoy Deshmukh; Cristinel Mateis; Eleonora Nesterini; Dejan Nickovic; Xin Qin (SEFM, 2021)

Challenges of engineering safe and secure highly automated vehicles. - Nadja Marko; Eike Möhlmann; Dejan Nickovic; Jürgen Niehaus; Peter Priller; Martijn Rooker (CoRR, 2021)

Flavours of Sequential Information Flow. - Ezio Bartocci; Thomas Ferrère; Thomas A. Henzinger; Dejan Nickovic; Ana Oliveira da Costa (CoRR, 2021)

Sampling of Shape Expressions. - Nicolas Basset; Thao Dang 001; Felix Gigler; Cristinel Mateis; Dejan Nickovic (CoRR, 2021)

From English to Signal Temporal Logic. - Jie He; Ezio Bartocci; Dejan Nickovic; Haris Isakovic; Radu Grosu (CoRR, 2021)

From STL Rulebooks to Rewards. - Edgar A. Aguilar; Luigi Berducci; Axel Brunnbauer; Radu Grosu; Dejan Nickovic (CoRR, 2021)

CPSDebug: Automatic failure explanation in CPS models. - Ezio Bartocci; Niveditha Manjunath; Leonardo Mariani; Cristinel Mateis; Dejan Nickovic (Int. J. Softw. Tools Technol. Transf., 2021)

Specifying and detecting temporal patterns with shape expressions. - Dejan Nickovic; Xin Qin; Thomas Ferrère; Cristinel Mateis; Jyotirmoy Deshmukh (Int. J. Softw. Tools Technol. Transf., 2021)

Formal Specification for Learning-Enabled Autonomous Systems. - Saddek Bensalem; Chih-Hong Cheng; Xiaowei Huang 001; Panagiotis Katsaros; Adam Molin; Dejan Nickovic; Doron Peled (NSV/FoMLAS@CAV, 2022)

Industry Paper: Surrogate Models for Testing Analog Designs under Limited Budget - a Bandgap Case Study. - Roderick Bloem; Alberto Larrauri; Roland Lengfeldner; Cristinel Mateis; Dejan Nickovic; Björn Ziegler (CODES+ISSS, 2022)

Poster Abstract: Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives. - Anand Balakrishnan 001; Stefan Jaksic; Edgar A. Aguilar; Dejan Nickovic; Jyotirmoy Deshmukh (HSCC, 2022)

DeepSTL - From English Requirements to Signal Temporal Logic. - Jie He; Ezio Bartocci; Dejan Nickovic; Haris Isakovic; Radu Grosu (ICSE, 2022)

Search-based Testing for Accurate Fault Localization in CPS. - Ezio Bartocci; Leonardo Mariani; Dejan Nickovic; Drishti Yadav (ISSRE, 2022)

FIM: fault injection and mutation for Simulink. - Ezio Bartocci; Leonardo Mariani; Dejan Nickovic; Drishti Yadav (ESEC/SIGSOFT FSE, 2022)

Flavors of Sequential Information Flow. - Ezio Bartocci; Thomas Ferrère; Thomas A. Henzinger; Dejan Nickovic; Ana Oliveira da Costa (VMCAI, 2022)

Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives. - Anand Balakrishnan 001; Stefan Jaksic; Edgar A. Aguilar; Dejan Nickovic; Jyotirmoy Deshmukh (CoRR, 2022)

Threat Repair with Optimization Modulo Theories. - Thorsten Tarrach; Masoud Ebrahimi 002; Sandra König; Christoph Schmittner; Roderick Bloem; Dejan Nickovic (CoRR, 2022)

Survey on mining signal temporal logic specifications. - Ezio Bartocci; Cristinel Mateis; Eleonora Nesterini; Dejan Nickovic (Inf. Comput., 2022)

Formal methods and tools for industrial critical systems. - Maurice H. ter Beek; Kim G. Larsen; Dejan Nickovic; Tim A. C. Willemse (Int. J. Softw. Tools Technol. Transf., 2022)

FIM: Fault Injection and Mutation for Simulink. - Ezio Bartocci; Leonardo Mariani; Dejan Nickovic; Drishti Yadav (Zenodo, 2022)

Model-Free Reinforcement Learning for Spatiotemporal Tasks Using Symbolic Automata. - Anand Balakrishnan 001; Stefan Jaksic; Edgar A. Aguilar; Dejan Nickovic; Jyotirmoy V. Deshmukh (CDC, 2023)

Hypernode Automata. - Ezio Bartocci; Thomas A. Henzinger; Dejan Nickovic; Ana Oliveira da Costa (CONCUR, 2023)

From TARA to Test: Automated Automotive Cybersecurity Test Generation Out of Threat Modeling. - Stefan F. Marksteiner; Christoph Schmittner; Korbinian Christl; Dejan Nickovic; Mikael Sjödin; Marjan Sirjani (CSCS, 2023)

TD-Magic: From Pictures of Timing Diagrams To Formal Specifications. - Jie He; Dejan Nickovic; Ezio Bartocci; Radu Grosu (DAC, 2023)

A Systematic Approach to Automotive Security. - Masoud Ebrahimi 002; Stefan Marksteiner; Dejan Nickovic; Roderick Bloem; David Schögler; Philipp Eisner; Samuel Sprung; Thomas Schober; Sebastian Chlup; Christoph Schmittner; Sandra König (FM, 2023)

Specification-Guided Critical Scenario Identification for Automated Driving. - Adam Molin; Edgar A. Aguilar; Dejan Nickovic; Mengjia Zhu; Alberto Bemporad; Hasan Esen (FM, 2023)

Usage-and Risk-Aware Falsification Testing for Cyber-Physical Systems. - Andrej Kiviriga; Kim Guldstrand Larsen; Dejan Nickovic; Ulrik Nyman (FORMATS, 2023)

Property-Based Mutation Testing. - Ezio Bartocci; Leonardo Mariani; Dejan Nickovic; Drishti Yadav (ICST, 2023)

Mining Specification Parameters for Multi-class Classification. - Edgar A. Aguilar; Ezio Bartocci; Cristinel Mateis; Eleonora Nesterini; Dejan Nickovic (RV, 2023)

Attribute Repair for Threat Prevention. - Thorsten Tarrach; Masoud Ebrahimi 002; Sandra König; Christoph Schmittner; Roderick Bloem; Dejan Nickovic (SAFECOMP, 2023)

Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties. - Benedikt Maderbacher; Stefan Schupp; Ezio Bartocci; Roderick Bloem; Dejan Nickovic; Bettina Könighofer (SPIN, 2023)

Continuous Engineering for Trustworthy Learning-Enabled Autonomous Systems. - Saddek Bensalem; Panagiotis Katsaros; Dejan Nickovic; Brian Hsuan-Cheng Liao; Ricardo Ruiz Nolasco; Mohamed Abd El Salam Ahmed; Tewodros A. Beyene; Filip Cano 001; Antoine Delacourt; Hasan Esen; Alexandru Forrai; Weicheng He; et al. (AISoLA, 2023)

Introduction to the Special Issue on Runtime Verification. - Jyotirmoy Deshmukh; Dejan Nickovic (Int. J. Softw. Tools Technol. Transf., 2023)

Mining Hyperproperties using Temporal Logics. - Ezio Bartocci; Cristinel Mateis; Eleonora Nesterini; Dejan Nickovic (ACM Trans. Embed. Comput. Syst., 2023)

Verifying Global Two-Safety Properties in Neural Networks with Confidence. - Anagha Athavale; Ezio Bartocci; Maria Christakis; Matteo Maffei; Dejan Nickovic; Georg Weissenbacher (CAV (2), 2024)

DeepRIoT: Continuous Integration and Deployment of Robotic-IoT Applications. - Meixun Qu; Jie He; Zlatan Tucakovic; Ezio Bartocci; Dejan Nickovic; Haris Isakovic; Radu Grosu (DAC, 2024)

Differential Property Monitoring for Backdoor Detection. - Otto Brechelmacher; Dejan Nickovic; Tobias Nießen; Sarah Sallinger; Georg Weissenbacher (ICFEM, 2024)

On Threat Model Repair. - Roderick Bloem; Sebastian Chlup; Dejan Nickovic; Christoph Schmittner (ISoLA (4), 2024)

Approximate Distributed Monitoring Under Partial Synchrony: Balancing Speed & Accuracy. - Borzoo Bonakdarpour; Anik Momtaz; Dejan Nickovic; N. Ege Saraç (RV, 2024)

Scenario-Based Curriculum Generation for Multi-Agent Autonomous Driving. - Axel Brunnbauer; Luigi Berducci; Peter Priller; Dejan Nickovic; Radu Grosu (CoRR, 2024)

Information-flow Interfaces and Security Lattices. - Ezio Bartocci; Thomas A. Henzinger; Dejan Nickovic; Ana Oliveira da Costa (CoRR, 2024)

Approximate Distributed Monitoring under Partial Synchrony: Balancing Speed and Accuracy. - Borzoo Bonakdarpour; Anik Momtaz; Dejan Nickovic; N. Ege Saraç (CoRR, 2024)

Safety Assurance for Autonomous Mobility (Dagstuhl Seminar 24071). - Jyotirmoy Deshmukh; Bettina Könighofer; Dejan Nickovic; Filip Cano 001 (Dagstuhl Reports, 2024)

HPRS: hierarchical potential-based reward shaping from task specifications. - Luigi Berducci; Edgar A. Aguilar; Dejan Nickovic; Radu Grosu (Frontiers Robotics AI, 2024)

RTAMT - Runtime Robustness Monitors with Application to CPS and Robotics. - Tomoya Yamaguchi 001; Bardh Hoxha; Dejan Nickovic (Int. J. Softw. Tools Technol. Transf., 2024)

Elements of Timed Pattern Matching. - Dogan Ulus; Thomas Ferrère; Eugene Asarin; Dejan Nickovic; Oded Maler (ACM Trans. Embed. Comput. Syst., 2024)

Mining Specifications for Predictive Safety Monitoring. - Eleonora Nesterini; Ezio Bartocci; Alessio Gambi; Dejan Nickovic; Sanjit A. Seshia; Hazem Torfah (ICCPS, 2025)

Automatically Generating Content for Testing Autonomous Vehicles from User Descriptions. - Benedikt Steininger; Chrysanthi Papamichail; David Stark; Dejan Nickovic; Alessio Gambi (NIER@ICSE, 2025)

Taming Uncertainty in Critical Scenario Generation for Testing Automated Driving Systems. - Selma Grosse; Adam Molin; Dejan Nickovic; Alessio Gambi; Cristinel Mateis (ICST, 2025)

Information-flow interfaces. - Ezio Bartocci; Thomas Ferrère; Thomas A. Henzinger; Dejan Nickovic; Ana Oliveira da Costa (Formal Methods Syst. Des., 2025)

TD-Interpreter: Enhancing the Understanding of Timing Diagrams with Visual-Language Learning. - Jie He; Vincent Theo Willem Kenbeek; Zhantao Yang; Meixun Qu; Ezio Bartocci; Dejan Nickovic; Radu Grosu (CoRR, 2025)

Signal Feature Coverage and Testing for CPS Dataflow Models. - Ezio Bartocci; Leonardo Mariani; Dejan Nickovic; Drishti Yadav (ACM Trans. Softw. Eng. Methodol., 2025)