E-LIB Suche - Ergebnisse für: Pinzger, Martin

1

PASDA: A partition-based semantic differencing approach wit..:

Glock, Johann ; Pichler, Josef ; Pinzger, Martin
Journal of Systems and Software. 213 (2024) - p. 112037 , 2024

Link: https://doi.org/10.1016/..

2

Microservice API Evolution in Practice: A Study on Strategi..:

Lercher, Alexander ; Glock, Johann ; Macho, Christian.
Journal of Systems and Software. 215 (2024) - p. 112110 , 2024

Link: https://doi.org/10.1016/..

3

DValidator: An approach for validating dependencies in buil..:

Macho, Christian ; Oraze, Fabian ; Pinzger, Martin
Journal of Systems and Software. 209 (2024) - p. 111916 , 2024

Link: https://doi.org/10.1016/..

4

Ingeniería inversa aplicada en función del contexto:

Monroy, Martin E ; Pinzger, Martin ; Arciniegas, José L.
Ingeniería y Competitividad. 26 (2024) 1 - p. , 2024

Link: https://doi.org/10.25100..

5

Comparing fine-grained source code changes and code churn f..:

Pinzger, Martin ; Giger, Emanuel ; Gall, Harald C.
ACM SIGSOFT Software Engineering Notes. 46 (2021) 3 - p. 21-23 , 2021

Link: https://dl.acm.org/doi/1..

6

Automatic Repair of Timestamp Comparisons:

Liva, Giovanni ; Khan, Muhammad Taimoor ; Pinzger, Martin..
IEEE Transactions on Software Engineering. 47 (2021) 11 - p. 2369-2381 , 2021

Link: https://doi.org/10.1109/..

7

The nature of build changes: An empirical study of Maven-ba..:

Macho, Christian ; Beyer, Stefanie ; McIntosh, Shane.
Empirical Software Engineering. 26 (2021) 3 - p. , 2021

Link: https://doi.org/10.1007/..

8

A Cryptography-Powered Infrastructure to Ensure the Integri..:

Breiling, Benjamin ; Dieber, Bernhard ; Pinzger, Martin.
Journal of Cybersecurity and Privacy. 1 (2021) 1 - p. 93-118 , 2021

Link: https://doi.org/10.3390/..

9

A Method for the Joint Analysis of Numerical and Textual IT..:

, In: Communications in Computer and Information Science; Software Technologies,

Kubiak, Patrick ; Rass, Stefan ; Pinzger, Martin. - p. 242-261 , 2021

Link: https://doi.org/10.1007/..

10

Leveraging Machine Learning for Software Redocumentation:

, In: 2020 IEEE 27th International Conference on Software Analysis, Evolution and Reengineering (SANER),

Geist, Verena ; Moser, Michael ; Pichler, Josef.. - p. 622-626 , 2020

Link: https://doi.org/10.1109/..

11

Verifying temporal specifications of Java programs:

Spegni, Francesco ; Spalazzi, Luca ; Liva, Giovanni..
Software Quality Journal. 28 (2020) 2 - p. 695-744 , 2020

Link: https://doi.org/10.1007/..

12

Semantics-driven extraction of timed automata from Java pro..:

Liva, Giovanni ; Khan, Muhammad Taimoor ; Pinzger, Martin
Empirical Software Engineering. 24 (2019) 5 - p. 3114-3150 , 2019

Link: https://doi.org/10.1007/..

13

What kind of questions do developers ask on Stack Overflow?..:

Beyer, Stefanie ; Macho, Christian ; Di Penta, Massimiliano.
Empirical Software Engineering. 25 (2019) 3 - p. 2258-2301 , 2019

Link: https://doi.org/10.1007/..

14

Modeling time in Java programs for automatic error detectio:

, In: Proceedings of the 6th Conference on Formal Methods in Software Engineering,

Liva, Giovanni ; Khan, Muhammad Taimoor ; Spegni, Francesco... - p. 50-59 , 2018

Link: https://dl.acm.org/doi/1..

15

Noise and heterogeneity in historical build data: an empiri..:

, In: Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering,

Gallaba, Keheliya ; Macho, Christian ; Pinzger, Martin. - p. 87-97 , 2018

Link: https://dl.acm.org/doi/1..