Sciweavers

4079 search results - page 89 / 816
» Differential Testing for Software
Sort
View
COMPSAC
2005
IEEE
15 years 8 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
15 years 6 months 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
130
Voted
SOFSEM
2010
Springer
15 years 9 months ago
Model-Driven Software Product Line Testing: An Integrated Approach
Andy Schürr, Sebastian Oster, Florian Markert