Search Sciweavers | Sciweavers

1932 search results - page 67 / 387

» Molecule-oriented programming in Java

click to vote

FASE
2008
Springer

156views Software Engineering» more FASE 2008»

An Automatic Verifier for Java-Like Programs Based on Dynamic Frames

13 years 11 months ago

Download research.microsoft.com

Jan Smans, Bart Jacobs 0002, Frank Piessens, Wolfr...

claim paper

Read More »

click to vote

IFIP12
2004

91views Information Technology» more IFIP12 2004»

Diagnosing Java Programs with Static Abstractions of Data Structures

13 years 11 months ago

Download www.ist.tugraz.at

Rong Chen, Daniel Köb, Franz Wotawa

claim paper

Read More »

click to vote

GECCO
2008
Springer

116views Optimization» more GECCO 2008»

Finding deadlocks in large concurrent Java programs using genetic algorithms

13 years 11 months ago

Download neo.lcc.uma.es

Enrique Alba, J. Francisco Chicano, Marco Ferreira...

claim paper

Read More »

click to vote

GECCO
2008
Springer

101views Optimization» more GECCO 2008»

Search-based test case generation for object-oriented java software using strongly-typed genetic programming

13 years 11 months ago

Download neo.lcc.uma.es

José Carlos Bregieiro Ribeiro

claim paper

Read More »

click to vote

LDTA
2010

151views Programming Languages» more LDTA 2010»

Specifying generic Java programs: two case studies

13 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers