César Andrés Sánchez

César Andrés,  Gregorio Díaz,  Enrique Martínez,  Yaofeng Zhang. " Formal Study of Prioritized Service Compositions"  International conference on signal-image technology & internet based systems, 5th ( SITIS 2009 ). In press.
bib entry

César Andrés,  Stéphane Maag,  Ana Cavalli,  Mercedes G. Merayo, Manuel Núñez. " Analysis of the OLSR Protocol by using formal passive testing"  Asia-Pacific Software Engineering, 16th ( APSEC 2009 ). IEEE Computer Society Press.
bib entry

César Andrés, Mercedes G. Merayo, Manuel Núñez. " Applying formal passive testing to study temporal properties of the Stream Control Transmission Protocol"  Software Engineering and Formal Methods, 7th ( SEFM 2009 ). IEEE Computer Society Press.
bib entry

César Andrés, Mercedes G. Merayo, Manuel Núñez. " Supporting the extraction of timed properties for passive testing by using probabilistic user models"  International Conference on Quality Software, 9th ( QSIC 2009 ). In press.
bib entry

César Andrés, Mercedes G. Merayo, Manuel Núñez. " Using a mining frequency patterns model to automate passive testing of real-time systems"  International Conference on Software Engineering and Knowledge Engineering, 21st ( SEKE 2009 ). Knowledge Systems Institute Graduate School Press.
bib entry

César Andrés, Carlos Molinero, Manuel Núñez. " A hierarchical methodology to specify and simulate complex computational systems"  International Conference on Computational Science, 9th ( ICCS 2009 ) Lecture Notes in Computer Science 5544.
bib entry

Carlos Molinero, Manuel Núñez, César Andrés. " Combining Genetic Algorithms and Mutation Testing to generate test sequences"  International Work-Conference on Artificial Neural Networks, 10th ( IWANN 2009 ) Lecture Notes in Computer Science 5517.
bib entry

César Andrés, Mercedes G. Merayo, Carlos Molinero. " Advantages of mutation in passive testing: An empirical study"  Workshop on Mutation Analysis, 4th ( MUTATION 2009 ) IEEE Computer Society Press.
bib entry

César Andrés, Mercedes G. Merayo, Manuel Núñez. " Formal correctness of a passive testing approach for timed systems"  Workshop on Advances in Model Based Testing, 5th ( A-MOST 2009 ) IEEE Computer Society Press.
bib entry

César Andrés, Luis Llana, Ismael Rodríguez. " Formally transforming user-model testing problems into implementer-model testing problems and viceversa"  Journal of Logic and Algebraic Programming.
bib entry

César Andrés, Mercedes G. Merayo, Manuel Núñez. " Passive testing of Stochastic Timed Systems"  International Conference on Software Testing, Verification, and Validation, 2nd ( ICST 2009 )  IEEE Computer Society Press.
bib entry

César Andrés, Carlos Molinero, Manuel Núñez. " A formal methodology to specify hierarchical agent-based systems"  International conference on signal-image technology & internet-based systems, 4th ( SITIS 2008 )  IEEE Computer Society Press.
bib entry

César Andrés, Mercedes G. Merayo, Manuel Núñez. " Passive Testing of Timed Systems"  International Symposium on Automated Technology for Verification and Analysis, 6th ( ATVA 2008 ) Lecture Notes in Computer Science 5311.
bib entry | Extended version

César Andrés, Ismael Rodríguez, Fernando Rubio. " Formally Testing Liveness by means of Compression Rates"  International Conference on Parallel Problem Solving from Nature, 10th ( PPSN 2008 ) Lecture Notes in Computer Science 5199.
bib entry

César Andrés, Luis Llana, Ismael Rodríguez. " Formally comparing user and implementer model-based testing methods"  Workshop on Advances in Model Based Testing, 4th ( A-MOST 2008 ) IEEE Computer Society Press.
bib entry

César Andrés, Rafael G. Aranda, Manuel Núñez. " Using Formal Methods to Develop a Complex Information System : A Practical/Theorical Experience"  Annual ACM Symposium on Applied Computing, 23rd ( ACM SAC 2008 ) ACM Press.
bib entry

César Andrés, Mercedes G. Merayo, Manuel Núñez. " Formal development of a complex information system"  International Conference on Systems, 3rd ( ICONS 2008 ) IEEE Computer Society Press.
bib entry

César Andrés, Manuel Núñez. " ACABARASE : an Anti-spam CAse-BAsed ReAsoning SystEm"  International Conference on Systems, 3rd ( ICONS 2008 ) IEEE Computer Society Press.
bib entry