- Hernan Melgratti and Luca Padovani. “Chaperone Contracts for Higher-Order Sessions”. 22nd ACM SIGPLAN International Conference on Functional Programming (ICFP 2017).
- Diego Garbervetsky, Edgardo Zoppi, and Benjamin Livshits, “Toward Full Elasticity in Distributed Static Analysis: The Case of Callgraph Analysis”, acepted for the main track of ESEC/FSE 2017.
- Diego Garbervetsky, Zvonimir Pavlinovic, Michael Barnett, Madanlal Musuvathi, Todd Mytkowicz, and Edgardo Zoppi, “Static Analysis for Optimizing Big Data Queries” acepted for the industrial track of ESEC/FSE 2017.
- Nikolas Havrikov, Alessio Gambi, Andreas Zeller, Andrea Arcuri, and Juan Pablo Galeotti, “Generating unit tests with structured system interactions”. May 2017 AST’17: Proceedings of the 12th International Workshop on Automation of Software Testing.
- Juan Pablo Galeotti and Justyna Petke, “SBST ’17: Proceedings of the 10th International Workshop on Search-Based Software Testing“, May 2017.
Recent publications of the team "Formal Specification, Verification and Implementation of Concurrent Real-Time Embedded Systems"
Bookmark the permalink.