Travelled to:1 × Cyprus
1 × New Zealand
1 × Russia
1 × United Kingdom
2 × Germany
2 × Italy
2 × The Netherlands
3 × Canada
3 × USA
4 × France
Collaborated with:N.Yevtushenko S.Maag E.M.d.Oca S.U.Kim F.Zaïdi M.Núñez S.Prokopenko C.Besse W.Mallouli H.N.Nguyen A.N.P.Morais J.P.Escobedo C.Gaston P.L.Gall ∅ L.F.d.Cerro M.E.Maarabani C.Andrés E.Bayse B.T.Ladani B.Alcalde J.A.Arnedo D.Lee M.Tabourier M.Ionescu R.Anido L.A.P.L.Jr. J.P.Favreau M.Phalippou P.Maigron X.Che J.López R.Dorofeeva K.El-Fakih M.Kim T.Higashino A.Nakata K.Taniguchi A.Mammar W.Jimenez M.Marche Y.Quemener F.Lalanne A.Gonguet A.Mederreg P.Combes W.Monin R.Castanet M.MacKaya P.Laurençot
Talks about:test (29) protocol (9) generat (7) system (6) passiv (6) approach (5) conform (5) servic (5) method (4) formal (4)
Person: Ana R. Cavalli
DBLP: Cavalli:Ana_R=
Contributed to:
2014
20122012
2011
2010
20092009
2009200620052005200420042003200220001999
199919991998199319921991
1984Wrote 30 papers:
- SEKE-2014-CheMLC #network #online #protocol #runtime #testing
- Testing Network Protocols: formally, at runtime and online (XC, SM, JL, ARC), pp. 90–93.
- SEKE-2014-NguyenC #case study #coordination #requirements #verification
- Formal Verification of Coordination Systems’ Requirements — A Case Study on the European Train Control System (HNN, ARC), pp. 393–396.
- SAC-2012-MoraisC #ad hoc #detection #distributed #network
- A distributed intrusion detection scheme for wireless ad hoc networks (ANPM, ARC), pp. 556–562.
- SEKE-2012-MaarabaniAC #policy #security #testing
- Testing Interoperability Security Policies (MEM, CA, ARC), pp. 464–469.
- ICTSS-2011-MammarCJMO #c #detection #source code #testing #using
- Using Testing Techniques for Vulnerability Detection in C Programs (AM, ARC, WJ, WM, EMdO), pp. 80–96.
- SEFM-2010-EscobedoGGC #approach #testing #web #web service
- Testing Web Service Orchestrators in Context: A Symbolic Approach (JPE, CG, PLG, ARC), pp. 257–267.
- ASE-2009-LalanneMOCMG #approach #automation #testing
- An Automated Passive Testing Approach for the IMS PoC Service (FL, SM, EMdO, ARC, WM, AG), pp. 535–539.
- SAC-2009-CavalliMO #approach #consistency #protocol #testing
- A passive conformance testing approach for a MANET routing protocol (ARC, SM, EMdO), pp. 207–211.
- SAC-2009-ZaidiBC #network #protocol #testing
- Network protocol interoperability testing based on contextual signatures and passive testing (FZ, EB, ARC), pp. 2–7.
- TestCom-FATES-2009-EscobedoGGC #composition #consistency #testing #web #web service
- Observability and Controllability Issues in Conformance Testing of Web Service Compositions (JPE, CG, PLG, ARC), pp. 217–222.
- TestCom-2006-CavalliMMMQ #case study #generative #industrial #testing #tool support
- Application of Two Test Generation Tools to an Industrial Case Study (ARC, SM, WM, MM, YMQ), pp. 134–148.
- SEFM-2005-DorofeevaYEC #evaluation #testing
- Experimental Evaluation of FSM-Based Testing Methods (RD, NY, KEF, ARC), pp. 23–32.
- TestCom-2005-LadaniAC #approach #invariant #testing
- Passive Testing — A Constrained Invariant Checking Approach (BTL, BA, ARC), pp. 9–22.
- SAC-2004-CavalliM #automation #generative
- Automated test scenarios generation for an e-barter system (ARC, SM), pp. 795–799.
- TestCom-2004-CavalliMZCMCML #multi #platform #validation
- A Multi-service and Multi-protocol Validation Platform-Experimentation Results (ARC, AM, FZ, PC, WM, RC, MM, PL), pp. 17–32.
- TestCom-2003-ArnedoCN #performance #testing
- Fast Testing of Critical Properties through Passive Testing (JAA, ARC, MN), pp. 295–310.
- TestCom-2003-CavalliON #exclamation #named
- TestNet: Let’s Test Together! (ARC, EMdO, MN), pp. 258–264.
- TestCom-2002-BesseCKZ #automation #generative #testing
- Automated Generation of Interoperability Tests (CB, ARC, MK, FZ), p. 169–?.
- TestCom-2002-CavalliPY #communication #component #detection #fault
- Fault Detection within a Component of a System of Communicating FSMs (ARC, SP, NY), p. 317–?.
- TestCom-2000-CavalliPY #communication #detection #fault #power of #testing
- Fault Detection Power of a Widely Used Test Suite for a System of Communicating FSMs (ARC, SP, NY), p. 35–?.
- ASE-1999-BesseCL #automation #generative #protocol #testing
- An Automatic and Optimized Test Generation Technique Applying to TCP/IP Protocol (CB, ARC, DL), pp. 73–80.
- FM-v1-1999-TabourierCI #empirical #protocol #testing #using
- A GSM-MAP Protocol Experiment Using Passive Testing (MT, ARC, MI), pp. 915–934.
- IWTCS-1999-Cavalli #protocol #testing
- Different Approaches to Protocol and Service Testing (ARC), pp. 3–18.
- IWTCS-1999-HigashinoNTC #automaton #generative #testing
- Generating Test Cases for a Timed I/O Automaton Model (TH, AN, KT, ARC), pp. 197–214.
- IWTCS-1999-YevtushenkoCA #embedded #finite #nondeterminism #state machine #testing
- Test Suite Minimization for Embedded Nondeterministic Finite State Machines (NY, ARC, RA), pp. 237–250.
- IWTCS-1998-YevtushenkoCL #testing
- Test Suite Minimization for Testing in Context (NY, ARC, LAPLJ), pp. 127–146.
- IWPTS-1993-CavalliFP #consistency #formal method #testing
- Formal Methods for Conformance Testing: Results and Perspectives (ARC, JPF, MP), pp. 3–17.
- IWPTS-1992-CavalliMK #automation #consistency #formal method #generative #protocol #specification #testing
- Automated Protocol Conformance Test Generation Based on Formal Methods for LOTOS Specifications (ARC, PM, SUK), pp. 237–248.
- IWPTS-1991-CavalliK #consistency #generative #graph grammar #protocol #term rewriting #testing #using
- Protocol Conformance Test Generation Using a Graph Rewriting System (ARC, SUK), pp. 285–288.
- CADE-1984-CavalliC #linear #logic
- A Decision Method for Linear Temporal Logic (ARC, LFdC), pp. 113–127.