Recent publications of the team “Formal Specification, Verification and Implementation of Concurrent Real-Time Embedded Systems”

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.
Hernan Melgratti et Luca Padovani. “Chaperone Contracts for Higher-Order Sessions”. 22nd ACM SIGPLAN International Conference on Functional Programming (ICFP 2017).
Diego Garbervetsky, Edgardo Zoppi et Benjamin Livshits, “Toward Full Elasticity in Distributed Static Analysis: The Case of Callgraph Analysis”, acepté dans le main track à ESEC/FSE 2017.
Diego Garbervetsky, Zvonimir Pavlinovic, Michael Barnett, Madanlal Musuvathi, Todd Mytkowicz et Edgardo Zoppi, “Static Analysis for Optimizing Big Data Queries” acepté au industrial track à ESEC/FSE 2017.
Nikolas Havrikov, Alessio Gambi, Andreas Zeller, Andrea Arcuri et Juan Pablo Galeotti, “Generating unit tests with structured system interactions”. Mai 2017 AST’17: Proceedings of the 12th International Workshop on Automation of Software Testing.
Juan Pablo Galeotti et Justyna Petke, “SBST ‘17: Proceedings of the 10th International Workshop on Search-Based Software Testing”, Mai 2017.
Hernan Melgratti y Luca Padovani. “Chaperone Contracts for Higher-Order Sessions”. 22nd ACM SIGPLAN International Conference on Functional Programming (ICFP 2017).
Diego Garbervetsky, Edgardo Zoppi y Benjamin Livshits, “Toward Full Elasticity in Distributed Static Analysis: The Case of Callgraph Analysis”, aceptado en track principal de ESEC/FSE 2017.
Diego Garbervetsky, Zvonimir Pavlinovic, Michael Barnett, Madanlal Musuvathi, Todd Mytkowicz y Edgardo Zoppi, “Static Analysis for Optimizing Big Data Queries” aceptado al track industrial de ESEC/FSE 2017.
Nikolas Havrikov, Alessio Gambi, Andreas Zeller, Andrea Arcuri y Juan Pablo Galeotti, “Generating unit tests with structured system interactions”. Mayo 2017 AST’17: Proceedings of the 12th International Workshop on Automation of Software Testing.
Juan Pablo Galeotti y Justyna Petke, “SBST ‘17: Proceedings of the 10th International Workshop on Search-Based Software Testing”, Mayo 2017.