Travelled to:1 × Brazil
1 × Vietnam
3 × USA
Collaborated with:M.Núñez M.G.Merayo A.M.H.Alawawdeh L.Llana M.E.Maarabani A.R.Cavalli R.G.Aranda
Talks about:test (5) passiv (4) system (3) properti (2) formal (2) time (2) use (2) transmiss (1) interoper (1) construct (1)
Person: César Andrés
DBLP: Andr=eacute=s:C=eacute=sar
Contributed to:
20122010
2009
20092009
2008Wrote 7 papers:
- SEKE-2012-AlawawdehAL #adaptation #collaboration #learning #named
- CLAT: Collaborative Learning Adaptive Tutor (AMHA, CA, LL), pp. 747–752.
- SEKE-2012-MaarabaniAC #policy #security #testing
- Testing Interoperability Security Policies (MEM, CA, ARC), pp. 464–469.
- SEKE-2010-AndresMN #algorithm #multi #search-based #testing
- Multi-objective Genetic Algorithms: Construction and Recombination of Passive Testing Properties (CA, MGM, MN), pp. 405–410.
- ICST-2009-AndresMN #probability #testing
- Passive Testing of Stochastic Timed Systems (CA, MGM, MN), pp. 71–80.
- SEFM-2009-AndresMN #protocol #testing
- Applying Formal Passive Testing to Study Temporal Properties of the Stream Control Transmission Protocol (CA, MGM, MN), pp. 73–82.
- SEKE-2009-AndresMN #mining #realtime #testing #using
- Using a Mining Frequency Patterns Model to Automate Passive Testing of Real-time Systems (CA, MGM, MN), pp. 426–431.
- SAC-2008-AndresAN #experience #formal method #information management #using
- Using formal methods to develop a complex information system: a practical/theoretical experience (CA, RGA, MN), pp. 848–849.