Sciweavers

15777 search results - page 227 / 3156
» Engineering in Software
Sort
View
FATES
2006
Springer
15 years 8 months ago
Online Testing with Reinforcement Learning
Margus Veanes, Pritam Roy, Colin Campbell
FOSSACS
2006
Springer
15 years 8 months ago
A Semantic Approach to Interpolation
Andrei Popescu, Traian Serbanuta, Grigore Rosu
CODES
2001
IEEE
15 years 8 months ago
Parameterised system design based on genetic algorithms
Giuseppe Ascia, Vincenzo Catania, Maurizio Palesi
COMPSAC
2001
IEEE
15 years 8 months ago
Formal and Use-Case Driven Requirement Analysis in UML
Xiaoshan Li, Zhiming Liu, Jifeng He