Works in International Journal on Software Tools for Technology Transfer, 2025, Vol 27, Issue 2

Results: 9

Context Gas and friends: taming context-sensitivity on the fly.

Published in:

International Journal on Software Tools for Technology Transfer, 2025, v. 27, n. 2, p. 289, doi. 10.1007/s10009-025-00803-3

By:

Erhard, Julian;
Schinabeck, Johanna Franziska;
Schwarz, Michael;
Seidl, Helmut

Publication type:

Article

CFL-based methods for approximating interleaved Dyck reachability.

Published in:

International Journal on Software Tools for Technology Transfer, 2025, v. 27, n. 2, p. 255, doi. 10.1007/s10009-025-00787-0

By:

Conrado, Giovanna Kobus;
Pavlogiannis, Andreas

Publication type:

Article

Lightweight and modular resource leak checking (extended version).

Published in:

International Journal on Software Tools for Technology Transfer, 2025, v. 27, n. 2, p. 267, doi. 10.1007/s10009-025-00804-2

By:

Shadab, Narges;
Gharat, Pritam;
Tiwari, Shrey;
Ernst, Michael D.;
Kellogg, Martin;
Lahiri, Shuvendu K.;
Lal, Akash;
Sridharan, Manu

Publication type:

Article

State of the art in program analysis.

Published in:

International Journal on Software Tools for Technology Transfer, 2025, v. 27, n. 2, p. 221, doi. 10.1007/s10009-025-00805-1

By:

Monat, Raphaël;
Rubio-González, Cindy

Publication type:

Article

Compositional runtime enforcement of safety and co-safety timed properties.

Published in:

International Journal on Software Tools for Technology Transfer, 2025, v. 27, n. 2, p. 169, doi. 10.1007/s10009-025-00785-2

By:

Shankar, Saumya;
Pinisetty, Srinivas

Publication type:

Article

End-to-end development of product lines for web systems.

Published in:

International Journal on Software Tools for Technology Transfer, 2025, v. 27, n. 2, p. 201, doi. 10.1007/s10009-025-00784-3

By:

Setyautami, Maya R. A.;
Hähnle, Reiner;
Azurat, Ade;
Budiardjo, Eko K.

Publication type:

Article

Evaluation of a distributed explicit state space exploration algorithm with state reconstruction for RDMA networks.

Published in:

International Journal on Software Tools for Technology Transfer, 2025, v. 27, n. 2, p. 149, doi. 10.1007/s10009-025-00782-5

By:

Evangelista, Sami;
Kristensen, Lars Michael;
Petrucci, Laure

Publication type:

Article

Static analysis to make the most of CHERI C/C++ for existing code: improving memory safety at scale.

Published in:

International Journal on Software Tools for Technology Transfer, 2025, v. 27, n. 2, p. 225, doi. 10.1007/s10009-025-00781-6

By:

Dudina, Irina;
Stark, Ian

Publication type:

Article

Interleaving static analysis and LLM prompting with applications to error specification inference.

Published in:

International Journal on Software Tools for Technology Transfer, 2025, v. 27, n. 2, p. 239, doi. 10.1007/s10009-025-00780-7

By:

Chapman, Patrick J.;
Rubio-González, Cindy;
Thakur, Aditya V.

Publication type:

Article