Sciweavers

4079 search results - page 89 / 816
» Differential Testing for Software
Sort
View
COMPSAC
2005
IEEE
16 years 10 days 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
194
Voted
SC
2000
ACM
15 years 11 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
SOFSEM
2010
Springer
16 years 1 months ago
Model-Driven Software Product Line Testing: An Integrated Approach
Andy Schürr, Sebastian Oster, Florian Markert
137
Voted
LADC
2007
Springer
16 years 25 days ago
Designing Fault Injection Experiments Using State-Based Model to Test a Space Software
Ana Maria Ambrosio, Maria de Fátima Mattiel...