Sciweavers

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