Sciweavers

4079 search results - page 89 / 816
» Differential Testing for Software
Sort
View
COMPSAC
2005
IEEE
14 years 1 months ago
Model-Based Software Testing and Verification
tract Co-Chairs Fei Xie, Portland State University, USA Jeff Lei, University of Texas at Arlington, USA Program Committee Members Sheikh Iqbal Ahamed, Marquette University, USA Doo...
Aditya P. Mathur
SC
2000
ACM
14 years 3 days ago
Dynamic Software Testing of MPI Applications with Umpire
As evidenced by the popularity of MPI (Message Passing Interface), message passing is an effective programming technique for managing coarse-grained concurrency on distributed com...
Jeffrey S. Vetter, Bronis R. de Supinski
SOFSEM
2010
Springer
14 years 2 months ago
Model-Driven Software Product Line Testing: An Integrated Approach
Andy Schürr, Sebastian Oster, Florian Markert