Discussions with ExpertsECOOP and ISSTA 2021

We will be discussing:

1. What are the common or different things in traditional testing vs DL testing? Coverage criteria, mutation operators, regression testing and so on.

2. How to test or analyse different types of networks like FNN/RNN/DRL? What are the common methods we can follow, and what are the adaptations we need?

3. How to apply testing/analysis in different applications domains (e.g., security)

…

Need research ideas? Join us to discuss the following questions.

1. How do we handle loops in symbolic execution?

2. Existing studies on symbolic execution overwhelmingly focus on integer programs. How do we effectively handle other types such as String and Heap?

3. How do we effectively combine symbolic execution with alternative techniques such as fuzzing and abstract interpretation?
   …

What advances in type systems have had a recent effect… and what’s next? Join us to discuss where types are going, in both theory and practice.

Fuzzing has become the major technique to find vulnerabilities in software and has seen a recent explosion in research activity. We will discuss the origins of fuzzing and the major events that lead to this proliferation: from the “DARPA Cyber Grand Challenge” and “American Fuzzy Lop” seed events to the explosion of fuzzers that target hundreds of open source projects. Then, we’ll gradually ease into highlighting key research areas in software engineering and security such as coverage metrics, intelligent mutation operators, scheduling, seed selection, or different forms of feedback. In addition, we welcome interactivity and questions from the audience throughout.