Articles de cet auteur
SMT and combination of theories
Désolé, cet article est seulement disponible en Anglais Américain.
Automatic Detection of Floating-Point Exceptions
Désolé, cet article est seulement disponible en Anglais Américain.
Discovering Program Invariants and Automatic Program Repair
Désolé, cet article est seulement disponible en Anglais Américain.
cTuning.org: systematizing program optimization using crowdsourcing and predictive modeling
Désolé, cet article est seulement disponible en Anglais Américain.
Mining and Understanding Bug Repositories
Désolé, cet article est seulement disponible en Anglais Américain.
Engineering self-adaptive, self-organising systems: the smart grid use case
Désolé, cet article est seulement disponible en Anglais Américain.
PRIME – Yet another middleware for pervasive computing
Désolé, cet article est seulement disponible en Anglais Américain.
Journée Cloud SlapOS
Désolé, cet article est seulement disponible en Anglais Américain.
Few issues in the development of service oriented architectures
Désolé, cet article est seulement disponible en Anglais Américain.
Understanding Code Changes With AST Differencing
Désolé, cet article est seulement disponible en Anglais Américain.