Maura Cerioli

According to our database, Maura Cerioli authored at least 39 papers between 1988 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Fight silent horror unit test methods by consulting a TestWizard.

Maura Cerioli, Giovanni Lagorio, Maurizio Leotta, Filippo Ricca

J. Softw. Evol. Process., April, 2023

2021

COVID-19 hits the job market: an 88 million job ads analysis.

Maura Cerioli, Maurizio Leotta, Filippo Ricca

Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021

2020

Two experiments for evaluating the impact of Hamcrest and AssertJ on assertion development.

Maurizio Leotta, Maura Cerioli, Dario Olianas, Filippo Ricca

Softw. Qual. J., 2020

What are IoT systems for real? An experts' survey on software engineering aspects.

Gianna Reggio, Maurizio Leotta, Maura Cerioli, Romina Spalazzese, Fahed Alkhabbas

Internet Things, 2020

What 5 million job advertisements tell us about testing: a preliminary empirical investigation.

Maura Cerioli, Maurizio Leotta, Filippo Ricca

Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020

On the Deployment of IoT Systems: An Industrial Survey.

Fahed Alkhabbas, Romina Spalazzese, Maura Cerioli, Maurizio Leotta, Gianna Reggio

Proceedings of the 2020 IEEE International Conference on Software Architecture Companion, 2020

2019

Hamcrest vs AssertJ: An Empirical Assessment of Tester Productivity.

Maurizio Leotta, Maura Cerioli, Dario Olianas, Filippo Ricca

Proceedings of the Quality of Information and Communications Technology, 2019

Civic participation powered by ethereum: a proposal.

Maura Cerioli, Marina Ribaudo

Proceedings of the Conference Companion of the 3rd International Conference on Art, 2019

2018

Fluent vs Basic Assertions in Java: An Empirical Study.

Maurizio Leotta, Maura Cerioli, Dario Olianas, Filippo Ricca

Proceedings of the 11th International Conference on the Quality of Information and Communications Technology, 2018

2009

Great Is the Enemy of Good: Is Perfecting Specific Courses Harmful to Global Curricula Performances?

Maura Cerioli, Marina Ribaudo

Proceedings of the Learning in the Synergy of Multiple Disciplines, 2009

2008

Gesper: Support to Capitalize on Experience in a Network of SMEs.

Maura Cerioli, Giovanni Lagorio, Enrico Morten, Gianna Reggio

Proceedings of the Leveraging Applications of Formal Methods, 2008

2007

Foreword.

Maura Cerioli, Tiziana Margaria, Michel Wermelinger

Theor. Comput. Sci., 2007

Introduction to the special section on fundamental approaches to software engineering.

Michel Wermelinger, Tiziana Margaria, Maura Cerioli

Int. J. Softw. Tools Technol. Transf., 2007

2006

DO-Casl: An Observer-Based Casl Extension for Dynamic Specifications.

Matteo Dell'Amico, Maura Cerioli

Proceedings of the Algebraic Methodology and Software Technology, 2006

2005

Injecting Distribution in CASL.

Maura Cerioli, Matteo Dell'Amico

Proceedings of the Foundations of Global Computing, 20.-25. February 2005, 2005

2002

From Formal Techniques to Well-Founded Software Development Methods.

Egidio Astesiano, Gianna Reggio, Maura Cerioli

Proceedings of the Formal Methods at the Crossroads. From Panacea to Foundational Support, 2002

Architecture Specific Models: Software Design on Abstract Platforms (The P2P Case).

Egidio Astesiano, Maura Cerioli, Gianna Reggio

Proceedings of the Radical Innovations of Software and Systems Engineering in the Future, 2002

2001

Towards a Rigorous Semantics of UML Supporting Its Multiview Approach.

Gianna Reggio, Maura Cerioli, Egidio Astesiano

Proceedings of the Fundamental Approaches to Software Engineering, 2001

From ADT to UML-Like Modelling.

Egidio Astesiano, Maura Cerioli, Gianna Reggio

Proceedings of the Perspectives of System Informatics, 2001

2000

Invited Talk: Plugging Data Constructs into Paradigm-Specific Languages: Towards an Application to UML.

Egidio Astesiano, Maura Cerioli, Gianna Reggio

Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000

1999

From Total Equational to Partial First-Order Logic.

Maura Cerioli, Till Mossakowski, Horst Reichel

Proceedings of the Algebraic Foundations of Systems Specification, 1999

Extending Casl by Late Binding.

Davide Ancona, Maura Cerioli, Elena Zucca

Proceedings of the Recent Trends in Algebraic Development Techniques, 1999

A Formal Framework with Late Binding.

Davide Ancona, Maura Cerioli, Elena Zucca

Proceedings of the Fundamental Approaches to Software Engineering, 1999

1998

Very Abstract Specifications: A Formalism Independent Approach.

Maura Cerioli, Gianna Reggio

Math. Struct. Comput. Sci., 1998

1997

May I Borrow Your Logic? (Transporting Logical Structures Along Maps).

Maura Cerioli, José Meseguer

Theor. Comput. Sci., 1997

Implementation of derived programs (almost) for free.

Maura Cerioli, Elena Zucca

Proceedings of the Recent Trends in Algebraic Development Techniques, 1997

Permissive Subsorted Partial Logic in CASL.

Maura Cerioli, Anne E. Haxthausen, Bernd Krieg-Brückner, Till Mossakowski

Proceedings of the Algebraic Methodology and Software Technology, 1997

1996

Non-Strict Don't Care Algebras and Specifications.

Egidio Astesiano, Maura Cerioli

Math. Struct. Comput. Sci., 1996

1995

Free Objects and Equational Deduction for Partial Conditional Specifications.

Egidio Astesiano, Maura Cerioli

Theor. Comput. Sci., 1995

1994

What is an Abstract Data Type, after all?

Martin Gogolla, Maura Cerioli

Proceedings of the Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30, 1994

A Lazy Approach to Partial Algebras.

Maura Cerioli

Proceedings of the Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30, 1994

1993

Multiparadigm Specification Languages: A First Attempt at Foundations.

Egidio Astesiano, Maura Cerioli

Proceedings of the Semantics of Specification Languages (SoSL), 1993

May I Borrow Your Logic?

Maura Cerioli, José Meseguer

Proceedings of the Mathematical Foundations of Computer Science 1993, 1993

Algebraic-Oriented Institutions.

Maura Cerioli, Gianna Reggio

Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993

1992

Partial higher-order specifications.

Egidio Astesiano, Maura Cerioli

Fundam. Informaticae, 1992

Institutions for Very Abstract Specifications.

Maura Cerioli, Gianna Reggio

Proceedings of the Recent Trends in Data Type Specification, 1992

1991

Relationships between Logical Frameworks.

Egidio Astesiano, Maura Cerioli

Proceedings of the Recent Trends in Data Type Specification, 1991

1989

On the Existence of Initial Models for Partial (Higher-Order) Conditional Specifications.

Egidio Astesiano, Maura Cerioli

Proceedings of the TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1989

1988

Models and Logical Deduction in Partial Higher-Order Conditional Specifications.

Egidio Astesiano, Maura Cerioli

Proceedings of the 6st Workshop on Abstract Data Type, 1988. University of Berlin, Germany, 1988