ANDREA MATTAVELLI

SUSHI: A Test Generator for Programs with Complex Structured Inputs. Pietro Braione, Giovanni Denaro, Andrea Mattavelli, and Mauro Pezzè. In Proceedings of the 40th International Conference on Software Engineering. ICSE '18 Demo Track... Combining Symbolic Execution and Search-Based Testing for Programs with Complex Heap Inputs. Pietro Braione, Giovanni Denaro, Andrea Mattavelli, and Mauro Pezzè. In Proceedings of the 26th International Symposium on Software Testing and Analysis. ISSTA '17... I am a Software Engineer at GM Technologies, the leading provider for purchase-by-invoice services in Switzerland.