Search Sciweavers | Sciweavers

1932 search results - page 67 / 387

» Molecule-oriented programming in Java

126

click to vote

FASE
2008
Springer

156views Software Engineering» more FASE 2008»

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

15 years 5 months ago

Download research.microsoft.com

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

claim paper

Read More »

120

click to vote

IFIP12
2004

91views Information Technology» more IFIP12 2004»

Diagnosing Java Programs with Static Abstractions of Data Structures

15 years 5 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

15 years 5 months ago

Download neo.lcc.uma.es

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

claim paper

Read More »

Voted

GECCO
2008
Springer

101views Optimization» more GECCO 2008»

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

15 years 5 months ago

Download neo.lcc.uma.es

José Carlos Bregieiro Ribeiro

claim paper

Read More »

105

click to vote

LDTA
2010

151views Programming Languages» more LDTA 2010»

Specifying generic Java programs: two case studies

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers