Send email Copy Email Address
PhD Student

Nikolas Havrikov

Secure Mobile and Autonomous Systems Empirical & Behavioral Security

Email

Address

Stuhlsatzenhaus 5
66123 Saarbrücken (Germany)

Member of Groups

Publications by Nikolas Havrikov

Year 2020

2020-06-13

When does my Program do this? Learning Circumstances of Software Behavior

Conference / Medium

ESEC/FSE
ESEC/FSE 2020

Tags
Secure Mobile and Autonomous Systems Empirical & Behavioral Security
Authors
Download Visit Detail Page
2020-06-08

Abstracting Failure-Inducing Inputs

Conference / Medium

ISSTA
International Symposium on Software Testing and Analysis (ISSTA)ISSTA - ACM SIGSOFT International Symposium on Software Testing and Analysis

Tags
Secure Mobile and Autonomous Systems
Authors
Download Visit Detail Page
2020

Inputs from Hell: Learning Input Distributions for Grammar-Based Test Generation

Article

IEEE Transactions on Software Engineering

Tags
Reliable Security Guarantees Secure Mobile and Autonomous Systems
Authors
Download Visit Detail Page

Year 2019

2019-11-11

Systematically Covering Input Structure

Conference / Medium

ASE
Automated Software EngineeringASE 2019

Tags
Secure Mobile and Autonomous Systems
Authors
Download Visit Detail Page

Year 2017

2017-05

Efficient fuzz testing leveraging input, code, and execution

Conference / Medium

ICSE
2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C)

Tags
Empirical & Behavioral Security
Authors
Download Visit Detail Page
2017

Generating Unit Tests with Structured System Interactions

Conference / Medium

12th IEEE/ACM International Workshop on Automation of Software Testing, AST@ICSE 2017, Buenos Aires, Argentina, May 20-21, 2017

Tags
Secure Mobile and Autonomous Systems
Authors
Download Visit Detail Page

Year 2014

2014-11-17

XMLMate: Evolutionary XML Test Generation

Conference / Medium

ESEC/FSE
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering

Tags
Empirical & Behavioral Security
Authors
Download Visit Detail Page