A data−flow approach to test multi−agent ASMs by Cavarra, A

Combining sequence diagrams and OCL for liveness. by Cavarra, A

Data Flow Analysis and Testing of Abstract State Machines by Cavarra, A

A Formal Semantics of UML: The ASM Approach by Cavarra, A

Inter−agent Data Flow Analysis of Abstract State Machines by Cavarra, A

A data-flow approach to test multi-agent ASMs. by Cavarra, A

Checking Model Consistency Using Data−Flow Testing by Wang, C, Cavarra, A

Simulating Statecharts by Cavarra, A, Riccobene, E

Behavioural Specifications from Class Models by Cavarra, A, Welch, J

Editorial Message: Special Track on Software Engineering: Methods‚ Practices‚ and Tools by Gruner, S, Cavarra, A, Shin, S

Modeling the Dynamics of UML Behavioral Diagrams by Cavarra, A, Riccobene, E

Specifying and Verifying the Parlay Call−Control Using ASMs by Falcarin, P, Cavarra, A

Combining Sequence Diagrams and OCL for Liveness by Cavarra, A, Filipe, J

Checking Model Consistency using Data−Flow Testing by Wang, C, Cavarra, A

Formalizing Liveness−Enriched Sequence Diagrams Using ASMs by Cavarra, A, Filipe, J

A Method for the Automatic Generation of Test Suites from Object Models by Cavarra, A, Crichton, C, Davies, J

A Method for the Automatic Generation of Test Suites from Object Models by Davies, J, Crichton, C, Cavarra, A

A Framework to Simulate UML Models: Moving from a Semi−Formal to a Formal Environment by Cavarra, A, Riccobene, E, Scandurra, P

Modeling the Meaning of Transitions from and to Concurrent States in UML State Machines by Börger, E, Riccobene, E, Cavarra, A

Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanismof UML State Machines by Cavarra, A, Riccobene, E, Scandurra, P