Sciweavers

15811 search results - page 371 / 3163
» Search-based software engineering
Sort
View
EMSOFT
2008
Springer
15 years 8 months ago
Cyclic dependencies in modular performance analysis
Bengt Jonsson, Simon Perathoner, Lothar Thiele, Wa...
FASE
2008
Springer
15 years 8 months ago
An Automatic Verifier for Java-Like Programs Based on Dynamic Frames
Jan Smans, Bart Jacobs 0002, Frank Piessens, Wolfr...
IESA
2007
15 years 8 months ago
Enabling Interoperability in the Area of Multi-Brand Vehicle Configuration
Michael Klein, Ulrike Greiner, Thomas Genßle...