Search Sciweavers | Sciweavers

2419 search results - page 20 / 484

» A Formal Approach to Software Testing

click to vote

ICTAC
2009
Springer

136views Applied Computing» more ICTAC 2009»

Integration Testing from Structured First-Order Specifications via Deduction Modulo

13 years 5 months ago

Download www.lri.fr

Testing from first-order specifications has mainly been studied for flat specifications, that are specifications of a single software module. However, the specifications of large s...

Delphine Longuet, Marc Aiguier

claim paper

Read More »

click to vote

PPOPP
2009
ACM

198views Distributed and Parallel Com...» more PPOPP 2009»

Formal verification of practical MPI programs

14 years 8 months ago

Download www.cs.utah.edu

This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...

Anh Vo, Sarvani S. Vakkalanka, Michael Delisi, Gan...

claim paper

Read More »

click to vote

SEFM
2008
IEEE

117views Software Engineering» more SEFM 2008»

Tagging Make Local Testing of Message-Passing Systems Feasible

14 years 2 months ago

Download www.cmi.ac.in

The only practical way to test distributed messagepassing systems is to use local testing. In this approach, used in formalisms such as concurrent TTCN-3, some components are repl...

Puneet Bhateja, Madhavan Mukund

claim paper

Read More »

click to vote

ICSE
2009
IEEE-ACM

97views Software Engineering» more ICSE 2009»

Design tests: An approach to programmatically check your code against design rules

14 years 2 months ago