Search Sciweavers | Sciweavers

8398 search results - page 37 / 1680

» Optimal Software Testing

click to vote

ENTCS
2008

79views more ENTCS 2008»

j-POST: a Java Toolchain for Property-Oriented Software Testing

13 years 10 months ago

Download www.irisa.fr

Abstract. j-POST is an integrated toolchain for property-oriented software testing. This toolchain includes a test designer, a test generator, and a test execution engine. The test...

Yliès Falcone, Laurent Mounier, Jean-Claude...

claim paper

Read More »

click to vote

ENTCS
2002

181views more ENTCS 2002»

Alias verification for Fortran code optimization

13 years 9 months ago

Download www.jucs.org

Abstract: Alias analysis for Fortran is less complicated than for programming languages with pointers but many real Fortran programs violate the standard: a formal parameter or a c...

Thi Viet Nga Nguyen, François Irigoin

claim paper

Read More »

click to vote

INFORMATICALT
2002

91views more INFORMATICALT 2002»

Bayesian Heuristic Approach to Scheduling

13 years 9 months ago

Download www.mii.lt

Abstract. Real life scheduling problems are solved by heuristics with parameters defined by experts, as usual. In this paper a new approach is proposed where the parameters of vari...

Jonas Mockus

claim paper

Read More »

click to vote

FASE
2009
Springer

101views Software Engineering» more FASE 2009»

hol-TestGen

14 years 4 months ago