Concepedia

Ana R. Cavalli

AR

Statistics

Publications

1

Citations

10

H-Index

1

Active since

1993

Ana R. Cavalli is an author specializing in design for testing, verification, and engineering.

Top concepts

EngineeringVerificationSoftware TestingSoftware AnalysisDesign For Testing

Publications per year

1993–1993

1

Publications

1

Improving Conformance Testing for LOTOS

Ana R. Cavalli, Sung Un Kim, Patrick Maigron · Formal Techniques for (Networked and) Distributed Systems · 1993 · 10 citations

Engineering, Conformance Testing, Software Testing +4

1–1 of 1