Sciweavers

15811 search results - page 309 / 3163
» Search-based software engineering
Sort
View
IWPC
2009
IEEE
16 years 1 months ago
Trace visualization for program comprehension: A controlled experiment
Bas Cornelissen, Andy Zaidman, Arie van Deursen, B...
ADAEUROPE
2009
Springer
16 years 1 months ago
Validating Safety and Security Requirements for Partitioned Architectures
Julien Delange, Laurent Pautet, Peter H. Feiler
CBSE
2009
Springer
16 years 1 months ago
Component-Based Real-Time Operating System for Embedded Applications
Frédéric Loiret, Juan Navas, Jean-Ph...
EMSOFT
2009
Springer
16 years 1 months ago
Refining the control structure of loops using static analysis
Gogul Balakrishnan, Sriram Sankaranarayanan, Franj...
EMSOFT
2009
Springer
16 years 1 months ago
Compositional timing analysis
Ramzi Ben Salah, Marius Bozga, Oded Maler