Input Inference Alessio Gambi

News



16.06.2017

Poster Session and Demos

We have a date and a place for the final poster session and demos:

Rooms 001/002 @ CISPA, on Wed, 19th of July 2017

The session will start at 12:15 and go on for about 2 hours, till 14:15, to let as many people from CISPA to pass along and talk to... Read more

We have a date and a place for the final poster session and demos:

Rooms 001/002 @ CISPA, on Wed, 19th of July 2017

The session will start at 12:15 and go on for about 2 hours, till 14:15, to let as many people from CISPA to pass along and talk to you.

Students will be provided with a poster stand and a table to run the demo (if they have one).

 

14.06.2017

Learning to Fuzz: Application-Independent Fuzz Testing with Probabilistic, Generative Models of ...

J. Patra, and M. Pradel,
"Learning to Fuzz: Application-Independent Fuzz Testing with Probabilistic, Generative Models of Input Data,"
ECOOP 2016 Poster and Technical Report

Technical Report available at: http://mp.binaervarianz.de/TreeFuzz_TR_Nov2016.pdf

14.06.2017

Learn & Fuzz: Machine Learning for Input Fuzzing

P. Godefroid, H. Peleg, and R. Singh
"Learn & Fuzz: Machine Learning for Input Fuzzing,"
Technical Report, 2017

Available at: https://www.microsoft.com/en-us/research/publication/learnfuzz-machine-learning-for-input-fuzzing/

14.06.2017

Automatic and Lightweight Grammar Generation for Fuzz Testing

S. Y. Kim, S. Cha, and D.H.Bae
"Automatic and Lightweight Grammar Generation for Fuzz Testing,"
Computers & Security, Volume 36, 2013, Pages 1-11

DOI: 10.1016/j.cose.2013.02.001

17.05.2017

Semi-valid Input Coverage for Fuzz Testing

The second paper for the double session that will take place on 14th June is:

P. Tsankov, M. T. Dashti, and D. Basin,
"Semi-valid input coverage for fuzz testing,"
in Proceedings of the International Symposium on Software Testing and Analysis, ISSTA... Read more

The second paper for the double session that will take place on 14th June is:

P. Tsankov, M. T. Dashti, and D. Basin,
"Semi-valid input coverage for fuzz testing,"
in Proceedings of the International Symposium on Software Testing and Analysis, ISSTA 2013

DOI: https://doi.org/10.1145/2483760.2483787

 
17.05.2017

Grammar-based Whitebox Fuzzing

The first paper for the double session that will take place on 14th June is:

P. Godefroid, A. Kiezun, and M. Y. Levin,
"Grammar-based whitebox fuzzing,"
in Proceedings of the Conference on Programming Language Design and Implementation, PLDI '08.

DOI: ... Read more

The first paper for the double session that will take place on 14th June is:

P. Godefroid, A. Kiezun, and M. Y. Levin,
"Grammar-based whitebox fuzzing,"
in Proceedings of the Conference on Programming Language Design and Implementation, PLDI '08.

DOI: http://doi.acm.org/10.1145/1375581.1375607

17.05.2017

Directed Test Generation Using Symbolic Grammars

The second paper for the next double session is:

 

R. Majumdar and R.-G. Xu,
"Directed Test Generation Using Symbolic Grammars,"
in Proceedings of the International Conference on Automated Software Engineering, ASE '07.

DOI: ... Read more

The second paper for the next double session is:

 

R. Majumdar and R.-G. Xu,
"Directed Test Generation Using Symbolic Grammars,"
in Proceedings of the International Conference on Automated Software Engineering, ASE '07.

DOI: http://doi.acm.org/10.1145/1321631.1321653

17.05.2017

Evaluation and Comparison of Inferred Regular Grammars

The first paper for the next double session is:

 
N. Walkinshaw, K. Bogdanov and K. Johnson,
"Evaluation and Comparison of Inferred Regular Grammars,"
in Proceedings of the International Colloquium on Grammatical Inference: Algorithms and Applications,... Read more

The first paper for the next double session is:

 
N. Walkinshaw, K. Bogdanov and K. Johnson,
"Evaluation and Comparison of Inferred Regular Grammars,"
in Proceedings of the International Colloquium on Grammatical Inference: Algorithms and Applications, ICGI 2008.
 
 
17.05.2017

No Seminar on 7th of June 2017

The first week of June I will be away, so we skip the seminar. However, the week after (14th of June) we going to run a double-seminar 12:15-14:00.

For this occasion everything is doubled, papers, summaries, and submissions. Likewise the deadlines will be... Read more

The first week of June I will be away, so we skip the seminar. However, the week after (14th of June) we going to run a double-seminar 12:15-14:00.

For this occasion everything is doubled, papers, summaries, and submissions. Likewise the deadlines will be extended ... so you will have up 11th of June to submit the reports.

15.05.2017

No Seminar on 24th of May 2017

Next week I will be in a conference, so we skip the seminar. However, the week after (31st of May) we going to run a double-seminar 12:15-14:00.

For this occasion everything is doubled, papers, summaries, and submissions. Likewise the deadlines will be extended... Read more

Next week I will be in a conference, so we skip the seminar. However, the week after (31st of May) we going to run a double-seminar 12:15-14:00.

For this occasion everything is doubled, papers, summaries, and submissions. Likewise the deadlines will be extended ... so you will have up 28th of May to submit both the reports.

11.05.2017

Synthesizing Program Input Grammars

The paper for the next session is:

 
O. Bastani, R. Sharma, A. Aiken and P. Liang
"Synthesizing Program Input Grammars,"
in Proceedings of the Conference on Programming Language Design and Implementation (PLDI17), to appear
 
Extended version... Read more

The paper for the next session is:

 
O. Bastani, R. Sharma, A. Aiken and P. Liang
"Synthesizing Program Input Grammars,"
in Proceedings of the Conference on Programming Language Design and Implementation (PLDI17), to appear
 
Extended version with proof:
09.05.2017

How to give good presentations - Slides

The slides from the talk of Prof. Zeller are available in the Material section.

03.05.2017

Deriving input syntactic structure from execution

The paper for the next session is:

Z. Lin and X. Zhang,
“Deriving input syntactic structure from execution,”
in Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE '08), 2008.

The paper for the next session is:

Z. Lin and X. Zhang,
“Deriving input syntactic structure from execution,”
in Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE '08), 2008.
27.04.2017

How to give good presentations

Friday, 28th of May, 2017 @ 13:15, in Room 0.06 at CISPA  Prof. A. Zeller will give a talk on "how to give good presentations".

Nowadays, effectively delivering concepts in oral form is of paramount importance, so you are strongly suggested to attend the talk.

26.04.2017

Mining Input Grammars from Dynamic Taints

The paper for the next session is:

Matthias Höschele, and Andreas Zeller. 2016. 
"Mining input grammars from dynamic taints." 
In Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering (ASE '16), 2016
DOI: ... Read more

The paper for the next session is:

Matthias Höschele, and Andreas Zeller. 2016. 
"Mining input grammars from dynamic taints." 
In Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering (ASE '16), 2016
DOI: http://dx.doi.org/10.1145/2970276.2970321

26.04.2017

Kick Off Meeting

During the kick off meeting we covered the seminar's rules and general organization.

We also decided on the final date/time of the seminar: Wed, 12:15 - 13:00

26.04.2017

New course page

New course page went live



Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators