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

14 years 7 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 »

114

click to vote

PPOPP
2009
ACM

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

Formal verification of practical MPI programs

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

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

15 years 4 months ago