Alessandra Cavarra

Publication Activity (10 Years)

Years Active: 2000-2011
Publications (10 Years): 0

Publications

Alessandra Cavarra
A data-flow approach to test multi-agent ASMs. Formal Aspects Comput. 23 (1) (2011)
Chen-Wei Wang, Alessandra Cavarra, Jim Davies
Formal and Model-Based Testing of Concurrent Workflows. QSIC (2011)
Alessandra Cavarra
Inter-agent Data Flow Analysis of Abstract State Machines. Australian Software Engineering Conference (2009)
Chen-Wei Wang, Alessandra Cavarra
Checking Model Consistency Using Data-Flow Testing. APSEC (2009)
Alessandra Cavarra
Data Flow Analysis and Testing of Abstract State Machines. ABZ (2008)
Alessandra Cavarra, James Welch
Behavioural Specifications from Class Models. IFM (2007)
Jim Davies, James Welch, Alessandra Cavarra, Edward Crichton
On the Generation of Object Databases using Booster. ICECCS (2006)
Stefan Gruner, Alessandra Cavarra, Sung Shin
Editorial message: special track on software engineering: methods, practices, and tools. SAC (2005)
Alessandra Cavarra, Juliana Küster Filipe
Combining Sequence Diagrams and OCL for Liveness. Electron. Notes Theor. Comput. Sci. 115 (2005)
Alessandra Cavarra, Juliana Küster Filipe
Formalizing Liveness-Enriched Sequence Diagrams Using ASMs. Abstract State Machines (2004)
Alessandra Cavarra, Elvinia Riccobene, Patrizia Scandurra
A framework to simulate UML models: moving from a semi-formal to a formal environment. SAC (2004)
Alessandra Cavarra, Charles Crichton, Jim Davies
A method for the automatic generation of test suites from object models. Inf. Softw. Technol. 46 (5) (2004)
Alessandra Cavarra, Elvinia Riccobene, Patrizia Scandurra
Mapping UML into Abstract State Machines: A Framework to Simulate UML Models. Stud. Inform. Univ. 3 (3) (2004)
Egon Börger, Alessandra Cavarra, Elvinia Riccobene
On formalizing UML state machines using ASM. Inf. Softw. Technol. 46 (5) (2004)
Egon Börger, Elvinia Riccobene, Alessandra Cavarra
Modeling the Meaning of Transitions from and to Concurrent States in UML State Machines. SAC (2003)
Alessandra Cavarra, Elvinia Riccobene, Patrizia Scandurra
Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanismof UML State Machines. Abstract State Machines (2003)
Jim Davies, Charles Crichton, Alessandra Cavarra
A Method for the Automatic Generation of Test Suites from Object Models. SAC (2003)
Paolo Falcarin, Alessandra Cavarra
Designing the Parlay Call-Control Using ASMs. Abstract State Machines (2003)
Alessandra Cavarra, Elvinia Riccobene, Andrea Zavanella
A Formal Model for the Parallel Semantics of P3L. SAC (2) (2000)
Egon Börger, Alessandra Cavarra, Elvinia Riccobene
Modeling the Dynamics of UML State Machines. Abstract State Machines (2000)
Egon Börger, Alessandra Cavarra, Elvinia Riccobene
An ASM Semantics for UML Activity Diagrams. AMAST (2000)