BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Andr=eacute=s:C=eacute=sar

Contributed to:

SEKE 20122012
SEKE 20102010
ICST 20092009
SEFM 20092009
SEKE 20092009
SAC 20082008

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.