Sciweavers

5343 search results - page 103 / 1069
» Keyword programming in java
Sort
View
FASE
2008
Springer
14 years 1 days 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»
13 years 11 months ago
Finding deadlocks in large concurrent Java programs using genetic algorithms
Enrique Alba, J. Francisco Chicano, Marco Ferreira...