E-LIB Suche - Ergebnisse für: Kampmann, Alexander

1

Leveraging input features for testing and debugging:

Kampmann, Alexander , 2022

Link: https://nbn-resolving.de..

2

Abstracting failure-inducing inputs:

, In: Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis,

Gopinath, Rahul ; Kampmann, Alexander ; Havrikov, Nikolas.. - p. 237-248 , 2020

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

3

When does my program do this? learning circumstances of sof..:

, In: Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering,

Kampmann, Alexander ; Havrikov, Nikolas ; Soremekun, Ezekiel O.. - p. 1228-1239 , 2020

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

4

Parser-directed fuzzing:

, In: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation,

Mathis, Björn ; Gopinath, Rahul ; Mera, Michaël... - p. 548-560 , 2019

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

5

Carving Parameterized Unit Tests:

, In: 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion),

Kampmann, Alexander ; Zeller, Andreas - p. 248-249 , 2019

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

6

Carving parameterized unit tests:

, In: Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings,

Kampmann, Alexander ; Zeller, Andreas - p. 248-249 , 2019

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

7

Testen mit automatisch bestimmten Eingabegrammatiken:

, In: Test, Analyse und Verifikation von Software - gestern, heute, morgen / Andreas Spillner, Mario Winter, Andrej Pietschker (Hrsg.)

Höschele, Matthias ; Kampmann, Alexander ; Zeller, Andreas. (2018) - p. 33-45

Exemplare: Zentrale:Magazin 02.s.6738; TB BHV: com 420/76

8

Microstructural Characterization of the Anisotropy and Cycl..:

Awd, Mustafa ; Stern, Felix ; Kampmann, Alexander...
Metals. 8 (2018) 10 - p. 825 , 2018

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

9

Local analysis for global inputs:

, In: Proceedings of the 39th International Conference on Software Engineering Companion,

Kampmann, Alexander - p. 433-436 , 2017

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

10

Event-Chain Monte-Carlo Simulations of Dense Soft Matter Sy..:

Kampmann, Tobias Alexander ; Müller, David ; Weise, Lukas Paul..
Frontiers in Physics. 9 (2021) - p. , 2021

Link: https://doi.org/10.3389/..

11

Chaining of hard disks in nematic needles: particle-based s..:

Müller, David ; Kampmann, Tobias Alexander ; Kierfeld, Jan
Scientific Reports. 10 (2020) 1 - p. , 2020

Link: https://doi.org/10.1038/..

12

Polymer- und Kolloid-Simulationen:

Kampmann, Tobias Alexander , 2016

Link: http://nbn-resolving.de/..

13

Leveraging input features for testing and debugging:

Kampmann, Alexander
http://nbn-resolving.org/urn:nbn:de:bsz:291--ds-386593. , 2022

Link: http://nbn-resolving.org..

14

When does my program do this? learning circumstances of sof..:

Kampmann, Alexander ; Havrikov, Nikolas ; Soremekun, Ezekiel.
Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (6 - 16 November 2020). , 2020

Link: http://orbilu.uni.lu/han..

15

Abstracting Failure-Inducing Inputs:

Gopinath, Rahul ; Kampmann, Alexander ; Havrikov, Nikolas..
https://publications.cispa.saarland/3103/7/issta2020-language-of-failure.pdf. , 2020

Link: https://publications.cis..