Alessandra Cavarra

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