News
Poster Session and DemosWritten on 16.06.17 (last change on 12.07.17) by Alessio Gambi 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… 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).
|
Learning to Fuzz: Application-Independent Fuzz Testing with Probabilistic, Generative Models of ...Written on 14.06.17 by Alessio Gambi J. Patra, and M. Pradel, Technical Report available at: http://mp.binaervarianz.de/TreeFuzz_TR_Nov2016.pdf |
Learn & Fuzz: Machine Learning for Input FuzzingWritten on 14.06.17 by Alessio Gambi P. Godefroid, H. Peleg, and R. Singh Available at: https://www.microsoft.com/en-us/research/publication/learnfuzz-machine-learning-for-input-fuzzing/ |
Automatic and Lightweight Grammar Generation for Fuzz TestingWritten on 14.06.17 by Alessio Gambi S. Y. Kim, S. Cha, and D.H.Bae |
Semi-valid Input Coverage for Fuzz TestingWritten on 17.05.17 by Alessio Gambi The second paper for the double session that will take place on 14th June is: P. Tsankov, M. T. Dashti, and D. Basin, The second paper for the double session that will take place on 14th June is: P. Tsankov, M. T. Dashti, and D. Basin, DOI: https://doi.org/10.1145/2483760.2483787 |
Grammar-based Whitebox FuzzingWritten on 17.05.17 by Alessio Gambi The first paper for the double session that will take place on 14th June is: P. Godefroid, A. Kiezun, and M. Y. Levin, The first paper for the double session that will take place on 14th June is: P. Godefroid, A. Kiezun, and M. Y. Levin, |
Directed Test Generation Using Symbolic GrammarsWritten on 17.05.17 by Alessio Gambi The second paper for the next double session is:
R. Majumdar and R.-G. Xu, |
Evaluation and Comparison of Inferred Regular GrammarsWritten on 17.05.17 by Alessio Gambi The first paper for the next double session is: 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.
|
No Seminar on 7th of June 2017Written on 17.05.17 by Alessio Gambi 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… 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. |
No Seminar on 24th of May 2017Written on 15.05.17 by Alessio Gambi 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… 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. |
Synthesizing Program Input GrammarsWritten on 11.05.17 (last change on 17.05.17) by Alessio Gambi The paper for the next session is: 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:
|
How to give good presentations - SlidesWritten on 09.05.17 by Alessio Gambi The slides from the talk of Prof. Zeller are available in the Material section. |
Deriving input syntactic structure from executionWritten on 03.05.17 by Alessio Gambi 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.
|
How to give good presentationsWritten on 27.04.17 (last change on 27.04.17) by Alessio Gambi 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. |
Mining Input Grammars from Dynamic TaintsWritten on 26.04.17 (last change on 03.05.17) by Alessio Gambi The paper for the next session is: Matthias Höschele, and Andreas Zeller. 2016. The paper for the next session is: Matthias Höschele, and Andreas Zeller. 2016. |
Kick Off MeetingWritten on 26.04.17 by Alessio Gambi 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 |
New course pageWritten on 26.04.17 (last change on 26.04.17) by Alessio Gambi New course page went live |