Andrea Ciancone

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 4

Top Topics

State Variables

Fault Localization

Reliability Analysis

Top Venues

Innov. Syst. Softw. Eng.

Publications

Nadia Alshahwan, Arianna Blasi, Kinga Bojarczuk, Andrea Ciancone, Natalija Gucevska, Mark Harman, Michal Królikowski, Rubmary Rojas, Dragos Martac, Simon Schellaert, Kate Ustiuzhanina, Inna Harper, Yue Jia, Will Lewis
Enhancing Testing at Meta with Rich-State Simulated Populations. ICSE-SEIP (2024)
Nadia Alshahwan, Arianna Blasi, Kinga Bojarczuk, Andrea Ciancone, Natalija Gucevska, Mark Harman, Simon Schellaert, Inna Harper, Yue Jia, Michal Królikowski, Will Lewis, Dragos Martac, Rubmary Rojas, Kate Ustiuzhanina
Enhancing Testing at Meta with Rich-State Simulated Populations. CoRR (2024)
Sopot Cela, Andrea Ciancone, Per Gustafsson, Ákos Hajdu, Yue Jia, Timotej Kapus, Maksym Koshtenko, Will Lewis, Ke Mao, Dragos Martac
Automated End-to-End Dynamic Taint Analysis for WhatsApp. SIGSOFT FSE Companion (2024)
Nadia Alshahwan, Andrea Ciancone, Mark Harman, Yue Jia, Ke Mao, Alexandru Marginean, Alexander Mols, Hila Peleg, Federica Sarro, Ilya Zorin
Some challenges for software testing research (invited talk paper). ISSTA (2019)
Andrea Ciancone, Mauro Luigi Drago, Antonio Filieri, Vincenzo Grassi, Heiko Koziolek, Raffaela Mirandola
The KlaperSuite framework for model-driven reliability analysis of component-based systems. Softw. Syst. Model. 13 (4) (2014)
Andrea Ciancone, Antonio Filieri, Raffaela Mirandola
Testing operational transformations in model-driven engineering. Innov. Syst. Softw. Eng. 10 (1) (2014)
Cesare Bartolini, Antonia Bertolino, Guglielmo De Angelis, Andrea Ciancone, Raffaela Mirandola
Apprehensive QoS monitoring of Service choreographies. SAC (2013)
Cesare Bartolini, Antonia Bertolino, Guglielmo De Angelis, Andrea Ciancone, Raffaela Mirandola
Non-functional analysis of service choreographies. PESOS@ICSE (2012)
Cesare Bartolini, Antonia Bertolino, Andrea Ciancone, Guglielmo De Angelis, Raffaela Mirandola
Quality Requirements for Service Choreographies. WEBIST (2012)
Andrea Ciancone, Antonio Filieri, Mauro Luigi Drago, Raffaela Mirandola, Vincenzo Grassi
KlaperSuite: An Integrated Model-Driven Environment for Reliability and Performance Analysis of Component-Based Systems. TOOLS (49) (2011)
Andrea Ciancone, Antonio Filieri, Raffaela Mirandola
MANTra: Towards Model Transformation Testing. QUATIC (2010)