Informática
Facultat
Cesar
Andrés Sánchez
Publicacions en què col·labora amb Cesar Andrés Sánchez (28)
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
-
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
-
Formally transforming user-model testing problems into implementer-model testing problems and viceversa
Journal of Logic and Algebraic Programming, Vol. 78, Núm. 6, pp. 425-453
-
Passive testing of stochastic timed systems
Proceedings - 2nd International Conference on Software Testing, Verification, and Validation, ICST 2009
-
Supporting the extraction of timed properties for passive testing by using probabilistic user models
Proceedings - International Conference on Quality Software