![Foto de Cesar](/img/nophoto.png)
Cesar
Andrés Sánchez
Publications dans lesquelles il/elle collabore avec Cesar Andrés Sánchez (30)
2013
-
A formal framework for software product lines
Information and Software Technology, Vol. 55, Núm. 11, pp. 1925-1947
2012
-
Formal passive testing of timed systems: Theory and tools
Software Testing Verification and Reliability, Vol. 22, Núm. 6, pp. 365-405
-
MAScloud: A framework based on multi-agent systems for optimizing cost in cloud computing
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
OCE: An online colaborative editor
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Optimizing the trade-offs between cost and performance in Scientific Computing
Procedia Computer Science
-
Preventing attacks by classifying user models in a collaborative scenario
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2011
-
Compression strategies for passive testing
Proceedings - 4th IEEE International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2011
-
Message from WS-FMDS 2011 programme committee chairs
Proceedings - International Conference on Quality Software
-
Passive testing of web services
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Self-adaptive fuzzy-timed systems
2011 IEEE Congress of Evolutionary Computation, CEC 2011
2010
-
Formal passive testing of service-oriented systems
Proceedings - 2010 IEEE 7th International Conference on Services Computing, SCC 2010
-
From data mining to user models in evolutionary databases
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
MACRO-SYS: An interactive macroeconomics simulator for advanced learning
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Multi-objective genetic algorithms: Construction and recombination of passive testing properties
SEKE 2010 - Proceedings of the 22nd International Conference on Software Engineering and Knowledge Engineering
2009
-
A hierarchical methodology to specify and simulate complex computational systems
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Advantages of mutation in passive testing: An empirical study
IEEE International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2009
-
Analysis of the OLSR protocol by using formal passive testing
Proceedings - Asia-Pacific Software Engineering Conference, APSEC
-
Applying formal passive testing to study temporal properties of the stream control transmission protocol
SEFM 2009 - 7th IEEE International Conference on Software Engineering and Formal Methods
-
Combining genetic algorithms and mutation testing to generate test sequences
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Formal correctness of a passive testing approach for timed systems
IEEE International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2009