Sciweavers

5343 search results - page 103 / 1069
» Keyword programming in java
Sort
View
FASE
2008
Springer
15 years 3 months ago
An Automatic Verifier for Java-Like Programs Based on Dynamic Frames
Jan Smans, Bart Jacobs 0002, Frank Piessens, Wolfr...
GECCO
2008
Springer
116views Optimization» more  GECCO 2008»
15 years 3 months ago
Finding deadlocks in large concurrent Java programs using genetic algorithms
Enrique Alba, J. Francisco Chicano, Marco Ferreira...