Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

6 Publications


2019 | Conference Paper | LibreCat-ID: 10108
Together Strong: Cooperative Android App Analysis
F. Pauck, H. Wehrheim, in: Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, n.d., pp. 374–384.
LibreCat | Files available | DOI
 

2019 | Conference Paper | LibreCat-ID: 9850 LibreCat | Files available
 

2019 | Conference Paper | LibreCat-ID: 15368
SLA-controlled Proxy Service Through Customisable MANO Supporting Operator Policies
T. Soenen, F. Vicens, J. Bonnet, C. Parada, E. Kapassa, M. Touloupou, E. Fotopulou, A. Zafeiropoulos, A. Pol, S. Kolometsos, G. Xilouris, P. Alemany, R. Vilalta, P. Trakadas, P. Karkazis, M. Peuster, W. Tavernier, in: 2019 IFIP/IEEE Symposium on Integrated Network and Service Management (IM), 2019, pp. 707–708.
LibreCat | Download (ext.)
 

2019 | Journal Article | LibreCat-ID: 20533
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs
S. Krüger, J. Späth, K. Ali, E. Bodden, M. Mezini, IEEE Transactions on Software Engineering (2019) 1–1.
LibreCat | DOI | Download (ext.)
 

2018 | Journal Article | LibreCat-ID: 20543
Debugging Static Analysis
L. Nguyen Quang Do, S. Krüger, P. Hill, K. Ali, E. Bodden, IEEE Transactions on Software Engineering (2018) 1–1.
LibreCat | DOI | Download (ext.)
 

2017 | Journal Article | LibreCat-ID: 20557
Tracking Load-time Configuration Options
M. Lillack, C. Kästner, E. Bodden, IEEE Transactions on Software Engineering PP (2017) 1–1.
LibreCat | DOI | Download (ext.)
 

Filters and Search Terms

keyword="Tools"

Search

Filter Publications

Display / Sort

Export / Embed